Timeline for Are there fragments of set theory which are axiomatized with only bounded (restricted) quantifiers used in axioms?
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 19, 2014 at 13:03 | comment | added | Ioachim Drugus | I was missing that at least one constant is needed to have other quantifiers restricted. Now, it is clear that the answer to my question in title is "No". The reflection theorem strongly supports the negative answer by the fact that complexity of the ZF or ZFC cannot be restricted, but leaves room for a naive hope to still have the quantifiers bounded iff the interest is different from restricting complexity. My interest is really different as I will shortly explain in my comment to @Goldstern's answer. | |
| Aug 18, 2014 at 19:54 | history | answered | Joel David Hamkins | CC BY-SA 3.0 |