Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math.independent

Topic: Interpreting ZFC: Corrected.
Replies: 1   Last Post: May 1, 2013 1:23 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Zaljohar@gmail.com

Posts: 2,665
Registered: 6/29/07
Re: Interpreting ZFC: Corrected.
Posted: May 1, 2013 1:23 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On May 1, 12:50 pm, Zuhair <zaljo...@gmail.com> wrote:
> I made a mistake in my previous post to this Usenet titled as
> Interpreting ZFC.
>
> The correct formulation must be the following:
>
> BI is the closure of all sentences entailed by FOL(e) from the
> following axioms:
>
> (1) Boundedness: if phi is a formula


In which B is not free,

then:
>
> [EB: (Vy in B(Ex C A:phi)) & (Vx C A ((Ey:phi) ->(Ey in B:phi)))]
>
> is an axiom.
>
> Where C is a modified subset relation defined as:
>
> x C A iff Vm in x (En: n in A & m in n)
>
> V,E signifies universal and existential quantification respectively.
>
> 2) Infinity.
> /
>
> Now clearly BI is a sub-theory of ZFC. Yet BI interpret the whole of
> ZFC!
>
> BI depicts a marvelous use of the property of transitivity of sets, BI
> interprets ZFC over the realm of the cumulative hierarchy using the
> properties of transitive sets which constitutes the stages of that
> hierarchy.
>
> It is a nice experience to try interpret the whole of ZFC inside BI.
>
> Zuhair





Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.