Löwenheim–Skolem theorem (English Wikipedia)

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

Last modified: 14:40:02, 3 April 2026 (UTC)

Ref.Un. Ref.Website

Global rank English rank

3^rd place

434^th place

249^th place

194^th place

182^nd place

ams.org (Global: 434^th place; English: 249^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, New York: Milne Library, 2015), pp. 100–102.
Chang, C. C., & Keisler, H. J., Model Theory, 3rd ed. (Mineola & New York: Dover Publications, 1990), p. 134.