1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

A minimal model for ZC

  1. Mar 14, 2015 #1
    Is there a meta-mathematical model of ZC (Zermelo Set Theory with specification scheme and axiom of choice but not remplacement and) that includes a minimun quantity of Gödel constructible elements of L hierarchy with all the ordinals until ω⋅2 and that it "lives" in all the meta-mathematical models of ZC?
  2. jcsd
  3. Mar 15, 2015 #2


    User Avatar
    Gold Member

    I don't know the answer, but just a suggestion: perhaps you might get more replies by posting it in the "Set Theory, Logic..." section.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook