scientific article; zbMATH DE number 3496162

MaRDI QIDQ4078030zbMATH OpenFDO

Authors Alonzo Church

Publication date 1974

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Consistency and independence results (03E35)

Cited in

(4)

• Bernays-Gödel type theory
• End-extensions preserving power set
• LEVEL THEORY, PART 3: A BOOLEAN ALGEBRA OF SETS ARRANGED IN WELL-ORDERED LEVELS
• Wand/set theories: a realization of Conway's mathematicians' liberation movement, with an application to Church's set theory with a universal set

This page was built for publication:

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