Finite axiomatizability of local set theory
From MaRDI portal
Publication:764013
DOI10.1134/S000143461107008XzbMATH Open1258.03076MaRDI QIDQ764013FDOQ764013
Authors: Aleksandr D. Yashin, V. K. Zakharov 
Publication date: 13 March 2012
Published in: Mathematical Notes (Search for Journal in Brave)
Recommendations
- Local theory of sets as a foundation for category theory and its connection with the Zermelo-Fraenkel set theory
- Local set theory
- A local two-sorted theory of classes and sets: MacLane's problem and Mostowski's program
- Localizing the axioms
- The MacLane problem on the set-theoretic foundation for category theory. II.
derivabilityfinite axiomatizabilityZFaxiom of universalitylocal set theorylocal-minimal set theorymodel of category theoryNBG
Nonclassical and second-order set theories (03E70) Foundations, relations to logic and deductive systems (18A15)
Cites Work
- Title not available (Why is that?)
- Des catégories abéliennes
- General Theory of Natural Equivalences
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (10)
- Local theory of sets as a foundation for category theory and its connection with the Zermelo-Fraenkel set theory
- Title not available (Why is that?)
- Locally finite theories
- Locally finite weakly minimal theories
- A local two-sorted theory of classes and sets: MacLane's problem and Mostowski's program
- Obtaining Finite Local Theory Axiomatizations via Saturation
- A FINITE AXIOMATIZATION OF LOCALLY SQUARE CYLINDRIC-RELATIVIZED SET ALGEBRAS
- Local set theory
- Finite axiomatizability and theories with trivial algebraic closure
- Localizing the axioms
This page was built for publication: Finite axiomatizability of local set theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q764013)
