Timeline for ZFC, set membership and FOL
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 12, 2011 at 18:00 | vote | accept | Kar | ||
| Aug 12, 2011 at 11:16 | answer | added | Carl Mummert | timeline score: 8 | |
| Aug 12, 2011 at 7:17 | answer | added | Andrej Bauer | timeline score: 6 | |
| Aug 12, 2011 at 6:57 | answer | added | Stefan Geschke | timeline score: 1 | |
| Aug 12, 2011 at 3:38 | comment | added | godelian | If you look at the article you'll see that ZFC is a one sorted theory in FOL, where sets are the individuals in the universe. Hence variables range only over sets, and set membership is a binary relation in the signature. Axiom of infinity and all axioms quantifying over sets are thus expressed in FOL. | |
| Aug 12, 2011 at 3:25 | comment | added | Qiaochu Yuan | Internal sets in ZFC are just elements in a model of ZFC. They're not subsets of the model (although they can contain all of the elements in a subset of the model). | |
| Aug 12, 2011 at 3:20 | history | edited | Kar |
edited tags
|
|
| Aug 12, 2011 at 3:11 | history | asked | Kar | CC BY-SA 3.0 |