De Bruijn–Erdős-tétel (gráfelmélet) (Hungarian Wikipedia)

Analysis of information sources in references of the Wikipedia article "De Bruijn–Erdős-tétel (gráfelmélet)" in Hungarian language version.

refsWebsite

Global rank Hungarian rank

2,569^th place

791^st place

1^st place

3^rd place

28^th place

books.google.com

This follows immediately from the definition of a strongly compact cardinal κ as being a cardinal such that every collection of formulae of infinitary logic each of length smaller than κ, that is satisfiable for every subcollection of fewer than κ formulae, is globally satisfiable. See e.g. Kanamori, Akihiro (2008), The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings (2nd ed.), Springer Monographs in Mathematics, Springer-Verlag, p. 37, ISBN 978-3-540-88866-6, <https://books.google.com/books?id=FH_n84ocuSMC&pg=PA37>.

(Barnette 1983). (Nash-Williams 1967) ugyanezt az állítást teszi az ötszín-tétellel a megszámlálhatóan végtelen síkgráfokra; ugyanis a négyszínsejtést még nem sikerült bebizonyítani, amikor a felmérését közzétette, és a de Bruijn–Erdős-tételnek az általa használt bizonyítása csak megszámlálhatóan végtelen gráfokra vonatkozik. A síkba rajzolható véges síkgráfos általánosításhoz (amit közvetlenül a Gödel-féle kompaktsági tétellel igazolnak) lásd Rautenberg, Wolfgang (2010), A Concise Introduction to Mathematical Logic (3rd ed.), Universitext, Springer-Verlag, p. 32, ISBN 978-1-4419-1220-6, <http://www.springerlink.com/content/978-1-4419-1220-6/>^{[halott link]}.

(Barnette 1983). (Nash-Williams 1967) ugyanezt az állítást teszi az ötszín-tétellel a megszámlálhatóan végtelen síkgráfokra; ugyanis a négyszínsejtést még nem sikerült bebizonyítani, amikor a felmérését közzétette, és a de Bruijn–Erdős-tételnek az általa használt bizonyítása csak megszámlálhatóan végtelen gráfokra vonatkozik. A síkba rajzolható véges síkgráfos általánosításhoz (amit közvetlenül a Gödel-féle kompaktsági tétellel igazolnak) lásd Rautenberg, Wolfgang (2010), A Concise Introduction to Mathematical Logic (3rd ed.), Universitext, Springer-Verlag, p. 32, ISBN 978-1-4419-1220-6, <http://www.springerlink.com/content/978-1-4419-1220-6/>^{[halott link]}.