|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910808666003321 |
|
|
Titolo |
Set theory and its applications : annual Boise Extravaganza in Set Theory, Boise, Idaho, 1995-2010 / / L. Babinkostova [and three others], editors |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Providence, Rhode Island : , : American Mathematical Society, , [2011] |
|
©2011 |
|
|
|
|
|
|
|
|
|
ISBN |
|
0-8218-8212-0 |
0-8218-7393-8 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (346 p.) |
|
|
|
|
|
|
Collana |
|
Contemporary mathematics, ; 533 , 0271-4132 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Table of Contents -- Intro -- Contents -- Preface -- Past Invited Speakers at BEST -- Some Positive Results in the Context of Universal Models -- A Survey of D-spaces -- Combinatorics of Filters and Ideals -- More Structural Consequences of AD -- Show Subsections -- αi-selection Principles and Games -- Jensen's Diamond Principle and Its Relatives -- Paracompactness and Normality in Box Products: Old and New -- Some Problems and Techniques in Set-Theoretic Topology -- Menger's and Hurewicz's Problems: Solutions from The Book and Refinements -- 1. Menger's Conjecture -- 2. Hurewicz's Conjecture -- 3. Strongly Hurewicz sets of reals, in ZFC -- 4. A visit at the border of ZFC -- 5. The Hurewicz Problem -- Acknowledgments -- References -- Appendix A. Sf (A ,B) -- A Trichotomy Theorem in Natural Models of AD+ -- 1. Introduction -- 2. Preliminaries -- 3. AD+ -- 4. The dichotomy theorem -- 5. The countable-finite game in natural models of AD+ -- 6. Questions -- References -- The Coinitialities of Efimov Spaces -- Uniforming n-place Functions on Well Founded Trees -- A Classical Proof of the Kanovei-Zapletal Canonization -- Lords of the Iteration. |
|
|
|
|
|
|
|