Skolem's paradox
In mathematical logic, specifically model theory, Skolem's paradox is a direct result of the (downward) Löwenheim-Skolem theorem, which states that every model of a sentence of a first-order language has an elementarily equivalent countable submodel.
References
- van Dalen, Dirk and Heinz-Dieter Ebbinghaus, "Zermelo and the Skolem Paradox", The Bulletin of Symbolic Logic Volume 6, Number 2, June 2000.
- Moore, A.W. "Set Theory, Skolem's Paradox and the Tractatus", Analysis 1985, 45.
~ Table of Content ~
| ► | Introduction |
| ► | Is it a paradox? |
| ► | Quotes |
| ► | References |
| ► | External links |
~ What's Hot ~
New Moon, Hannah Montana The Movie, 2012, Alvin And The Chipmunks The Squeakquel, Cloudy With A Chance Of Meatballs, The Goods Live Hard Sell Hard, My Sister S Keeper, Avatar, Sorority Row, Ninja Assassin, The Ugly Truth, Madagascar 3, The Mummy 4 Rise Of The Aztec, Fantastic Mr Fox, The Boondock Saints Ii All Saints Day, 500 Days Of Summer, Twilight, Dear John, The Princess And The Frog, The Blind Side,
~ Community ~
| ► | History Forum Come and discuss about History, Civilizations, Historical Events and Figures |
| ► | History Web-Ring A community of sites, blogs and forums dedicated to History. Do not hesitate to submit your site. |
and are licensed under the GNU Free Documentation License.
Lexicon - Privacy Policy - Spiritus-Temporis.com ©2005.