Foundations of Mathematics.

This volume contains the proceedings of the Logic at Harvard conference in honor of W. Hugh Woodin's 60th birthday, held March 27-29, 2015, at Harvard University. It presents a collection of papers related to the work of Woodin, who has been one of the leading figures in set theory since the ea...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Caicedo, Andrés Eduardo
Otros Autores: Cummings, James, Koellner, Peter, Larson, Paul B.
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Providence : American Mathematical Society, 2017.
Colección:Contemporary Mathematics.
Temas:
Set theory.
Continuum hypothesis.
Mathematical logic and foundations > Computability and recursion theory > Other degrees and reducibilities.
Théorie des ensembles.
Hypothèse du continu.
Continuum hypothesis
Set theory
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000Mu 4500
001 EBOOKCENTRAL_ocn993775177
003 OCoLC
005 20240329122006.0
006 m o d
007 cr |n|---|||||
008 170715s2017 riu o 000 0 eng d
040 |a EBLCP  |b eng  |e pn  |c EBLCP  |d OCLCQ  |d LOA  |d OCLCO  |d OCLCF  |d K6U  |d OCLCO  |d OCLCQ  |d OCLCO 
066 |c (S 
020 |a 9781470440794 
020 |a 1470440792 
029 1 |a AU@  |b 000069466654 
035 |a (OCoLC)993775177 
050 4 |a QA248.F6945 2017 
082 0 4 |a 511.322 
049 |a UAMI 
100 1 |a Caicedo, Andrés Eduardo. 
245 1 0 |a Foundations of Mathematics. 
260 |a Providence :  |b American Mathematical Society,  |c 2017. 
300 |a 1 online resource (346 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Contemporary Mathematics ;  |v v. 690 
588 0 |a Print version record. 
505 8 |6 880-01  |a 6. Applications to extreme amenability and calculation of the universal minimal flow7. Reformulation of the Ramsey Property for homogeneous measure algebras; References; Topological Ramsey numbers and countable ordinals; 1. Introduction; 2. Preliminaries; 3. The closed pigeonhole principle for ordinals; 4. The ordinal omega plus one; 5. Stepping up by one; 6. Ordinals less than omega squared; 7. The ordinal omega squared; 8. The anti-tree partial ordering on ordinals; 9. The ordinal omega squared plus one; 10. The weak topological Erdős-Milner theorem; 11. Questions; References. 
505 8 |a Open determinacy for class games1. Introduction; 2. A broader context; 3. The truth-telling game; 4. Clopen determinacy is equivalent over \GBC to \ETR; 5. Proving open determinacy in strong theories; 6. Questions; References; Open problems on ultrafilters and some connections to the continuum; 1. The cut spectrum; 2. A uniqueness theorem; 3. On internal maps; 4. Bases for goodness; Appendix; References; Obtaining Woodin's cardinals; 1. Introduction; 2. The Cantorian versus the Zermelian realms; 3. Reflection; 4. The Ackermannian realm and reflection; 5. Global Reflection. 
500 |a 2. Kunen's Theorem and Rank-into-Rank Embeddings. 
520 |a This volume contains the proceedings of the Logic at Harvard conference in honor of W. Hugh Woodin's 60th birthday, held March 27-29, 2015, at Harvard University. It presents a collection of papers related to the work of Woodin, who has been one of the leading figures in set theory since the early 1980s. The topics cover many of the areas central to Woodin's work, including large cardinals, determinacy, descriptive set theory and the continuum problem, as well as connections between set theory and Banach spaces, recursion theory, and philosophy, each reflecting a period of Woodin's career. Oth. 
590 |a ProQuest Ebook Central  |b Ebook Central Academic Complete 
650 0 |a Set theory. 
650 0 |a Continuum hypothesis. 
650 4 |a Mathematical logic and foundations  |x Computability and recursion theory  |x Other degrees and reducibilities. 
650 6 |a Théorie des ensembles. 
650 6 |a Hypothèse du continu. 
650 7 |a Continuum hypothesis  |2 fast 
650 7 |a Set theory  |2 fast 
700 1 |a Cummings, James. 
700 1 |a Koellner, Peter. 
700 1 |a Larson, Paul B. 
776 0 8 |i Print version:  |a Caicedo, Andrés Eduardo.  |t Foundations of Mathematics.  |d Providence : American Mathematical Society, ©2017  |z 9781470422561 
830 0 |a Contemporary Mathematics. 
856 4 0 |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=4908316  |z Texto completo 
880 0 |6 505-00/(S  |a Cover; Title page; Contents; Preface; Participants in the group picture; Bibliography of W. Hugh Woodin; Norming infinitesimals of large fields; 1. Introduction; 2. Ordered groups and fields; 3. Structure of ordered sets, groups, and fields; 4. Related questions with CH; 5. The independence of NDH; 6. Norming larger fields and super-real fields; References; The enumeration degrees: Local and global structural interactions; 1. Introduction; 2. Preliminaries; 3. Step 1: An indexing of the total Δ(b2 degrees; 4. Step 2: An indexing of the total \IT(\zeroep) degrees. 
880 8 |6 505-00/(S  |a 5. Step 3: An indexing of the total Δ(b3 degrees6. Applications; 7. Determining the low enumeration degrees from the low co-d.c.e. and the co-c.e. degrees; 8. Determining the low co-d.c.e. enumeration degrees from the co-c.e. degrees; References; Ramsey properties of finite measure algebras and topological dynamics of the group of measure preserving automorphisms: Some results and an open problem; 1. Introduction; 2. Preliminaries; 3. Finite ordered measure algebras; 4. A dense subgroup of the group of measure preserving automorphisms; 5. Homogeneous measure algebras and the Ramsey Property. 
880 8 |6 505-01/(S  |a 6. Is GRP a reflection principle7. Strengthening GRP; 8. Conclusion; References; Woodin's axiom (*), or Martin's Maximum, or both; 1. Introduction; 2. From ⁺⁺ and (*) to ^{*, ++}; 3.-iterable mice and -iterable ℙ_{ } conditions; 4. (*)_{Γ^{∞}} is equivalent to Γ^{∞}- ^{++, *}; 5. Appendix: UBH and universally Baire iteration strategies; References; Translation procedures in descriptive inner model theory; 1. Introduction; 2. Translatable structures; 3. A question of Wilson; References; Implications of very large cardinals; 1. Introduction. 
938 |a ProQuest Ebook Central  |b EBLB  |n EBL4908316 
994 |a 92  |b IZTAP 

Ejemplares similares