|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910482885303321 |
|
|
Autore |
Mitchell William J |
|
|
Titolo |
Fine structure and iteration trees |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Place of publication not identified], : Springer Verlag, 1994 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (137 pages) |
|
|
|
|
|
|
Collana |
|
Lecture notes in logic Fine structure and iteration trees |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Constructive mathematics |
Set theory |
Mathematics |
Physical Sciences & Mathematics |
Mathematical Theory |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Lecture Notes in Logic 3 Fine Structure and Iteration Trees -- Fine Structure and Iteration Trees -- Copyright -- Contents -- 0. Introduction -- 1. Good Extender Sequences -- 2. Fine Structure -- 3. Squashed Mice -- 4. Ultrapowers -- 5. Iteration Trees -- 6. Uniqueness of Wellfounded Branches -- 7. The Comparison Process -- 8. Solidity and Condensation -- 9. Uniqueness of the Next Extender -- 10. Closure under Initial Segment -- 11. The Construction -- 12. Iterability -- References -- Index of Definitions -- Index. |
|
|
|
|
|
|
|