Löwenheim–Skolem theorem (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Löwenheim–Skolem theorem" in English language version.

refsWebsite

Global rank English rank

3^rd place

451^st place

277^th place

179^th place

183^rd place

ams.org (Global: 451^st place; English: 277^th place)

Manzano, María (1996), Extensions of First Order Logic, Cambridge Tracts in Theoretical Computer Science, vol. 19, Cambridge University Press, Cambridge, p. 5, ISBN 0-521-35435-8, MR 1386188, The Löwenheim–Skolem theorem also fails. ... The formula expressing that the universe is uncountable has no countable model, as required for the Löwenheim–Skolem theorem.

Manzano, María (1996), Extensions of First Order Logic, Cambridge Tracts in Theoretical Computer Science, vol. 19, Cambridge University Press, Cambridge, p. 5, ISBN 0-521-35435-8, MR 1386188, The Löwenheim–Skolem theorem also fails. ... The formula expressing that the universe is uncountable has no countable model, as required for the Löwenheim–Skolem theorem.
Nourani, C. F., A Functorial Model Theory: Newer Applications to Algebraic Topology, Descriptive Sets, and Computing Categories Topos (Toronto: Apple Academic Press; Boca Raton: CRC Press, 2014), pp. 160–162.
Sheppard, B., The Logic of Infinity (Cambridge: Cambridge University Press, 2014), p. 372.
Haan, R. de, Parameterized Complexity in the Polynomial Hierarchy: Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy (Berlin/Heidelberg: Springer, 2019), p. 40.
Leary, C. C., & Kristiansen, L., A Friendly Introduction to Mathematical Logic (Geneseo, NY: Milne Library, 2015), pp. 100–102.
Chang, C. C., & Keisler, H. J., Model Theory, 3rd ed. (Mineola & New York: Dover Publications, 1990), p. 134.