Finite axiomatizability of local set theory

DOI10.1134/S000143461107008XzbMath1258.03076MaRDI QIDQ764013

Aleksandr D. Yashin, Valeriy K. Zakharov

Publication date: 13 March 2012

Published in: Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

derivabilityfinite axiomatizabilityZFaxiom of universalitylocal set theorylocal-minimal set theorymodel of category theoryNBG

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Foundations, relations to logic and deductive systems (18A15)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Gattungen von lokalen Strukturen
• On the formal definition of categories
• Local theory of sets as a foundation for category theory and its connection with the Zermelo-Fraenkel set theory
• Des catégories abéliennes
• General Theory of Natural Equivalences

This page was built for publication: Finite axiomatizability of local set theory