The Boolean prime ideal theorem does not imply the extension of almost disjoint families to MAD families
Bulletin of the Polish Academy of Sciences. Mathematics, Tome 68 (2020) no. 2, pp. 105-115
Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences
We establish that the statement “For every infinite set $X$, every almost disjoint family in $X$ can be extended to a maximal almost disjoint (MAD) family in $X$” is not provable in $\mathsf {ZF}$ + Boolean prime ideal theorem + Axiom of Countable Choice.
This settles an open problem from Tachtsis [On the existence of almost disjoint and MAD families without $\mathsf {AC}$, Bull. Polish Acad. Sci. Math. 67 (2019), 101–124].
Keywords:
establish statement every infinite set every almost disjoint family extended maximal almost disjoint mad family provable mathsf boolean prime ideal theorem axiom countable choice settles problem tachtsis existence almost disjoint mad families without mathsf bull polish acad sci math
Affiliations des auteurs :
Eleftherios Tachtsis 1
@article{10_4064_ba201014_22_1,
author = {Eleftherios Tachtsis},
title = {The {Boolean} prime ideal theorem does not imply the extension of almost disjoint families to {MAD} families},
journal = {Bulletin of the Polish Academy of Sciences. Mathematics},
pages = {105--115},
publisher = {mathdoc},
volume = {68},
number = {2},
year = {2020},
doi = {10.4064/ba201014-22-1},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.4064/ba201014-22-1/}
}
TY - JOUR AU - Eleftherios Tachtsis TI - The Boolean prime ideal theorem does not imply the extension of almost disjoint families to MAD families JO - Bulletin of the Polish Academy of Sciences. Mathematics PY - 2020 SP - 105 EP - 115 VL - 68 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.4064/ba201014-22-1/ DO - 10.4064/ba201014-22-1 LA - en ID - 10_4064_ba201014_22_1 ER -
%0 Journal Article %A Eleftherios Tachtsis %T The Boolean prime ideal theorem does not imply the extension of almost disjoint families to MAD families %J Bulletin of the Polish Academy of Sciences. Mathematics %D 2020 %P 105-115 %V 68 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.4064/ba201014-22-1/ %R 10.4064/ba201014-22-1 %G en %F 10_4064_ba201014_22_1
Eleftherios Tachtsis. The Boolean prime ideal theorem does not imply the extension of almost disjoint families to MAD families. Bulletin of the Polish Academy of Sciences. Mathematics, Tome 68 (2020) no. 2, pp. 105-115. doi: 10.4064/ba201014-22-1
Cité par Sources :