Set theory and the analyst

DOI10.1007/s40879-018-0278-1OpenAlexW2962745301WikidataQ129097713 ScholiaQ129097713MaRDI QIDQ2419681

Nicholas H. Bingham, Adam J. Ostaszewski

Publication date: 14 June 2019

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

Full work available at URL: https://arxiv.org/abs/1801.09149

zbMATH Keywords

forcingmodel theoryMartin's axiomaxiom of choiceindiscerniblesultraproductsanalytical hierarchydependent choiceconstructible hierarchycategory and measuredeterminacy and large cardinalsstructure of the real line

Mathematics Subject Classification ID

Descriptive set theory (03E15) History of mathematics in the 20th century (01A60) History of mathematics in the 21st century (01A61) Consistency and independence results (03E35) Large cardinals (03E55) Axiomatics of classical set theory and its fragments (03E30) Axiom of choice and related propositions (03E25)

Related Items (5)

The Steinhaus-Weil property: its converse, subcontinuity and Solecki amenability ⋮ On the equivalence in ZF+BPI of the Hahn-Banach theorem and three classical theorems ⋮ Variants on the Berz sublinearity theorem ⋮ Beyond Erdős-Kunen-Mauldin: shift-compactness properties and singular sets ⋮ General regular variation, Popa groups and quantifier weakening

Cites Work

• Beurling moving averages and approximate homomorphisms
• Group action and shift-compactness
• Some new results on decidability for elementary algebra and geometry
• Surrealist landscape with figures (a survey of recent results in set theory)
• Set theory. An introduction to independence proofs. 2nd print
• Effros, Baire, Steinhaus and non-separability
• Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable
• Regular variation without limits
• A topological characterization of random sequences
• Infinite combinatorics and the foundations of regular variation
• Regularity properties of definable sets of reals
• Can you take Solovay's inaccessible away?
• A mathematical proof of S. Shelah's theorem on the measure problem and related results
• On measure and category
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• Descriptive set theory
• Forcing axioms and stationary sets
• Set theory. An introduction to large cardinals
• Sublinear functions on R
• Aspects of constructibility
• Infinitary combinatorics and the axiom of determinateness
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• Retracted: Baire property and axiom of choice
• Large cardinals and projective sets
• Shadows of the axiom of choice in the universe \(L(\mathbb {R})\)
• Category-measure duality: convexity, midpoint convexity and Berz sublinearity
• Additivity, subadditivity and linearity: automatic continuity and quantifier weakening
• Beyond Lebesgue and Baire. IV: Density topologies and a converse Steinhaus-Weil theorem
• Variants on the Berz sublinearity theorem
• Generic absoluteness and the continuum
• Strong measure zero and infinite games
• Sets and extensions in the twentieth century
• Constructible sets with applications
• A model of set-theory in which every set of reals is Lebesgue measurable
• Iterated Cohen extensions and Souslin's problem
• Introduction to model theory and to the metamathematics of algebra
• Turing meets Schanuel
• Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel
• Theory of capacities
• ERDŐS AND SET THEORY
• The Banach–Tarski Paradox
• Analytic Baire spaces
• Absoluteness and the Skolem Paradox
• Kurt Gödel and the Foundations of Mathematics
• Nonstandard Analysis for the Working Mathematician
• Structure and Categoricity: Determinacy of Reference and Truth Value in the Philosophy of Mathematics
• Invariants of Measure and Category
• Structural Consequences of AD
• Determinacy in L(ℝ)
• Large Cardinals from Determinacy
• Beyond Lebesgue and Baire II: Bitopology and measure-category duality
• Dichotomy and infinite combinatorics: the theorems of Steinhaus and Ostrowski
• L.E.J. Brouwer – Topologist, Intuitionist, Philosopher
• The Structure of the Real Line
• A Brief History of Determinacy
• Handbook of Set Theory
• Elementary embeddings and infinitary combinatorics
• A partition calculus in set theory
• Models of axiomatic theories admitting automorphisms
• Additivity of Measure Implies Additivity of Category
• Notes on Set Theory
• A Note on the Effros Theorem
• Cohen and Set Theory
• Classical hierarchies from a modern standpoint. Part I. C-sets
• Classical hierarchies from a modern standpoint. Part II. R-sets
• On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic
• The axiom of determinacy implies dependent choices in L(R)
• On the Relative Consistency Strength of Determinacy Hypothesis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Alfred Tarski's work in model theory
• A Proof of Projective Determinacy
• On the Principle of Dependent Choices and Some Forms of Zorn's Lemma
• On Countably Compact, Perfectly Normal Spaces
• Adding dependent choice
• Happy families
• Strong axioms of infinity and elementary embeddings
• Definability of measures and ultrafilters
• Analytic determinacy and 0^#
• The Hahn-Banach Property and the Axiom of Choice
• Set Theoretic Real Analysis
• Philosophy and Model Theory
• The Baire Category Property and Some Notions of Compactness
• Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen
• Set Theory
• The Boolean Prime Ideal Theorem Plus Countable Choice Do Not Imply Dependent Choice
• Interlude: About the First Theorem
• On absolutely measurable sets
• Foundations of Mathematics
• Norming infinitesimals of large fields
• Transfinite inductions producing coanalytic sets
• Σ¹₂ and Π¹₁ Mad Families
• Skolem and pessimism about proof in mathematics
• On the Lebesgue measurability and the axiom of determinateness
• On the axiom of determinateness
• THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
• Some applications of model theory in set theory
• Measurable cardinals and analytic games
• Internal cohen extensions
• INFINITE GAMES AND ANALYTIC SETS
• Uniformization in a playful universe
• The fine structure of the constructible hierarchy
• Independence of the prime ideal theorem from the Hahn Banach theorem
• Saturated Structures and a Theorem of Arhangelskii
• On the principle of dependent choices
• Axiomatic and algebraic aspects of two theorems on sums of cardinals
• Rings of Real-Valued Continuous Functions. I
• An intuitionist correction of the fixed-point theorem on the sphere
• A system of axiomatic set theory. Part III. Infinity and enumerability. Analysis
• Axiom of choice
• Non-standard analysis
• The axiom of choice

This page was built for publication: Set theory and the analyst