Canonical Ramsey Theory on Polish Spaces

Preface 1. Introduction 2. Background facts 3. Analytic equivalence relations and models of set theory 4. Classes of equivalence relations 5. Games and the Silver property 6. The game ideals 7. Benchmark equivalence relations 8. Ramsey-type ideals 9. Product-type ideals 10. The countable support iteration ideals References Index.

[1]  Joseph R. Schoenfield.  Recursion theory , 1993 .

[2]  Alain Louveau,et al.  A Glimm-Effros dichotomy for Borel equivalence relations , 1990 .

[3]  Between Maharam's and von Neumann's problems , 2004, math/0401134.

[4]  Sabine Koppelberg,et al.  Handbook of Boolean Algebras , 1989 .

[5]  Marcin Sabok.  Complexity of Ramsey null sets , 2010, 1003.5983.

[6]  S. Todorcevic,et al.  Perfect-Set Properties inL(R)[U]☆ , 1998 .

[7]  Saharon Shelah,et al.  Examples for Souslin forcing , 1993, math/9310224.

[8]  Juris Steprans.  A Very Discontinuous Borel Function , 1993, J. Symb. Log..

[9]  A. Rajchman.  Sur l'unicité du développement trigonométrique , 1922 .

[10]  W. Hugh Woodin.  The cardinals below |[omega1] , 2006, Ann. Pure Appl. Log..

[11]  P. Erdös,et al.  A combinatorial theorem , 1950 .

[12]  Slawomir Solecki.  Covering Analytic Sets by Families of Closed Sets , 1994, J. Symb. Log..

[13]  A. Kechris,et al.  The Descriptive Set Theory of Polish Group Actions: BETTER TOPOLOGIES , 1996 .

[14]  Vladimir Pestov,et al.  Dynamics of Infinite-dimensional Groups - The Ramsey-Dvoretzky-Milman Phenomenon , 2006, University lecture series.

[15]  Matthew Foreman,et al.  Large Cardinals and Definable Counterexamples to the Continuum Hypothesis , 1995, Ann. Pure Appl. Log..

[16]  M. Zelený.  The structure of the σ-ideal of σ-porous sets , 1999 .

[17]  Marcia J. Groszek.  Combinatorics on Ideals and Forcing with Trees , 1987, J. Symb. Log..

[18]  Stevo Todorcevic,et al.  Introduction to Ramsey Spaces , 2010 .

[19]  Marcin Sabok.  Forcing, games and families of closed sets , 2009, 0910.2318.

[20]  Jindrich Zapletal.  Preserving P-points in definable forcing , 2009 .

[21]  Vladimir Kanovei,et al.  Borel equivalence relations : structure and classification , 2008 .

[22]  Thomas Jech,et al.  Weak Distributivity, A Problem of Von Neumann and the Mystery of Measurability , 2006, Bulletin of Symbolic Logic.

[23]  Saharon Shelah,et al.  Properness Without Elementaricity , 2004 .

[24]  Greg Hjorth,et al.  Classification and Orbit Equivalence Relations , 1999 .

[25]  James M. Henle.  The Consistency of One Fixed Omega , 1995, J. Symb. Log..

[26]  Fred Galvin,et al.  Borel sets and Ramsey's theorem , 1973, Journal of Symbolic Logic.

[27]  Jan Mycielski,et al.  Independent sets in topological algebras , 1964 .

[29]  Miroslav ZelenJan Pelant.  The structure of the -ideal of -porous sets , 2004 .

[30]  Jindrich Zapletal,et al.  Forcing Properties of Ideals of Closed Sets , 2010, The Journal of Symbolic Logic.

[31]  Jörg Brendle,et al.  Regularity Properties for Dominating Projective Sets , 1995, Ann. Pure Appl. Log..

[32]  Jindřich Zapletal.  Descriptive Set Theory and Definable Forcing , 2004 .

[33]  Jindrich Zapletal.  Isolating cardinal Invariants , 2003, J. Math. Log..

[35]  Saharon Shelah,et al.  Norms on Possibilities I: Forcing With Trees and Creatures , 1998, math/9807172.

[36]  Pierre Matet.  Some Filters of Partitions , 1988, J. Symb. Log..

[37]  Piotr Zakrzewski,et al.  On Borel mappings and σ-ideals generated by closed sets , 2012 .

[38]  B. Ollier,et al.  Happy families , 1997, Annals of the rheumatic diseases.

[39]  Serge Grigorieff,et al.  Combinatorics on ideals and forcing , 1971 .

[40]  Zajìček,et al.  POROSITY AND σ-POROSITY , 1987 .

[41]  Alain Louveau,et al.  The classification of hypersmooth Borel equivalence relations , 1997 .

[42]  Vladimir Kanovei.  On Non-Wellfounded Iterations of The Perfect Set Forcing , 1999, J. Symb. Log..

[43]  Alan D. Taylor,et al.  A Canonical Partition Relation for Finite Subsets of omega , 1976, J. Comb. Theory, Ser. A.

[44]  Jacek Cichon,et al.  Decomposing Baire Functions , 1991, J. Symb. Log..

