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.
The axiom of determinacy, forcing axioms, and the nonstationary ideal [[electronic resource] /] / W. Hugh Woodin
| The axiom of determinacy, forcing axioms, and the nonstationary ideal [[electronic resource] /] / W. Hugh Woodin |
| Autore | Woodin W. H (W. Hugh) |
| Edizione | [2nd rev. ed.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : De Gruyter, c2010 |
| Descrizione fisica | 1 online resource (858 p.) |
| Disciplina | 511.3 |
| Collana | De Gruyter series in logic and its applications |
| Soggetto topico |
Forcing (Model theory)
Model theory |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-282-72287-5
9786612722875 3-11-021317-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- 1 Introduction -- 2 Preliminaries -- 3 The nonstationary ideal -- 4 The ℙmax-extension -- 5 Applications -- 6 ℙmax variations -- 7 Conditional variations -- 8 ♣ principles for ω 1 -- 9 Extensions of L(Γ, ℝ) -- 10 Further results -- 11 Questions -- Backmatter |
| Record Nr. | UNINA-9910455565203321 |
Woodin W. H (W. Hugh)
|
||
| Berlin ; ; New York, : De Gruyter, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The axiom of determinacy, forcing axioms, and the nonstationary ideal [[electronic resource] /] / W. Hugh Woodin
| The axiom of determinacy, forcing axioms, and the nonstationary ideal [[electronic resource] /] / W. Hugh Woodin |
| Autore | Woodin W. H (W. Hugh) |
| Edizione | [2nd rev. ed.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : De Gruyter, c2010 |
| Descrizione fisica | 1 online resource (858 p.) |
| Disciplina | 511.3 |
| Collana | De Gruyter series in logic and its applications |
| Soggetto topico |
Forcing (Model theory)
Model theory |
| Soggetto non controllato |
Continuum Hypothesis
Mathematical Logic Set Theory |
| ISBN |
1-282-72287-5
9786612722875 3-11-021317-6 |
| Classificazione | SK 130 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- 1 Introduction -- 2 Preliminaries -- 3 The nonstationary ideal -- 4 The ℙmax-extension -- 5 Applications -- 6 ℙmax variations -- 7 Conditional variations -- 8 ♣ principles for ω 1 -- 9 Extensions of L(Γ, ℝ) -- 10 Further results -- 11 Questions -- Backmatter |
| Record Nr. | UNINA-9910780708903321 |
|
Woodin W. H (W. Hugh)
|
||
| Berlin ; ; New York, : De Gruyter, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The axiom of determinacy, forcing axioms, and the nonstationary ideal / / W. Hugh Woodin
| The axiom of determinacy, forcing axioms, and the nonstationary ideal / / W. Hugh Woodin |
| Autore | Woodin W. H (W. Hugh) |
| Edizione | [Reprint 2011] |
| Pubbl/distr/stampa | Berlin ; ; New York : , : W. de Gruyter, , 1999 |
| Descrizione fisica | 1 online resource (944 pages) |
| Disciplina | 511.3 |
| Collana |
De Gruyter Series in Logic and Its Applications
De Gruyter series in logic and its applications |
| Soggetto topico |
Forcing (Model theory)
Model theory |
| Soggetto genere / forma | Electronic books. |
| ISBN | 3-11-080473-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- 1 Introduction -- 2 Preliminaries -- 3 The nonstationary ideal -- 4 The ℙmax-extension -- 5 Applications -- 6 ℙmax variations. 6.1 2ℙmax -- 6 ℙmax variations. 6.2 Variations for obtaining ω1-dense ideals. 6.2.1 ℚmax -- 6 ℙmax variations. 6.2 Variations for obtaining ω1-dense ideals. 6.2.2 ℚ*max -- 6 ℙmax variations. 6.2 Variations for obtaining ω1-dense ideals. 6.2.3 2ℚmax -- 6 ℙmax variations. 6.2 Variations for obtaining ω1-dense ideals. 6.2.4 Weak Kurepa trees and ℚmax -- 6 ℙmax variations. 6.2 Variations for obtaining ω1-dense ideals. 6.2.5 KTℚmax -- 6 ℙmax variations. 6.2 Variations for obtaining ω1-dense ideals. 6.2.6 Null sets and the nonstationary ideal -- 6 ℙmax variations. 6.3 Nonregular ultrafilters on ω1 -- 7 Conditional variations -- 8 ♣ principles for ω1. 8.1 Condensation Principles -- 8 ♣ principles for ω1. 8.2 ℙ♣NSmax -- 8 ♣ principles for ω1. 8.3 The principles, ♣+NS and ♣++NS -- 9 Extensions of L(Γ, ℝ). 9.1 AD+ -- 9 Extensions of L(Γ, ℝ). 9.2 The ℙmax-extension of L(Γ, ℝ) -- 9 Extensions of L(Γ, ℝ). 9.3 The ℚmax-extension of L(Γ, ℝ) -- 9 Extensions of L(Γ, ℝ). 9.4 Chang's Conjecture -- 9 Extensions of L(Γ, ℝ). 9.5 Weak and Strong Reflection Principles -- 9 Extensions of L(Γ, ℝ). 9.6 Strong Chang's Conjecture -- 9 Extensions of L(Γ, ℝ). 9.7 Ideals on ω2 -- 10 Further results. 10.1 Forcing notions and large cardinals -- 10 Further results. 10.2 Coding into L(P(ω1)) -- 10 Further results. 10.3 Bounded forms of Martin's Maximum -- 10 Further results. 10.4 Ω-logic -- 10 Further results. 10.5 Ω-logic and the Continuum Hypothesis -- 10 Further results. 10.6 The Axiom (*)+ -- 10 Further results. 10.7 The Effective Singular Cardinals Hypothesis -- 11 Questions -- Bibliography -- Index |
| Record Nr. | UNINA-9910464264603321 |
|
Woodin W. H (W. Hugh)
|
||
| Berlin ; ; New York : , : W. de Gruyter, , 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The axiom of determinacy, forcing axioms, and the nonstationary ideal / / W. Hugh Woodin
| The axiom of determinacy, forcing axioms, and the nonstationary ideal / / W. Hugh Woodin |
| Autore | Woodin W. H (W. Hugh) |
| Edizione | [Reprint 2011] |
| Pubbl/distr/stampa | Berlin ; ; New York : , : W. de Gruyter, , 1999 |
| Descrizione fisica | 1 online resource (944 pages) |
| Disciplina | 511.3 |
| Collana |
De Gruyter Series in Logic and Its Applications
De Gruyter series in logic and its applications |
| Soggetto topico |
Forcing (Model theory)
Model theory |
| ISBN | 3-11-080473-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- 1 Introduction -- 2 Preliminaries -- 3 The nonstationary ideal -- 4 The ℙmax-extension -- 5 Applications -- 6 ℙmax variations. 6.1 2ℙmax -- 6 ℙmax variations. 6.2 Variations for obtaining ω1-dense ideals. 6.2.1 ℚmax -- 6 ℙmax variations. 6.2 Variations for obtaining ω1-dense ideals. 6.2.2 ℚ*max -- 6 ℙmax variations. 6.2 Variations for obtaining ω1-dense ideals. 6.2.3 2ℚmax -- 6 ℙmax variations. 6.2 Variations for obtaining ω1-dense ideals. 6.2.4 Weak Kurepa trees and ℚmax -- 6 ℙmax variations. 6.2 Variations for obtaining ω1-dense ideals. 6.2.5 KTℚmax -- 6 ℙmax variations. 6.2 Variations for obtaining ω1-dense ideals. 6.2.6 Null sets and the nonstationary ideal -- 6 ℙmax variations. 6.3 Nonregular ultrafilters on ω1 -- 7 Conditional variations -- 8 ♣ principles for ω1. 8.1 Condensation Principles -- 8 ♣ principles for ω1. 8.2 ℙ♣NSmax -- 8 ♣ principles for ω1. 8.3 The principles, ♣+NS and ♣++NS -- 9 Extensions of L(Γ, ℝ). 9.1 AD+ -- 9 Extensions of L(Γ, ℝ). 9.2 The ℙmax-extension of L(Γ, ℝ) -- 9 Extensions of L(Γ, ℝ). 9.3 The ℚmax-extension of L(Γ, ℝ) -- 9 Extensions of L(Γ, ℝ). 9.4 Chang's Conjecture -- 9 Extensions of L(Γ, ℝ). 9.5 Weak and Strong Reflection Principles -- 9 Extensions of L(Γ, ℝ). 9.6 Strong Chang's Conjecture -- 9 Extensions of L(Γ, ℝ). 9.7 Ideals on ω2 -- 10 Further results. 10.1 Forcing notions and large cardinals -- 10 Further results. 10.2 Coding into L(P(ω1)) -- 10 Further results. 10.3 Bounded forms of Martin's Maximum -- 10 Further results. 10.4 Ω-logic -- 10 Further results. 10.5 Ω-logic and the Continuum Hypothesis -- 10 Further results. 10.6 The Axiom (*)+ -- 10 Further results. 10.7 The Effective Singular Cardinals Hypothesis -- 11 Questions -- Bibliography -- Index |
| Record Nr. | UNINA-9910788981403321 |
|
Woodin W. H (W. Hugh)
|
||
| Berlin ; ; New York : , : W. de Gruyter, , 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Descriptive set theory and definable forcing / / Jindřich Zapletal
| Descriptive set theory and definable forcing / / Jindřich Zapletal |
| Autore | Zapletal Jindřich <1969-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2004] |
| Descrizione fisica | 1 online resource (158 p.) |
| Disciplina |
510 s
511.3/22 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Descriptive set theory
Forcing (Model theory) Continuum hypothesis Borel sets |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4704-0391-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""3.5 Other dichotomies""""3.6 Cardinal invariants of the iterated ideals""; ""4 Other forcings""; ""4.1 Illfounded iterations""; ""4.1.1 Strongly proper forcings""; ""4.1.2 The ideals associated with countable length iterations""; ""4.1.3 The properties of the factor ordering""; ""4.1.4 The uncountable length""; ""4.1.5 Sacks forcing iteration""; ""4.2 Towers of ideals""; ""4.2.1 Shooting a club with no infinite subset in the ground model""; ""4.2.2 Shooting a club with finite intersection with every ground model ordertype w set""; ""5 Applications""
""D: Large cardinals""""D.1 The absoluteness results""; ""D.2 The determinacy results"" |
| Record Nr. | UNINA-9910478885503321 |
|
Zapletal Jindřich <1969->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [2004] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Descriptive set theory and definable forcing / / Jindřich Zapletal
| Descriptive set theory and definable forcing / / Jindřich Zapletal |
| Autore | Zapletal Jindřich <1969-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2004] |
| Descrizione fisica | 1 online resource (158 p.) |
| Disciplina |
510 s
511.3/22 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Descriptive set theory
Forcing (Model theory) Continuum hypothesis Borel sets |
| ISBN | 1-4704-0391-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""3.5 Other dichotomies""""3.6 Cardinal invariants of the iterated ideals""; ""4 Other forcings""; ""4.1 Illfounded iterations""; ""4.1.1 Strongly proper forcings""; ""4.1.2 The ideals associated with countable length iterations""; ""4.1.3 The properties of the factor ordering""; ""4.1.4 The uncountable length""; ""4.1.5 Sacks forcing iteration""; ""4.2 Towers of ideals""; ""4.2.1 Shooting a club with no infinite subset in the ground model""; ""4.2.2 Shooting a club with finite intersection with every ground model ordertype w set""; ""5 Applications""
""D: Large cardinals""""D.1 The absoluteness results""; ""D.2 The determinacy results"" |
| Record Nr. | UNINA-9910788746003321 |
|
Zapletal Jindřich <1969->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [2004] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Descriptive set theory and definable forcing / / Jindřich Zapletal
| Descriptive set theory and definable forcing / / Jindřich Zapletal |
| Autore | Zapletal Jindřich <1969-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2004] |
| Descrizione fisica | 1 online resource (158 p.) |
| Disciplina |
510 s
511.3/22 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Descriptive set theory
Forcing (Model theory) Continuum hypothesis Borel sets |
| ISBN | 1-4704-0391-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""3.5 Other dichotomies""""3.6 Cardinal invariants of the iterated ideals""; ""4 Other forcings""; ""4.1 Illfounded iterations""; ""4.1.1 Strongly proper forcings""; ""4.1.2 The ideals associated with countable length iterations""; ""4.1.3 The properties of the factor ordering""; ""4.1.4 The uncountable length""; ""4.1.5 Sacks forcing iteration""; ""4.2 Towers of ideals""; ""4.2.1 Shooting a club with no infinite subset in the ground model""; ""4.2.2 Shooting a club with finite intersection with every ground model ordertype w set""; ""5 Applications""
""D: Large cardinals""""D.1 The absoluteness results""; ""D.2 The determinacy results"" |
| Record Nr. | UNINA-9910807396803321 |
|
Zapletal Jindřich <1969->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [2004] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Descriptive set theory and forcing . Vol. IV : how to prove theorems about Borel sets the hard way / / Arnold W. Miller
| Descriptive set theory and forcing . Vol. IV : how to prove theorems about Borel sets the hard way / / Arnold W. Miller |
| Autore | Miller Arnold W. <1950-> |
| Pubbl/distr/stampa | New York : , : Springer-Verlag, , [1995] |
| Descrizione fisica | 1 online resource (130 pages) |
| Disciplina | 511.3/22 |
| Collana | Lecture notes in logic |
| Soggetto topico |
Set theory
Descriptive set theory Forcing (Model theory) Borel sets |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | I. On the length of Borel hierarchies -- II. Analytic sets -- III. Classical Separation Theorems -- IV. Gandy Forcing. |
| Record Nr. | UNISA-996210817603316 |
|
Miller Arnold W. <1950->
|
||
| New York : , : Springer-Verlag, , [1995] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Descriptive set theory and forcing . Vol. IV : how to prove theorems about Borel sets the hard way / / Arnold W. Miller
| Descriptive set theory and forcing . Vol. IV : how to prove theorems about Borel sets the hard way / / Arnold W. Miller |
| Autore | Miller Arnold W. <1950-> |
| Pubbl/distr/stampa | New York : , : Springer-Verlag, , [1995] |
| Descrizione fisica | 1 online resource (130 pages) |
| Disciplina | 511.3/22 |
| Collana | Lecture notes in logic |
| Soggetto topico |
Set theory
Descriptive set theory Forcing (Model theory) Borel sets |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | I. On the length of Borel hierarchies -- II. Analytic sets -- III. Classical Separation Theorems -- IV. Gandy Forcing. |
| Record Nr. | UNINA-9910482885403321 |
|
Miller Arnold W. <1950->
|
||
| New York : , : Springer-Verlag, , [1995] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fine structure and class forcing [[electronic resource] /] / Sy D. Friedman
| Fine structure and class forcing [[electronic resource] /] / Sy D. Friedman |
| Autore | Friedman Sy D. <1953-> |
| Edizione | [Reprint 2011] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Walter de Gruyter, 2000 |
| Descrizione fisica | 1 online resource (231 p.) |
| Disciplina | 511.3/22 |
| Collana | De Gruyter Series in Logic and Its Applications |
| Soggetto topico | Forcing (Model theory) |
| Soggetto genere / forma | Electronic books. |
| ISBN | 3-11-080911-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Preface -- Contents -- Chapter 1. The Σ* Approach to the Fine Structure of L -- Chapter 2. Forcing -- Chapter 3. Construction of Generic Classes -- Chapter 4. The Coding Theorem -- Chapter 5. The Genericity Problem -- Chapter 6. The Π½-Singleton Problem -- Chapter 7. The Admissibility Spectrum Problem -- Chapter 8. Further Applications of Class Forcing -- Some Open Problems -- References -- Index |
| Record Nr. | UNINA-9910462737703321 |
|
Friedman Sy D. <1953->
|
||
| Berlin ; ; New York, : Walter de Gruyter, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
Forcing (Model theory)
(29)
- Set theory (8)
- Axiom of choice (6)
- Continuum hypothesis (6)
- Toposes (6)