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.
External links
- Peter Suber's course notes on "coping" with the paradox
- Bays's Ph.D. thesis on the paradox
- Extract from Moore's discussion of the paradox
~ Table of Content ~
| ► | Introduction |
| ► | Is it a paradox? |
| ► | Quotes |
| ► | References |
| ► | External links |
~ What's Hot ~
The Mummy 4 Rise Of The Aztec, The Goods Live Hard Sell Hard, My Sister S Keeper, Fantastic Mr Fox, Twilight, Ninja Assassin, Hannah Montana The Movie, The Princess And The Frog, 500 Days Of Summer, Cloudy With A Chance Of Meatballs, The Ugly Truth, Madagascar 3, The Blind Side, 2012, The Boondock Saints Ii All Saints Day, Dear John, Avatar, Paper Heart, New Moon, Alvin And The Chipmunks The Squeakquel,
~ 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.