A proof of the Löwenheim-Skolem theorem
Notre Dame Journal of Formal Logic 11 (1):76-78 (1970)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesAlexander George (1985). Skolem and the Löwenheim-Skolem Theorem: A Case Study of the Philosophical Significance of Mathematical Results. History and Philosophy of Logic 6 (1):75-89.
Marek Zawadowski (1985). The Skolem-Löwenheim Theorem in Toposes. II. Studia Logica 44 (1):25 - 38.
Jan Von Plato (2007). In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs. Bulletin of Symbolic Logic 13 (2):189-225.
Marek Zawadowski (1983). The Skolem-Löwenheim Theorem in Toposes. Studia Logica 42 (4):461 - 475.
Rami Grossberg (1988). A Downward Löwenheim-Skolem Theorem for Infinitary Theories Which Have the Unsuperstability Property. Journal of Symbolic Logic 53 (1):231-242.
Stephen L. Bloom (1973). Extensions of Gödel's Completeness Theorem and the Löwenheim-Skolem Theorem. Notre Dame Journal of Formal Logic 14 (3):408-410.
Virginia Klenk (1976). Intended Models and the Löwenheim-Skolem Theorem. Journal of Philosophical Logic 5 (4):475--89.
Jan Woleński (1998). The Limits of Higher-Order Logic and the Löwenheim-Skolem Theorem. Erkenntnis 49 (3).
Timothy Bays (2009). Skolem's Paradox. In Edward N. Zalta (ed.), Stanford Encyclopedia of Philosophy.
Walter A. Carnielli (1987). Systematization of Finite Many-Valued Logics Through the Method of Tableaux. Journal of Symbolic Logic 52 (2):473-493.
Ildikó Sain (1988). Concerning Some Cylindric Algebra Versions of the Downward Löwenheim-Skolem Theorem. Notre Dame Journal of Formal Logic 29 (3):332-344.
Thoralf Skolem (1941). Sur la Porté du Théorème Löwenheim-Skolem. In Thoralf Skolem (ed.), Selected Works in Logic. Universitetsforlaget.
Herman Ruge Jervell (1971). A New Proof of the Classical Herbrand and Skolem Theorem. [Oslo,Universitetet I Oslo, Matematisk Institutt.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads13 ( #87,849 of 549,037 )Recent downloads (6 months)1 ( #63,261 of 549,037 )How can I increase my downloads? |
My notes
Discussion
