# CANTORIAN SET THEORY AND LIMITATION OF SIZE PDF

. Author: Jushakar Akijora Country: Italy Language: English (Spanish) Genre: Software Published (Last): 21 September 2013 Pages: 320 PDF File Size: 13.20 Mb ePub File Size: 11.99 Mb ISBN: 621-2-17612-352-3 Downloads: 34182 Price: Free* [*Free Regsitration Required] Uploader: Tolrajas This is proved by contradiction. Let F be a function and A be a set. Assume that F A is a proper class. Then there is a function G that maps F A onto V. Therefore, F A is a set. Since the axiom of replacement implies the axiom of separation , the axiom of limitation of size implies the axiom of separation.

The proof starts by proving by contradiction that Ord, the class of all ordinals , is a proper class. Assume that Ord is a set. Therefore, Ord is a proper class.

The function G is a one-to-one correspondence between a subset of Ord and V. This well-ordering defines a global choice function : Let Inf x be the least element of a non-empty set x. First, he proved without using the axiom of union that every set of ordinals has an upper bound. In , William B. Easton used forcing to build a model of NBG with global choice replaced by the axiom of choice. Therefore, the axiom of limitation of size fails in this model. Ord is an example of a proper class that cannot be mapped onto V because as proved above if there is a function mapping Ord onto V, then V can be well-ordered.

The axioms of NBG with the axiom of replacement replaced by the weaker axiom of separation do not imply the axiom of limitation of size.

IMACON IXPRESS 96C PDF

## Cantorian Set Theory and Limitation of Size .

ATOM BERELEKTRON BANYAK PDF

## Axiom of limitation of size .

BS EN 12390-4 PDF

## Limitation of size .

MISJA MICHEL DESMARQUET PDF

## Older Browser Detected .