• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Tarski Grothendieck Set Theory (1989)

Cached

  • Download as a PDF
  •  
  • Download as a PS

Download Links

  • [mizar.uwb.edu.pl]
  • [mizar.uwb.edu.pl]
  • [mizar.org]
  • [markun.cs.shinshu-u.ac.jp]
  • [www.cs.ualberta.ca]
  • [mizar.uwb.edu.pl]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Andrzej Trybulec
Citations:1274 - 127 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

Versions

  • Version 0
  • Version 1
  • Version 2

Version History

Metadata Version 1

DatumValueSource
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
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University