Two notes on the foundations of set-theory

DOI10.1111/j.1746-8361.1969.tb01184.xzbMath0255.02002OpenAlexW2080683481MaRDI QIDQ5668423

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)

Related Items (8)

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

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