[45]  Alexander S. Kechris,et al.  Topics in orbit equivalence , 2004 .

[46]  Otmar Spinas,et al.  Dominating and Unbounded Free Sets , 1999, J. Symb. Log..

[47]  Andrzej Roslanowski,et al.  n–localization property , 2005, Journal of Symbolic Logic.

[48]  Luděk Zajíček,et al.  Inscribing compact non-σ-porous sets into analytic non-σ-porous sets , 2005 .

[49]  Péter Komjáth.  A Set Mapping with No Infinite Free Subsets , 1991, J. Symb. Log..

[50]  Greg Hjorth,et al.  Orbit cardinals: On the effective cardinalities arising as quotient spaces of the formX/G whereG acts on a Polish spaceX , 1999 .

[51]  Lev Bukovský,et al.  The Structure of the Real Line , 2011 .

[52]  Tetsuya Ishiu.  α-Properness and Axiom A , 2005 .

[53]  Marcin Sabok.  σ-Continuity and related forcings , 2009, Arch. Math. Log..

[54]  Calvin C. Moore,et al.  Ergodic equivalence relations, cohomology, and von Neumann algebras. II , 1977 .

[55]  Alexander S. Kechris,et al.  On a notion of smallness for subsets of the Baire space , 1977 .

[56]  Joan Bagaria,et al.  Parameterized partition relations on the real numbers , 2009, Arch. Math. Log..

[57]  Otmar Spinas.  Analytic countably splitting families , 2004, J. Symb. Log..

[58]  Krzysztof Mazur,et al.  $F_σ$-ideals and $ω_1 ω^*_1$-gaps in the Boolean algebras Ρ(ω)/I. , 1991 .

[59]  Otmar Spinas.  Canonical Behavior of Borel Functions on superperfect Rectangles , 2001, J. Math. Log..

[60]  Saharon Shelah,et al.  Ramsey theorems for product of finite sets with submeasures , 2011, Comb..

[61]  T. Jech,et al.  Complete CCC Boolean Algebras, the Order Sequential Topology, and a Problem of Von Neumann , 2003, math/0312473.

[62]  Jack Howard Silver,et al.  Every analytic set is Ramsey , 1970, Journal of Symbolic Logic.

[63]  Bernd Voigt,et al.  Canonical Forms of Borel-Measurable Mappings Delta: [omega]omega -> R , 1985, J. Comb. Theory, Ser. A.

[64]  Patrick Suppes,et al.  Axiomatic set theory , 1969 .

[65]  Alexander S. Kechris,et al.  The Structure of σ-Ideals of Compact Sets , 1987 .

[66]  A. Kanamori.  The Higher Infinite , 1994 .

[67]  J. Lindenstrauss,et al.  Fréchet Differentiability of Lipschitz Functions and Porous Sets in Banach Spaces , 2012 .

[68]  W. Hugh Woodin,et al.  Complexity of Reals in Inner Models of Set Theory , 1998, Ann. Pure Appl. Log..

[69]  Alain Louveau,et al.  Descriptive Set Theory and the Structure of Sets of Uniqueness , 1987 .

[70]  J. Silver,et al.  Counting the number of equivalence classes of Borel and coanalytic equivalence relations , 1980 .

[71]  Jacques Stern,et al.  On Lusin's restricted continuum problem , 1984 .

[72]  Greg Hjorth,et al.  Actions by the classical Banach spaces , 2000, Journal of Symbolic Logic.

[73]  Haim Judah,et al.  Set Theory: On the Structure of the Real Line , 1995 .

[74]  Gabriel Debs.  Polar -ideals of compact sets , 1995 .

[75]  Richard Ketchersid,et al.  A trichotomy theorem in natural models of AD , 2010 .

[76]  Saharon Shelah,et al.  Proper and Improper Forcing , 1998 .

[77]  Su Gao.  Invariant Descriptive Set Theory , 2008 .

[78]  Benjamin Weiss,et al.  An amenable equivalence relation is generated by a single transformation , 1981, Ergodic Theory and Dynamical Systems.

[79]  Dag Normann,et al.  Logic Colloquium 2005 , 2007 .

[80]  Diego Rojas-Rebolledo.  Using determinacy to inscribe compact non-σ-porous sets into non-σ-porous projective sets. , 2007 .

[81]  Greg Hjorth.  Borel equivalence relations which are highly unfree , 2008, J. Symb. Log..

[82]  Ramsey and Freeness Properties of Polish Planes , 2001 .

[83]  Marcia J. Groszek.  omega*1 as an Initial Segment of the c-Degrees , 1994, J. Symb. Log..

[84]  Christian Rosendal,et al.  Cofinal families of Borel equivalence relations and quasiorders , 2005, Journal of Symbolic Logic.

[85]  Slawomir Solecki,et al.  Analytic Ideals and Their Applications , 1999, Ann. Pure Appl. Log..

[86]  Jaroslav Nesetril,et al.  Ramsey Classes and Homogeneous Structures , 2005, Combinatorics, Probability and Computing.