Abstract
Starting from a model with a Laver-indestructible supercompact cardinal \(\kappa \), we construct a model of \(ZF+DC_{\kappa }\) where there are no \(\kappa \)-mad families.
Similar content being viewed by others
References
Chan, W., Jackson, S., Trang, N.: Almost disjoint families under determinacy, preprint
Horowitz, H., Shelah, S.: Can you take Toernquist’s inaccessible away? arXiv:1605.02419
Horowitz, H., Shelah, S.: Transcendence bases, well-orderings of the reals and the axiom of choice, arXiv:1901.01508
Horowitz, H., Shelah, S.: Madness and regularity properties, arXiv:1704.08327
Horowitz, H., Shelah, S.: \(\kappa \)-madness and definability, arXiv:1805.07048
Mathias, A.R.D.: Happy families. Ann. Math. Logic 12(1), 59–111 (1977)
Shelah, S.: On measure and category. Isr. J. Math. 52, 110–114 (1985)
Toernquist, A.: Definability and almost disjoint families. Adv. Math. 330, 61–73 (2018)
Viale, M.: Category forcings, \(MM^{+++}\), and generic absoluteness for the theory of strong forcing axioms. J. Am. Math. Soc. 29(3), 675–728 (2016)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Publication 1168 of the second author. Date: June 12, 2019.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Horowitz, H., Shelah, S. On the non-existence of \(\kappa \)-mad families. Arch. Math. Logic 62, 1033–1039 (2023). https://doi.org/10.1007/s00153-023-00874-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-023-00874-6