Skolem's paradox and constructivism (Q1095905)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Skolem's paradox and constructivism |
scientific article |
Statements
Skolem's paradox and constructivism (English)
0 references
1987
0 references
The paper argues that problematic versions of the Löwenheim-Skolem Theorem (LST) are not forthcoming for intuitionist mathematics, and hence that ``Skolem's paradox'' is a problem for classical mathematics only. After a brief review of a recent discussion of the paradox [Proc. Aristotelian Soc., Supp. Vol. 68 (1985)], it notes that all extant proofs of the LST are intuitionistically invalid. It then proves a number of independence results for intuitionistic Zermelo-Fraenkel set theory (IZF), e.g. IZF \(+\) Fan Theorem \(+\) Bar Induction \(+\) Markov's Principle \(\nvdash\) `Every model has an elementarily equivalent countable model'. Some stronger results are announced but not proved, e.g.: IZF \(+\) Markov's Principle \(+\) Church's Thesis \(\vdash\) `Heyting Arithmetic is categorical'.
0 references
intuitionism
0 references
Löwenheim-Skolem Theorem
0 references
Skolem's paradox
0 references
independence results
0 references
intuitionistic Zermelo-Fraenkel set theory
0 references