TWiki>
Mizar Web>MathematicsSubjectClassification>03>03C>03C62 (2006-11-02, MarcoRiccardi)EditAttach
Mizar Web>MathematicsSubjectClassification>03>03C>03C62 (2006-11-02, MarcoRiccardi)EditAttachModel theory - Models of arithmetic and set theory
Primary classification
| # | Article | ||
|---|---|---|---|
| 1 | zf_lang | A Model of ZF Set Theory Language | Grzegorz Bancerek |
| 2 | zf_model | Models and Satisfiability. Defining by Structural Induction and Free Variables in ZF-formulae | Grzegorz Bancerek |
| 3 | zf_colla | The Contraction Lemma | Grzegorz Bancerek |
| 4 | zfmodel1 | Properties of ZF Models | Grzegorz Bancerek |
| 5 | zfmodel2 | Definable Functions | Grzegorz Bancerek |
| 6 | zf_lang1 | Replacing of Variables in Formulas of ZF Theory | Grzegorz Bancerek |
| 7 | zf_refle | The Reflection Theorem | Grzegorz Bancerek |
| 8 | zfrefle1 | Consequences of the Reflection Theorem | Grzegorz Bancerek |
| 9 | zf_fund1 | Mostowski's Fundamental Operations - Part I | Andrzej Kondracki |
| 10 | zf_fund2 | Mostowski's Fundamental Operations - Part II | Grzegorz Bancerek and Andrzej Kondracki |
Secondary classification
| # | Article | ||
|---|---|---|---|
| WebForm | |
|---|---|
| TopicClassification | MathSC2000 |
| ProjectGroup? | |
| ImplementationDate? | N/A |
Edit | Attach | Print version | History: r1 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r1 - 2006-11-02 - 21:06:13 - MarcoRiccardi
 |
|
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding TWiki? Send feedback