scientific article; zbMATH DE number 3672282

MaRDI QIDQ3869338zbMATH OpenFDO

Authors Maurice Boffa

Publication date 1977

zbMATH Keywords

comprehensionextensionalityfragments of classical set theorytype theory

Mathematics Subject Classification ID

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

Cited in

(1)

• The strength of Mac Lane 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 Q3869338)