English

Definable MAD families and forcing axioms

Logic 2022-10-11 v1
Authors: Vera Fischer , David Schrittesser , Thilo Weinert
View on arXiv ↗ PDF ↗ DOI ↗

Abstract

We show that under the Bounded Proper Forcing Axiom and an anti-large cardinal assumption, there is a Π21\mathbf{\Pi}^1_2 MAD family.

Keywords

mad families forcing axioms definability large cardinals

Cite

@article{arxiv.1912.12815,
  title  = {Definable MAD families and forcing axioms},
  author = {Vera Fischer and David Schrittesser and Thilo Weinert},
  journal= {arXiv preprint arXiv:1912.12815},
  year   = {2022}
}

Comments

13 pages

Related papers

View all related →
Logic · Mathematics
$\Sigma^1_2$ and $\Pi^1_1$ mad families
Asger Törnquist
2013-10-14
Logic · Mathematics
On the definability of mad families of vector spaces
Haim Horowitz, Saharon Shelah
2018-11-12
Logic · Mathematics
Maximal almost disjoint families, determinacy, and forcing
Karen Bakke Haga, David Schrittesser, Asger Törnquist
2022-10-07
Logic · Mathematics
Incompatible bounded category forcing axioms
David Aspero, Matteo Viale
2021-01-11
Logic · Mathematics
Good projective witnesses
Vera Fischer, Sy David Friedman, David Schrittesser, Asger Törnquist
2025-04-30
Logic · Mathematics
MAD Families and SANE Player
Saharon Shelah
2010-07-19
Logic · Mathematics
Madness and regularity properties
Haim Horowitz, Saharon Shelah
2017-05-17
Logic · Mathematics
There is a Van Douwen MAD family
Dilip Raghavan
2008-01-26
Logic · Mathematics
A variant proof of Con(b<a)
Jörg Brendle, Andrew D. Brooke-Taylor
2014-09-26
Logic · Mathematics
Are a and d your cup of tea?
Saharon Shelah
2021-08-10
Logic · Mathematics
Higher random indestructibility of MAD families
Thomas Baumhauer
2019-04-10
Logic · Mathematics
Cofinitary Groups and Other Almost Disjoint Families of Reals
Bart Kastermans
2009-10-05
Logic · Mathematics
Independence and Induction in Reverse Mathematics
David Belanger, Chi Tat Chong, Rupert Hölzl, Frank Stephan
2026-02-04
Logic · Mathematics
The happy coexistence of mad families and Laver measurability
Asger Tornquist, David Schrittesser
2025-10-27
Logic · Mathematics
$\kappa$-Madness and Definability
Haim Horowitz, Saharon Shelah
2018-05-21
Logic · Mathematics
How to drive our families mad
Sakaé Fuchino, Stefan Geschke, Osvaldo Guzman, Lajos Soukup
2017-03-08
Logic · Mathematics
A solution to Roitman's problem
Heike Mildenberger
2015-02-23
Logic · Mathematics
Bounded forcing axioms and Baumgartner's conjecture
David Aspero, Sy-David Friedman, Miguel Angel Mota, Marcin Sabok
2011-02-14
Logic · Mathematics
Many forcing axioms for all regular uncountable cardinals
Noam Greenberg, Saharon Shelah
2022-03-02
Classical Analysis and ODEs · Mathematics
On a family of strong fractional maximal operators
Zipeng Wang
2026-04-28
General Topology · Mathematics
Madness and (weak) normality
César Corral
2021-05-12
Logic · Mathematics
The Bounded Proper Forcing Axiom
Martin Goldstern, Saharon Shelah
2016-09-06
Logic · Mathematics
On two problems of Erdos and Hechler: New methods in singular Madness
Menahem Kojman, Wieslaw Kubis, Saharon Shelah
2007-05-23
Logic · Mathematics
Full mad families of vector spaces and two local Ramsey theories
Clement Yung
2026-03-19
Logic · Mathematics
Definability and almost disjoint families
Asger Tornquist
2015-03-31