Tarski Grothendieck set theory (1989)
Cached
Download Links
| Venue: | Journal of Formalized Mathematics, Axiomatics |
| Citations: | 1274 - 127 self |
BibTeX
@ARTICLE{Trybulec89tarskigrothendieck,
author = {Andrzej Trybulec},
title = {Tarski Grothendieck set theory},
journal = {Journal of Formalized Mathematics, Axiomatics},
year = {1989},
volume = {1}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Summary. This is the first part of the axiomatics of the Mizar system. It includes the axioms of the Tarski Grothendieck set theory. They are: the axiom stating that everything is a set, the extensionality axiom, the definitional axiom of the singleton, the definitional axiom of the pair, the definitional axiom of the union of a family of sets, the definitional axiom of the boolean (the power set) of a set, the regularity axiom, the definitional axiom of the ordered pair, the Tarski’s axiom A introduced in [1] (see also [2]), and the Frænkel scheme. Also, the definition of equinumerosity is introduced.
Citations
No citations identified.
