scientific article; zbMATH DE number 1567850

MaRDI QIDQ4761680zbMATH OpenFDO

Authors V. K. Zakharov, A. V. Mikhalev

Publication date 21 February 2001

Full work available at URL http://mech.math.msu.su/~fpm/eng/99/992/99205h.htm

zbMATH Keywords

axiomaticsfull rights admission problemsets of propositional formulastwo-sorted theory of classes and sets

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Categories of sets, characterizations (18B05)

Recommendations

• A local two-sorted theory of classes and sets: MacLane's problem and Mostowski's program
• The interpretation of classes in axiomatic set theory
• Sets and classes as many
• scientific article; zbMATH DE number 3959419
• On a Subtheory of the Bernays-Gödel Set Theory

Cited in

(3)

• The MacLane problem on set-theoretical foundations for the category theory
• scientific article; zbMATH DE number 2063841 (Why is no real title available?)
• The subset relation and 2‐stratified sentences in set theory and class 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 Q4761680)