Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Aspects of constructibility / / K. J. Devlin
| Aspects of constructibility / / K. J. Devlin |
| Autore | Devlin Keith J. |
| Edizione | [1st ed. 1973.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1973] |
| Descrizione fisica | 1 online resource (XII, 246 p.) |
| Disciplina | 511.322 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico |
Set theory
Model theory Constructibility (Set theory) |
| ISBN | 3-540-37821-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Zermelo-Fraenkel set theory -- The constructible universe -- The axiom of constructibility, the condensation lemma, and the consistency of the generalised continuum hypothesis -- The Souslin hypothesis -- The Kurepa hypothesis -- Constructibility and the continuum -- The Jensen hierarchy of constructible sets -- The fine structure of the Jensen hierarchy -- The combinatorial principles {ie104-1} -- The generalised Souslin hypothesis for successor cardinals -- Ineffable cardinals and the generalised Kurepa hypothesis -- Weakly compact cardinals and the generalised Souslin hypothesis -- The Gap-1 two cardinals theorem -- Gap-1 morasses -- The gap-2 two cardinals theorem. (Jensen) -- Small large cardinals -- Medium large cardinals -- Large large cardinals -- Relative constructibility -- The inner model L[?] -- Strongly compact cardinals and relative constructibility. |
| Record Nr. | UNISA-996466379203316 |
Devlin Keith J.
|
||
| Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1973] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Borel liftings of Borel sets : some decidable and undecidable statements / / Gabriel Debs, Jean Saint Raymond
| Borel liftings of Borel sets : some decidable and undecidable statements / / Gabriel Debs, Jean Saint Raymond |
| Autore | Debs Gabriel <1952-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 2007 |
| Descrizione fisica | 1 online resource (134 p.) |
| Disciplina | 511.322 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Borel sets
Descriptive set theory Constructibility (Set theory) |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4704-0480-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Contents""; ""Introduction ""; ""0.1. Descriptive classes: ""; ""0.2. An elementary topological problem: ""; ""0.3. Continuous and Borel liftings: ""; ""0.4. Main result ""; ""0.5. Application 1 ""; ""0.6. Application 2 ""; ""0.7. Application 3 ""; ""Chapter 1. A Tree Representation for Borel Sets ""; ""1.1. Trees ""; ""1.2. Distinguished subrelation ""; ""1.3. Canonical mapping of a distinguished subtree ""; ""1.4. Uniformly distinguished subtree ""; ""1.5. Tree products ""; ""1.6. Tree expansions and representations of Borel sets ""; ""1.7. Regular expansions and representations ""
""Chapter 2. A Double-Tree Representation for Borel Sets """"2.1. Double-trees ""; ""2.2. Double-tree characterization of â??[sup(0)][sub(2)] sets""; ""2.3. Double-tree characterization of D(â??[sup(0)][sub(2)]) sets""; ""2.4. Appendix : extension to Wadge classes""; ""Chapter 3. Two Applications of the Tree Representation""; ""3.1. Resolution of quasi-strategies""; ""3.2. Hurewicz type results""; ""3.3. A Borel separation result""; ""Chapter 4. Borel Liftings of Borel Sets""; ""4.1. Borel liftings of bounded rank""; ""4.2. Borel liftings of unbounded rank"" ""4.3. Solution to Ostrovsky's problem""""4.4. Borel liftings in coanalytic sets""; ""Chapter 5. More Consequences and Reverse Results""; ""5.1. Some boudedness principles""; ""5.2. Reverse results""; ""5.3. Conclusion""; ""5.4. Appendix: A Perfect Set Theorem for a Class of Equivalence Relations""; ""Chapter 6. Proof of The Main Result""; ""6.1. Sketch of the proof""; ""6.2. Labeling games with delay""; ""6.3. Proof of the basic case""; ""6.4. Proof of the general limit case""; ""6.5. Proof of the general successor case""; ""Bibliography""; ""Index"" |
| Record Nr. | UNINA-9910480866403321 |
|
Debs Gabriel <1952->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Borel liftings of Borel sets : some decidable and undecidable statements / / Gabriel Debs, Jean Saint Raymond
| Borel liftings of Borel sets : some decidable and undecidable statements / / Gabriel Debs, Jean Saint Raymond |
| Autore | Debs Gabriel <1952-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 2007 |
| Descrizione fisica | 1 online resource (134 p.) |
| Disciplina | 511.322 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Borel sets
Descriptive set theory Constructibility (Set theory) |
| ISBN | 1-4704-0480-X |
| Classificazione | 31.10 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Contents""; ""Introduction ""; ""0.1. Descriptive classes: ""; ""0.2. An elementary topological problem: ""; ""0.3. Continuous and Borel liftings: ""; ""0.4. Main result ""; ""0.5. Application 1 ""; ""0.6. Application 2 ""; ""0.7. Application 3 ""; ""Chapter 1. A Tree Representation for Borel Sets ""; ""1.1. Trees ""; ""1.2. Distinguished subrelation ""; ""1.3. Canonical mapping of a distinguished subtree ""; ""1.4. Uniformly distinguished subtree ""; ""1.5. Tree products ""; ""1.6. Tree expansions and representations of Borel sets ""; ""1.7. Regular expansions and representations ""
""Chapter 2. A Double-Tree Representation for Borel Sets """"2.1. Double-trees ""; ""2.2. Double-tree characterization of â??[sup(0)][sub(2)] sets""; ""2.3. Double-tree characterization of D(â??[sup(0)][sub(2)]) sets""; ""2.4. Appendix : extension to Wadge classes""; ""Chapter 3. Two Applications of the Tree Representation""; ""3.1. Resolution of quasi-strategies""; ""3.2. Hurewicz type results""; ""3.3. A Borel separation result""; ""Chapter 4. Borel Liftings of Borel Sets""; ""4.1. Borel liftings of bounded rank""; ""4.2. Borel liftings of unbounded rank"" ""4.3. Solution to Ostrovsky's problem""""4.4. Borel liftings in coanalytic sets""; ""Chapter 5. More Consequences and Reverse Results""; ""5.1. Some boudedness principles""; ""5.2. Reverse results""; ""5.3. Conclusion""; ""5.4. Appendix: A Perfect Set Theorem for a Class of Equivalence Relations""; ""Chapter 6. Proof of The Main Result""; ""6.1. Sketch of the proof""; ""6.2. Labeling games with delay""; ""6.3. Proof of the basic case""; ""6.4. Proof of the general limit case""; ""6.5. Proof of the general successor case""; ""Bibliography""; ""Index"" |
| Record Nr. | UNINA-9910788744303321 |
|
Debs Gabriel <1952->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Borel liftings of Borel sets : some decidable and undecidable statements / / Gabriel Debs, Jean Saint Raymond
| Borel liftings of Borel sets : some decidable and undecidable statements / / Gabriel Debs, Jean Saint Raymond |
| Autore | Debs Gabriel <1952-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 2007 |
| Descrizione fisica | 1 online resource (134 p.) |
| Disciplina | 511.322 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Borel sets
Descriptive set theory Constructibility (Set theory) |
| ISBN | 1-4704-0480-X |
| Classificazione | 31.10 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Contents""; ""Introduction ""; ""0.1. Descriptive classes: ""; ""0.2. An elementary topological problem: ""; ""0.3. Continuous and Borel liftings: ""; ""0.4. Main result ""; ""0.5. Application 1 ""; ""0.6. Application 2 ""; ""0.7. Application 3 ""; ""Chapter 1. A Tree Representation for Borel Sets ""; ""1.1. Trees ""; ""1.2. Distinguished subrelation ""; ""1.3. Canonical mapping of a distinguished subtree ""; ""1.4. Uniformly distinguished subtree ""; ""1.5. Tree products ""; ""1.6. Tree expansions and representations of Borel sets ""; ""1.7. Regular expansions and representations ""
""Chapter 2. A Double-Tree Representation for Borel Sets """"2.1. Double-trees ""; ""2.2. Double-tree characterization of â??[sup(0)][sub(2)] sets""; ""2.3. Double-tree characterization of D(â??[sup(0)][sub(2)]) sets""; ""2.4. Appendix : extension to Wadge classes""; ""Chapter 3. Two Applications of the Tree Representation""; ""3.1. Resolution of quasi-strategies""; ""3.2. Hurewicz type results""; ""3.3. A Borel separation result""; ""Chapter 4. Borel Liftings of Borel Sets""; ""4.1. Borel liftings of bounded rank""; ""4.2. Borel liftings of unbounded rank"" ""4.3. Solution to Ostrovsky's problem""""4.4. Borel liftings in coanalytic sets""; ""Chapter 5. More Consequences and Reverse Results""; ""5.1. Some boudedness principles""; ""5.2. Reverse results""; ""5.3. Conclusion""; ""5.4. Appendix: A Perfect Set Theorem for a Class of Equivalence Relations""; ""Chapter 6. Proof of The Main Result""; ""6.1. Sketch of the proof""; ""6.2. Labeling games with delay""; ""6.3. Proof of the basic case""; ""6.4. Proof of the general limit case""; ""6.5. Proof of the general successor case""; ""Bibliography""; ""Index"" |
| Record Nr. | UNINA-9910829174403321 |
|
Debs Gabriel <1952->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
CORE MODEL ITERABILITY PROBLEM [[electronic resource]]
| CORE MODEL ITERABILITY PROBLEM [[electronic resource]] |
| Autore | STEEL J. R. (JOHN R.), 1948- |
| Pubbl/distr/stampa | BERLIN, : SPRINGER-VERLAG, 1996 |
| Disciplina | 511.3/22 |
| Collana | LECTURE NOTES IN LOGIC.8 |
| Soggetto topico |
Constructibility (Set theory)
Large cardinals (Mathematics) Mathematics Physical Sciences & Mathematics Algebra |
| ISBN | 3-540-61938-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996210818003316 |
|
STEEL J. R. (JOHN R.), 1948-
|
||
| BERLIN, : SPRINGER-VERLAG, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
CORE MODEL ITERABILITY PROBLEM
| CORE MODEL ITERABILITY PROBLEM |
| Autore | STEEL J. R. (JOHN R.), 1948- |
| Pubbl/distr/stampa | BERLIN, : SPRINGER-VERLAG, 1996 |
| Disciplina | 511.3/22 |
| Collana | LECTURE NOTES IN LOGIC.8 |
| Soggetto topico |
Constructibility (Set theory)
Large cardinals (Mathematics) Mathematics Physical Sciences & Mathematics Algebra |
| ISBN | 3-540-61938-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910482885603321 |
|
STEEL J. R. (JOHN R.), 1948-
|
||
| BERLIN, : SPRINGER-VERLAG, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
