Re: Size Theory.

On Mar 29, 10:02 am, Zaljo...@xxxxxxxxx wrote:
[. . .]
Size Theory is set of all sentences entailed ( from first order logic
with identity and the primitive constant Z , and the primitve two
place relation symbole '< ' to denote 'smaller than' ,and the
primitive one place function symbole 'S' to denote 'size') by the non
logical axioms of ZF and the following non logical axioms:
[. . .]
Axiom1: Z is standard infinite & Z is Dedekindian finite
[. . .]
Axiom4: Sa<Sb -> ~Sb<Sa
[. . .]
Axiom6:[Ef(f:a->b,f is injective) &
Af((f:a->b,f is injective) -> ~ f is surjective)] -> Sa<Sb
[. . .]
Axiom8:AcAx ([Ay (yex-> Sy<Sc) &
   Ayz ((yex&zex&~y=z) -> (y proper subset_of z or z proper subset_of
y))] -> SUx <= Sc)

were '<= ' denote 'smaller than or equal'.
[. . .]

I will derive a contradiction from your Axioms 1, 4, 6, and 8.

LEMMA: There exist a D-finite set d and a sequence of sets y_n such
that d = U{y_n : n in omega} and, for each n in omega, y_n is a subset
of y_{n+1} and a proper subset of d.

PROOF: By Axiom1, Z is a D-finite infinite set. Let S be the set of
all finite subsets of Z.
CASE I: S is D-finite.
Let d = S and let y_n be the set of all subsets of Z having at most n
elements.
CASE II: S is D-infinite.
Then there is an infinite sequence s_0, s_1, s_2, ... of distinct
elements of S. Let y_n = U{s_0,...,s_n} and let d = U{y_n : n in
omega}.

Let x = {y_n : n in omega}, and let c be a set obtained by removing
one element from d. It follows from Axiom6 that Sy < Sc for each y in
x. Hence, by Axiom8, we have SUx <= Sc, i.e., Sd <= Sc. On the other
hand, we have Sc < Sd by Axiom 6. But the conjunction of the
inequalities Sc < Sd and Sd <= Sc contradicts Axiom4.

.

Relevant Pages

  • Re: Size Theory.
    ... comparability between infinite sets that are Dedekindian finite ... with identity and the primitive constant Z, and the primitve two ... logical axioms of ZF and the following non logical axioms: ... and since every two different members of omega x, ...
    (sci.logic)
  • Re: Size Theory.
    ... with identity and the primitive constant Z, and the primitve two ... logical axioms of ZF and the following non logical axioms: ... Z is a D-finite infinite set. ... n in omega}, and let c be a set obtained by removing ...
    (sci.logic)
  • Re: Size Theory.
    ... with identity and the primitive constant Z, and the primitve two ... logical axioms of ZF and the following non logical axioms: ... CASE II: S is D-infinite. ... and the set of natural numbers omega. ...
    (sci.logic)
  • Re: Size Theory.
    ... with identity and the primitive constant Z, and the primitve two ... logical axioms of ZF and the following non logical axioms: ... CASE II: S is D-infinite. ... and the set of natural numbers omega. ...
    (sci.logic)
  • Re: Size Theory.
    ... with identity and the primitive constant Z, and the primitve two ... Z is a D-finite infinite set. ... and the set of natural numbers omega. ...
    (sci.logic)