Tarski Grothendieck Set Theory

Tarski Grothendieck Set Theory (1989)

by Andrzej Trybulec

Citations:

Datum	Value	Source
TITLE	The following proposition is true (2)	SVM HeaderParse 0.1
AUTHOR NAME	Andrzej Trybulec	SVM HeaderParse 0.1
AUTHOR AFFIL	; Warsaw University; Bia/lystok; 1	SVM HeaderParse 0.2
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 Fraenkel scheme. Also, the definition of equinumerosity is introduced. MML Identifier: TARSKI.	SVM HeaderParse 0.1
CITATIONS	2 found	ParsCit 1.0