Kreisel, the continuum hypothesis and second order set theory
From MaRDI portal
Publication:1231488
DOI10.1007/BF00248732zbMath0341.02053OpenAlexW2065038407MaRDI QIDQ1231488
Publication date: 1976
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00248732
Philosophical and critical aspects of logic and foundations (03A05) Consistency and independence results (03E35) Axiomatics of classical set theory and its fragments (03E30)
Related Items (11)
On the Innocence and Determinacy of Plural Quantification ⋮ Second-order logic and the power set ⋮ Forcing, Multiverse and Realism ⋮ Computability, Finiteness and the Standard Model of Arithmetic ⋮ Mathematical determinacy and the transferability of aboutness ⋮ Toward a modal-structural interpretation of set theory ⋮ Against the judgment-dependence of mathematics and logic ⋮ A metasemantic challenge for mathematical determinacy ⋮ An indeterminate universe of sets ⋮ A critical appraisal of second-order logic ⋮ On the referential indeterminacy of logical and mathematical concepts
This page was built for publication: Kreisel, the continuum hypothesis and second order set theory