scientific article; zbMATH DE number 3991489

MaRDI QIDQ3753995zbMATH OpenFDO

Authors V. E. Vajl'

Publication date 1987

zbMATH Keywords

Quine's system NFRussell's simple type theoryset-theoretic systems of axiomsZermelo set theoryZermelo-Fraenkel set theory

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30)

Recommendations

• Some generalizations to two systems of set theory based on combinatory logic
• scientific article; zbMATH DE number 2226382
• FOUNDATIONS OF A NEW AXIOMATIC SET THEORY
• Cumulative Higher-Order Logic as a Foundation for Set Theory
• scientific article; zbMATH DE number 3878897

Cited in

(2)

• Weak systems of Gandy, Jensen and Devlin
• Global quantification in Zermelo-Fraenkel set theory

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 Q3753995)