• 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

BibTeX

@MISC{Trybulec89tarskigrothendieck,
    author = {Andrzej Trybulec},
    title = {Tarski Grothendieck Set Theory},
    year = {1989}
}

Years of Citing Articles

Bookmark

citeulike Connotea Bibsonomy Del.icio.us Digg Reddit

OpenURL

 

Abstract

this paper x, y, z, u, N , M , X , Y , Z denote sets. The following proposition is true (2) 1 If for every x holds x 2 X iff x 2 Y; then X = Y: Let us consider y. The functor fyg is defined by: (Def. 1) x 2 fyg iff x = y: Let us consider z. The functor fy; zg is defined as follows: (Def. 2) x 2 fy; zg iff x = y or x = z: Let us observe that the functor fy; zg is commutative. Let us consider X ,<F11.66

Citations

No citations identified.

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