Re: Size Theory.

On Mar 29, 8: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:

Without the 2-place predicate symbol 'e', how do you define 'subset',
'finite', 'Dedekind finite', 'bijective', 'injective', 'function',
'domain', 'into', and 'U', all of which you use in your axioms.

For such definitions, do you use '<' where we ordinarily use 'e'?

MoeBlee

.

Relevant Pages

  • Re: Size Theory.
    ... with identity and the primitive constant Z, and the primitve two ... primitive one place function symbole 'S' to denote 'size') by the non ... logical axioms of ZF and the following non logical axioms: ...
    (sci.logic)
  • 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: ... 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: ... Z is a D-finite infinite set. ... n in omega}, and let c be a set obtained by removing ...
    (sci.logic)