Garrulo Messages 61 Reaction score 0 Thread starter Mar 8, 2015 #1 ¿Is there a minimal standard methamatematical model for Zermelo set theory in the sense that the other models contains this model ?
¿Is there a minimal standard methamatematical model for Zermelo set theory in the sense that the other models contains this model ?
micromass Staff Emeritus Science Advisor Homework Helper Insights Author Messages 22,170 Reaction score 3,335 Mar 8, 2015 #2 http://www.ams.org/journals/bull/1963-69-04/S0002-9904-1963-10989-1/home.html
Garrulo Messages 61 Reaction score 0 Mar 10, 2015 #3 Are there examples of set that it isn´t in the minimal model of ZFC
Garrulo Messages 61 Reaction score 0 Mar 11, 2015 #4 Sorry for my bad english, but are there any example of a set which it isn´t in the minimal model of ZFC, or are there all the definable in this model? Last edited: Mar 11, 2015
Sorry for my bad english, but are there any example of a set which it isn´t in the minimal model of ZFC, or are there all the definable in this model?
Garrulo Messages 61 Reaction score 0 Mar 12, 2015 #5 I reformulate the question: are there any set that it is definable in the minimal model of ZC but it isn´t in that model ?? Last edited: Mar 12, 2015
I reformulate the question: are there any set that it is definable in the minimal model of ZC but it isn´t in that model ??