Graduate studies at Western
|Abstract||The Lowenheim-Skolem theorems say that if a first-order theory has infinite models, then it has models which are only countably infinite. Cantor's theorem says that some sets are uncountable. Together, these two theorems induce a puzzle known as Skolem's Paradox: the very axioms of (first-order) set theory which prove the existence of uncountable sets can themselves be satisfied by a merely countable model.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Alexander 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.
Timothy Bays (2006). The Mathematics of Skolem's Paradox. In Dale Jacquette (ed.), Philosophy of Logic.
Ignagio Jane (2001). Reflections on Skolem's Relativity of Set-Theoretical Concepts. Philosophia Mathematica 9 (2):129-153.
Stathis Livadas (2013). Are Mathematical Theories Reducible to Non-Analytic Foundations? Axiomathes 23 (1):109-135.
Luca Bellotti (2006). Skolem, the Skolem 'Paradox' and Informal Mathematics. Theoria 72 (3):177-212.
Marek Zawadowski (1985). The Skolem-Löwenheim Theorem in Toposes. II. Studia Logica 44 (1):25 - 38.
Marek Zawadowski (1983). The Skolem-Löwenheim Theorem in Toposes. Studia Logica 42 (4):461 - 475.
F. A. Muller (2005). Deflating Skolem. Synthese 143 (3):223--53.
F. A. Muller (2005). Deflating Skolem. Synthese 143 (3):223 - 253.
Timothy Bays (2009). Skolem's Paradox. In Edward N. Zalta (ed.), Stanford Encyclopedia of Philosophy.
Added to index2009-01-28
Total downloads26 ( #53,645 of 739,325 )
Recent downloads (6 months)1 ( #61,538 of 739,325 )
How can I increase my downloads?