Can you take Solovay's inaccessible away?

DOI10.1007/BF02760522zbMath0596.03055MaRDI QIDQ1078178

Publication date: 1984

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

category measure Martin's axiom axiom of choice inaccessible cardinal forcing extension Baire category random real Baire property Magidor-Malitz quantifiers Suslin tree Cohen- real Lebesgue measurable sets of reals non- measurable set sweet forcing

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Axiom of choice and related propositions (03E25)

Related Items (only showing first 100 items - show all)

A mathematical proof of S. Shelah's theorem on the measure problem and related results ⋮ Infinite populations, choice and determinacy ⋮ Variations on a game of Gale. II: Markov strategies ⋮ The strength of measurability hypotheses ⋮ On measure and category ⋮ Sweet \& sour and other flavours of ccc forcing notions ⋮ Fragments of Martin's axiom and \(\Delta_ 3^ 1\) sets of reals ⋮ Paracompact in \(\mathsf{ZFC}\); CWN screenable Dowker in \(\mathsf{ZF}+\mathsf{AD}\) ⋮ 1998–1999 Winter Meeting of the Association for Symbolic Logic ⋮ Strong Cardinals and Sets of Reals in Lω1(ℝ) ⋮ Prolonged analytic connected group actions are generically free ⋮ Measure theory and higher order arithmetic ⋮ Regularity properties for dominating projective sets ⋮ Effect of a random real on \(\kappa\to \left(\kappa,{\alpha \choose \omega_ 1}\right)^ 2\) ⋮ Random reals and the relation \(\omega_ 1\to (\omega_ 1,(\alpha:n))^ 2\) ⋮ On the difference between a Vitali-Bernstein selector and a partial Vitali-Bernstein selector ⋮ -stability ⋮ Definability and almost disjoint families ⋮ Can a small forcing create Kurepa trees ⋮ A counterexample to the reconstruction of \(\omega\)-categorical structures from their endomorphism monoid ⋮ Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics ⋮ Projective forcing ⋮ Cardinal invariants of the continuum and combinatorics on uncountable cardinals ⋮ Partitioning pairs of countable ordinals ⋮ The aftermath ⋮ A game of D. Gale in which one of the players has limited memory ⋮ Lindelöf models of the reals: solution to a problem of Sikorski ⋮ Infinite combinatorics and definability ⋮ A microscopic approach to Souslin-tree construction. II ⋮ Universal forcing notions and ideals ⋮ Random trees under CH ⋮ On the definability of mad families of vector spaces ⋮ Weak covering properties and selection principles ⋮ Measures: Back and Forth Between Point sets and Large sets ⋮ Some Banach spaces added by a Cohen real ⋮ Choiceless Ramsey theory of linear orders ⋮ Set theory and the analyst ⋮ Some considerations on amoeba forcing notions ⋮ Cichoń's diagram, regularity properties and \(\varDelta^1_3\) sets of reals ⋮ PERFECT SUBSETS OF GENERALIZED BAIRE SPACES AND LONG GAMES ⋮ Continuity of coordinate functionals of filter bases in Banach spaces ⋮ Locally compact, monotonically normal Dowker space in \(\mathsf{ZF+AD}\) ⋮ Foundational implications of the inner model hypothesis ⋮ An introduction to infinite hat problems ⋮ The Mathematical Development of Set Theory from Cantor to Cohen ⋮ \(\clubsuit\) does not imply the existence of a Suslin tree ⋮ Foundational aspects of singular integrals ⋮ Forcing constructions for uncountably chromatic graphs ⋮ Some applications of coarse inner model theory ⋮ On the separation of regularity properties of the reals ⋮ Graham-Rothschild parameter words and measurable partitions ⋮ On the non-existence of mad families ⋮ The stationarity of the collection of the locally regulars ⋮ Cohen reals from small forcings ⋮ On definable subgroups of the fundamental group ⋮ Large Cardinals and the Continuum Hypothesis ⋮ BOREL FUNCTORS AND INFINITARY INTERPRETATIONS ⋮ Martin's axioms, measurability and equiconsistency results ⋮ Survey of the Steinhaus Tiling Problem ⋮ Variations on a game of Gale (III): remainder strategies ⋮ sets of reals ⋮ Models with second order properties. V: A general principle ⋮ Exact equiconsistency results for \(\Delta_ 3^ 1\)-sets of reals ⋮ Solovay-type characterizations for forcing-algebras ⋮ Levy and set theory ⋮ Models of set theory with definable ordinals ⋮ Self-dual uniform matroids on infinite sets ⋮ MA(\(\sigma\)-centered): Cohen reals, strong measure zero sets and strongly meager sets ⋮ Doughnuts, floating ordinals, square brackets, and ultraflitters ⋮ Dichotomy and infinite combinatorics: the theorems of Steinhaus and Ostrowski ⋮ Linear forms in a playful universe ⋮ A strong antidiamond principle compatible with CH ⋮ Iteration of Souslin forcing, projective measurability and the Borel conjecture ⋮ The existence of measures of a given cocycle, I: atomless, ergodic σ-finite measures ⋮ Parameterized partition relations on the real numbers ⋮ Некоторые замечания о нестандартных методах анализа. I ⋮ Теорема Гордона: истоки и смысл ⋮ Deeply concatenable subgroups might never be free ⋮ The classification problem for von Neumann factors ⋮ Automatic Continuity of Group Homomorphisms ⋮ A strongly non-Ramsey order type ⋮ Perfect-set properties in \(L(\mathbb{R})[U\)] ⋮ Diffeomorphism invariant norms on \(C^k(X)\) ⋮ Questions on generalised Baire spaces ⋮ Models with second order properties. IV. A general method and eliminating diamonds ⋮ Projective Measure Without Projective Baire ⋮ On the ideal \(J[\kappa\)] ⋮ ``Gap 1 two-cardinal principles and the omitting types theorem for \(\mathcal L(\mathcal Q)\) ⋮ Additive and multiplicative Ramsey theory in the reals and the rationals ⋮ Projective absoluteness for Sacks forcing ⋮ Infinite combinatorics and the foundations of regular variation ⋮ Cichoń's maximum ⋮ Saccharinity ⋮ Canonical models for \(\aleph_1\)-combinatorics ⋮ Another Use of Set Theory ⋮ Retracted: Baire property and axiom of choice ⋮ A guessing principle from a Souslin tree, with applications to topology ⋮ On the convenient setting for real analytic mappings ⋮ Co-absolutes of \(U(\omega_ 1)\) ⋮ Regularity properties of definable sets of reals

Cites Work

This page was built for publication: Can you take Solovay's inaccessible away?