A local two-sorted theory of classes and sets: MacLane's problem and Mostowski's program

DOI10.1023/B:JOTH.0000036654.35847.40zbMath1096.18001OpenAlexW2009598944MaRDI QIDQ1780370

Valeriy K. Zakharov, Alexander V. Mikhalev

Publication date: 7 June 2005

Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:joth.0000036654.35847.40

zbMATH Keywords

categorysets and classestwo-sorted theory

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Nonclassical and second-order set theories (03E70) Definitions and generalizations in theory of categories (18A05) Foundations, relations to logic and deductive systems (18A15)

This page was built for publication: A local two-sorted theory of classes and sets: MacLane's problem and Mostowski's program