scientific article; zbMATH DE number 3496162

zbMath0317.02079MaRDI QIDQ4078030

Alonzo Church

Publication date: 1974

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items

End-extensions preserving power set, LEVEL THEORY, PART 3: A BOOLEAN ALGEBRA OF SETS ARRANGED IN WELL-ORDERED LEVELS, Bernays-Gödel type theory