Superclasses in a Finite Extension of Zermelo Set Theory
From MaRDI portal
Publication:3864513
DOI10.1002/malq.19780243108zbMath0428.03048OpenAlexW2065657608MaRDI QIDQ3864513
Publication date: 1978
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19780243108
limitsaxiom of infinityfunctor categoriesYoneda lemmasuperclassfinite extension of Zermelo set theory
Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70) Ordinal and cardinal numbers (03E10) Functor categories, comma categories (18A25) Foundations, relations to logic and deductive systems (18A15)
Related Items (1)
This page was built for publication: Superclasses in a Finite Extension of Zermelo Set Theory