Infinite combinatorics and definability

DOI10.1016/0168-0072(89)90013-4zbMath0667.03037OpenAlexW2013432018MaRDI QIDQ1117219

Arnold W. Miller

Publication date: 1989

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(89)90013-4

zbMATH Keywords

forcingHamel basisBorel setsmaximal almost disjoint families\(\Delta\)-system lemmaGalvin-Prikry theorem

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Other combinatorial set theory (03E05)

Related Items (52)

Souslin partitions of products of finite sets ⋮ Compact subsets of the first Baire class ⋮ TREE FORCING AND DEFINABLE MAXIMAL INDEPENDENT SETS IN HYPERGRAPHS ⋮ Regularity properties for dominating projective sets ⋮ Coanalytic ultrafilter bases ⋮ Parametrizing the abstract Ellentuck theorem ⋮ A Π¹₁-uniformization principle for reals ⋮ Two point sets with additional properties ⋮ Definable MAD families and forcing axioms ⋮ Co-analytic mad families and definable wellorders ⋮ On the scope of the Effros theorem ⋮ Mazurkiewicz sets with no well-ordering of the reals ⋮ Projective well orders and coanalytic witnesses ⋮ COMPLEXITY OF INDEX SETS OF DESCRIPTIVE SET-THEORETIC NOTIONS ⋮ -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders ⋮ Zero-dimensional \(\sigma \)-homogeneous spaces ⋮ A Borel maximal eventually different family ⋮ Cohen preservation and independence ⋮ The Borel partition spectrum at successors of singular cardinals ⋮ Projective mad families ⋮ Projective Hausdorff gaps ⋮ A coanalytic Menger group that is not $\sigma$-compact ⋮ On the non-existence of mad families ⋮ 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 ⋮ Definable sets of generators in maximal cofinitary groups ⋮ Definable Hamel bases and ${\sf AC}_\omega ({\mathbb R})$ ⋮ Beyond Erdős-Kunen-Mauldin: shift-compactness properties and singular sets ⋮ Unconditional families in Banach spaces ⋮ Orthogonal families of real sequences ⋮ Partitions of \(2^\omega\) and completely ultrametrizable spaces ⋮ Three-point sets ⋮ On translations of subsets of the real line ⋮ Regular variation without limits ⋮ The complexity of maximal cofinitary groups ⋮ Maximal chains in the Turing degrees ⋮ THE COUNTERPARTS TO STATEMENTS THAT ARE EQUIVALENT TO THE CONTINUUM HYPOTHESIS ⋮ Parametrized Ramsey theory of infinite block sequences of vectors ⋮ A co-analytic maximal set of orthogonal measures ⋮ Dichotomy and infinite combinatorics: the theorems of Steinhaus and Ostrowski ⋮ MADNESS IN VECTOR SPACES ⋮ Ramsey families of subtrees of the dyadic tree ⋮ Parameterized partition relations on the real numbers ⋮ Definable maximal independent families ⋮ A CO-ANALYTIC COHEN-INDESTRUCTIBLE MAXIMAL COFINITARY GROUP ⋮ Some algebraic equivalent forms of $\mathbb {R}\subseteq L$ ⋮ Perfect-set properties in \(L(\mathbb{R})[U\)] ⋮ Infinite combinatorics and the foundations of regular variation ⋮ Every zero-dimensional homogeneous space is strongly homogeneous under determinacy ⋮ Semiselective coideals ⋮ On the Laczkovich-Komjáth property of sigma-ideals ⋮ Analytic and coanalytic families of almost disjoint functions ⋮ Definable towers

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Families close to disjoint ones
• On the limit superior of analytic sets
• Can you take Solovay's inaccessible away?
• Descriptive set theory
• Set theory. An introduction to independence proofs
• On co-\(\kappa\)-Souslin relations
• A model of set-theory in which every set of reals is Lebesgue measurable
• Some Results Connected with a Problem of Erdos. II
• On a Problem of Erdos on Sequences and Measurable Sets
• Borel Orderings
• Products of Infinitely Many Perfect Trees
• Iterated perfect-set forcing
• Compacts de fonctions mesurables et filtres non mesurables
• Large Sets not Containing Images of a Given Sequence
• A Partition Theorem For Perfect Sets
• Some additive properties of sets of real numbers
• A new proof that analytic sets are Ramsey
• Happy families
• Borel sets and Ramsey's theorem
• A Problem of Incidence
• Algebraic independence and measure
• Every analytic set is Ramsey
• Independent sets in topological algebras
• Some Remarks on Set Theory
• Measure and other properties of a Hamel basis

This page was built for publication: Infinite combinatorics and definability