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.
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. | UNINA-9910482885403321 |
|
Miller Arnold W. <1950->
|
||
| New York : , : Springer-Verlag, , [1995] | ||
| 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 | ||
| ||
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 | ||
| ||
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) |
| ISBN | 3-11-080911-7 |
| Classificazione | SK 130 |
| 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-9910785629203321 |
|
Friedman Sy D. <1953->
|
||
| Berlin ; ; New York, : Walter de Gruyter, 2000 | ||
| 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) |
| ISBN | 3-11-080911-7 |
| Classificazione | SK 130 |
| 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-9910827120503321 |
|
Friedman Sy D. <1953->
|
||
| Berlin ; ; New York, : Walter de Gruyter, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Foundations of mathematics : logic at Harvard : essays in honor of Hugh Woodin's 60th birthday, March 27-29, 2015, Harvard University, Cambridge, MA / / Andres Eduardo Caicedo [and three others], editors
| Foundations of mathematics : logic at Harvard : essays in honor of Hugh Woodin's 60th birthday, March 27-29, 2015, Harvard University, Cambridge, MA / / Andres Eduardo Caicedo [and three others], editors |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 2017 |
| Descrizione fisica | 1 online resource (346 pages) |
| Disciplina | 511.3/22 |
| Collana | Contemporary Mathematics |
| Soggetto topico |
Set theory
Continuum hypothesis |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4704-4079-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910479986703321 |
| Providence, Rhode Island : , : American Mathematical Society, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Foundations of mathematics : logic at Harvard : essays in honor of Hugh Woodin's 60th birthday, March 27-29, 2015, Harvard University, Cambridge, MA / / Andres Eduardo Caicedo [and three others], editors
| Foundations of mathematics : logic at Harvard : essays in honor of Hugh Woodin's 60th birthday, March 27-29, 2015, Harvard University, Cambridge, MA / / Andres Eduardo Caicedo [and three others], editors |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 2017 |
| Descrizione fisica | 1 online resource (346 pages) |
| Disciplina | 511.3/22 |
| Collana | Contemporary mathematics |
| Soggetto topico |
Set theory
Continuum hypothesis |
| ISBN | 1-4704-4079-2 |
| Classificazione | 03E5503E6003E5703E4503E3503E1500A3003D30 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910794720803321 |
| Providence, Rhode Island : , : American Mathematical Society, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Foundations of mathematics : logic at Harvard : essays in honor of Hugh Woodin's 60th birthday, March 27-29, 2015, Harvard University, Cambridge, MA / / Andres Eduardo Caicedo [and three others], editors
| Foundations of mathematics : logic at Harvard : essays in honor of Hugh Woodin's 60th birthday, March 27-29, 2015, Harvard University, Cambridge, MA / / Andres Eduardo Caicedo [and three others], editors |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 2017 |
| Descrizione fisica | 1 online resource (346 pages) |
| Disciplina | 511.3/22 |
| Collana | Contemporary mathematics |
| Soggetto topico |
Set theory
Continuum hypothesis |
| ISBN | 1-4704-4079-2 |
| Classificazione | 03E5503E6003E5703E4503E3503E1500A3003D30 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910807769803321 |
| Providence, Rhode Island : , : American Mathematical Society, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fuzzy relational calculus [[electronic resource] ] : theory, applications and software (with CD-ROM) / / Ketty Peeva, Yordan Kyosev
| Fuzzy relational calculus [[electronic resource] ] : theory, applications and software (with CD-ROM) / / Ketty Peeva, Yordan Kyosev |
| Autore | Peeva Ketty |
| Pubbl/distr/stampa | New Jersey, : World Scientific, 2004 |
| Descrizione fisica | 1 online resource (305 p.) |
| Disciplina | 511.3/22 |
| Altri autori (Persone) | KyosevYordan |
| Collana | Advances in fuzzy systems |
| Soggetto topico |
Fuzzy relational calculus
Fuzzy mathematics |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-89706-X
9786611897062 981-270-133-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Preface; Contents; PART 1 FUZZY RELATIONAL CALCULUS; Chapter 1 Introduction; 1.1 Basic Concepts; 1.2 Images and Compositions; 1.3 Basic Problems in Fuzzy Relational Calculus; 1.4 Aspects in Artificial Intelligence; 1.5 Fuzzy Finite Machines and Fuzzy Algebras; 1.6 Fuzzy Grammars in Syntactic Pattern Recognition; 1.7 Bibliographical Notes; Chapter 2 Fuzzy Relations. Direct Problem Resolution; 2.1 Basic Notions; 2.2 Fuzzy Relations - Compositions and Properties; 2.3 Fuzzy Relations and Membership Matrices; 2.4 Bibliographical Notes; Chapter 3 Fuzzy Relational Equations
3.1 Inverse Problem Formulation3.2 Fuzzy Linear Equations; 3.3 Fuzzy Linear Systems of Equations; 3.4 Solving Fuzzy Relational Equations; 3.5 Bibliographical Notes; Chapter 4 Fuzzy Relational Inclusions; 4.1 Preliminaries; 4.2 Fuzzy Linear Systems of Inequalities; 4.3 Fuzzy Relational Inclusions; 4.4 Applications in Fuzzy Linear Programming; 4.5 Bibliographical Notes; Chapter 5 Fuzzy Linear Systems - Dual Approach; 5.1 Basic Concepts; 5.2 Solving Fuzzy Linear Systems; 5.3 Fuzzy Relational Equations; 5.4 Dual Approach to Inverse Problem Resolution; 5.5 Bibliographical Notes Chapter 6 Direct and Inverse Problems in Intuitionistic Fuzzy Relational Calculus6.1 Intuitionistic Fuzzy Relations. Compositions; 6.2 Intuitionistic Fuzzy Matrices. Direct and Inverse Problems; 6.3 Intuitionistic Fuzzy Relational Equations; 6.4 Bibliographical Notes; PART 2 FUZZY RELATIONAL CALCULUS - APPLICATIONS; Chapter 7 L-Fuzzy Finite Machines; 7.1 L-Fuzzy Finite Machines. Behavior; 7.2 Equivalences; 7.3 Reduction and Minimization; 7.4 Intuitionistic Fuzzy Finite Machines; 7.5 Bibliographical Notes; Chapter 8 Fuzzy Languages in Syntactic Pattern Recognition 8.1 Finite L-Fuzzy Acceptors and Regular L-Fuzzy Languages8.2 Intuitionistic Fuzzy Languages in Syntactic Pattern Recognition; 8.3 Bibliographical Notes; Chapter 9 Applications as Inference Engine; 9.1 Architecture of System with Artificial Intelligence; 9.2 Fuzzy Linear System of Equations as Inference Engine; 9.3 Intuitionistic Fuzzy Linear System as Inference Engine; 9.4 Bibliographical Notes; PART 3 FUZZY RELATIONAL CALCULUS - SOFTWARE; Chapter 10 Software Description; 10.1 Unary Matrix Operations; 10.2 Binary Matrix Operations; 10.3 Compositions; 10.4 Inverse Problem 10.5 Intuitionistic Fuzzy Relational Calculus10.6 Engineering Examples; PART 4 APPENDICES; Appendix A Solved Samples; Appendix B List of Symbols; Appendix C List of Abbreviations; Bibliography; Index |
| Record Nr. | UNINA-9910451343403321 |
|
Peeva Ketty
|
||
| New Jersey, : World Scientific, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
