Timeline for Standard model of ZFC
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 17, 2013 at 15:46 | vote | accept | Jaykov Foukzon | ||
| Mar 17, 2013 at 15:47 | |||||
| Mar 17, 2013 at 15:46 | vote | accept | Jaykov Foukzon | ||
| Mar 17, 2013 at 15:46 | |||||
| Mar 17, 2013 at 0:44 | comment | added | Joel David Hamkins | Very good. And it may be worthwhile pointing out that your theory is a proper part of Kelly-Morse set theory, which proves the existence of such satisfaction predicates not only with respect to first-order truth, but also with respect to satisfaction for assertions involving any given class predicate parameter. So one also gets Sat relative to Sat, and so on transfinitely. | |
| Mar 17, 2013 at 0:32 | history | answered | Andreas Blass | CC BY-SA 3.0 |