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 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 | [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-9910806265303321 |
|
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 | ||
| ||
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-9910825023503321 |
|
Woodin W. H (W. Hugh)
|
||
| Berlin ; ; New York : , : W. de Gruyter, , 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Beginning model theory : the completeness theorem and some consequences / by Jane Bridge
| Beginning model theory : the completeness theorem and some consequences / by Jane Bridge |
| Autore | Bridge, Jane |
| Pubbl/distr/stampa | Oxford : Clarendon Press, 1977 |
| Descrizione fisica | vii, 143 p. ; 25 cm. |
| Disciplina | 511.3 |
| Collana | Oxford logic guides |
| Soggetto topico |
Completeness theorem
Model theory |
| ISBN | 0198531575 |
| Classificazione | AMS 03C |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000716569707536 |
|
Bridge, Jane
|
||
| Oxford : Clarendon Press, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Boolean-valued models and independence proofs in set theory / by J. L. Bell
| Boolean-valued models and independence proofs in set theory / by J. L. Bell |
| Autore | Bell, John L. |
| Pubbl/distr/stampa | Oxford : Clarendon Press, 1977 |
| Descrizione fisica | xviii, 126 p. ; 24 cm. |
| Disciplina | 511.32 |
| Collana | Oxford logic guides |
| Soggetto topico |
Axiomatic set theory
Boolean algebra Induction Model theory |
| ISBN | 0198531680 |
| Classificazione | AMS 03E |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000720899707536 |
|
Bell, John L.
|
||
| Oxford : Clarendon Press, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Bounded variable logics and counting : a study in finite models
| Bounded variable logics and counting : a study in finite models |
| Autore | Otto Martin |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | [Place of publication not identified], : Springer, 1997 |
| Descrizione fisica | 1 online resource (190 pages) |
| Disciplina | 511.3/3 |
| Collana | Lecture notes in logic Bounded variable logics and counting |
| Soggetto topico |
Model theory
Computational complexity Mathematics Physical Sciences & Mathematics Mathematical Theory |
| ISBN | 3-662-21676-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Lecture Notes in Logic 9 Bounded Variable Logics and Counting A Study in Finite Models -- Bounded Variable Logics and Counting -- Copyright -- Preface -- Table of Contents -- 0. Introduction -- 1. Definitions and Preliminaries -- 2. The Games and Their Analysis -- 3. The Invariants -- 4. Fixed-Point Logic with Counting -- 5. Related Lindström Extensions -- 6. Canonization Problems -- 7. Canonization for Two Variables -- Bibliography -- Index. |
| Record Nr. | UNISA-996210818203316 |
|
Otto Martin
|
||
| [Place of publication not identified], : Springer, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Bounded variable logics and counting : a study in finite models
| Bounded variable logics and counting : a study in finite models |
| Autore | Otto Martin |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | [Place of publication not identified], : Springer, 1997 |
| Descrizione fisica | 1 online resource (190 pages) |
| Disciplina | 511.3/3 |
| Collana | Lecture notes in logic Bounded variable logics and counting |
| Soggetto topico |
Model theory
Computational complexity Mathematics Physical Sciences & Mathematics Mathematical Theory |
| ISBN | 3-662-21676-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Lecture Notes in Logic 9 Bounded Variable Logics and Counting A Study in Finite Models -- Bounded Variable Logics and Counting -- Copyright -- Preface -- Table of Contents -- 0. Introduction -- 1. Definitions and Preliminaries -- 2. The Games and Their Analysis -- 3. The Invariants -- 4. Fixed-Point Logic with Counting -- 5. Related Lindström Extensions -- 6. Canonization Problems -- 7. Canonization for Two Variables -- Bibliography -- Index. |
| Record Nr. | UNINA-9910482885703321 |
|
Otto Martin
|
||
| [Place of publication not identified], : Springer, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Categoricity / John T. Baldwin
| Categoricity / John T. Baldwin |
| Autore | Baldwin, John T. |
| Pubbl/distr/stampa | Providence, R. I. : American Mathematical Society, c2009 |
| Descrizione fisica | xi, 235 p. : ill. ; 26 cm |
| Disciplina | 511.3 |
| Collana | University lecture series, 1047-3998 ; 50 |
| Soggetto topico |
Completeness theorem
Model theory |
| ISBN | 9780821848937 |
| Classificazione |
AMS 03C30
AMS 03C45 AMS 03C52 LC QA9.67.B35 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001836079707536 |
|
Baldwin, John T.
|
||
| Providence, R. I. : American Mathematical Society, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Soggetto topico
-
Model theory
(147)
- Set theory (14)
- Logic, Symbolic and mathematical (13)
- Toposes (7)
- Trees (Graph theory) (7)