Finite axiomatizability of local set theory
type: Item
instance of: scholarly article
title: Finite axiomatizability of local set theory
zbMATH Open document ID: 1258.03076
DOI: 10.1134/S000143461107008X
author: Aleksandr D. Yashin
author: V. K. Zakharov
published in: Mathematical Notes
publication date: 2012-03-13T00:00:00Z
Mathematics Subject Classification ID: 03E70
Mathematics Subject Classification ID: 18A15
zbMATH DE Number: 6013928
zbMATH Keywords: local set theory
zbMATH Keywords: local-minimal set theory
zbMATH Keywords: NBG
zbMATH Keywords: ZF
zbMATH Keywords: axiom of universality
zbMATH Keywords: model of category theory
zbMATH Keywords: finite axiomatizability
zbMATH Keywords: derivability
MaRDI profile type: Publication
cites work: Q4229041
cites work: General Theory of Natural Equivalences
cites work: Q5724789
cites work: Gattungen von lokalen Strukturen
cites work: On the formal definition of categories
cites work: Des catégories abéliennes
cites work: Local theory of sets as a foundation for category theory and its connection with the Zermelo-Fraenkel set theory
cites work: Q3718676
description: scientific article; zbMATH DE number 6013928