Two notes on the foundations of set-theory

DOI10.1111/J.1746-8361.1969.TB01184.XMaRDI QIDQ5668423zbMATH OpenOpenAlexFDO

Authors Georg Kreisel

Publication date 1969

Published in Dialectica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1111/j.1746-8361.1969.tb01184.x

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Set theory (03Exx)

Cited in

(9)

• Frege's double correlation thesis and Quine's set theories NF and ML
• Categoricity results for second-order ZF in dependent type theory
• On Takeuti's early view of the concept of set
• Categoricity results and large model constructions for second-order ZF in dependent type theory
• Mathematical determinacy and the transferability of aboutness
• Proper classes
• INCOMPLETENESS VIA PARADOX AND COMPLETENESS
• Natural constructive proofs of A via A B, proof paradoxes, and impredicativity
• Elementary inductive definitions in HA: From strictly positive towards monotone

This page was built for publication: Two notes on the foundations of set-theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5668423)