Montalvo-Ballesteros, Mayra; Truss, John K. Surjectively rigid chains. (English) Zbl 1521.06001 Math. Log. Q. 66, No. 4, 466-478 (2020). MSC: 06A05 03E25 03C64 PDFBibTeX XMLCite \textit{M. Montalvo-Ballesteros} and \textit{J. K. Truss}, Math. Log. Q. 66, No. 4, 466--478 (2020; Zbl 1521.06001) Full Text: DOI
Banerjee, Amitayu Remarks on Gitik’s model and symmetric extensions on products of the Lévy collapse. (English) Zbl 1521.03174 Math. Log. Q. 66, No. 3, 259-279 (2020). MSC: 03E35 03E55 03E25 PDFBibTeX XMLCite \textit{A. Banerjee}, Math. Log. Q. 66, No. 3, 259--279 (2020; Zbl 1521.03174) Full Text: DOI
Schuster, Peter; Wessel, Daniel The computational significance of Hausdorff’s maximal chain principle. (English) Zbl 07633512 Anselmo, Marcella (ed.) et al., Beyond the horizon of computability. 16th conference on computability in Europe, CiE 2020, Fisciano, Italy, June 29 – July 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12098, 239-250 (2020). MSC: 68Qxx PDFBibTeX XMLCite \textit{P. Schuster} and \textit{D. Wessel}, Lect. Notes Comput. Sci. 12098, 239--250 (2020; Zbl 07633512) Full Text: DOI
Therrien, Valérie Lynn A diagram of choice: the curious case of Wallis’s attempted proof of the parallel postulate and the axiom of choice. (English) Zbl 1518.01005 Pietarinen, Ahti-Veikko (ed.) et al., Diagrammatic representation and inference. 11th international conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12169, 74-90 (2020). Reviewer: Antonín Slavík (Praha) MSC: 01A45 51-03 PDFBibTeX XMLCite \textit{V. L. Therrien}, Lect. Notes Comput. Sci. 12169, 74--90 (2020; Zbl 1518.01005) Full Text: DOI
Karagila, Asaf; Schlicht, Philipp How to have more things by forgetting how to count them. (English) Zbl 1472.03057 Proc. R. Soc. Lond., A, Math. Phys. Eng. Sci. 476, No. 2239, Article ID 20190782, 12 p. (2020). MSC: 03E25 03E35 PDFBibTeX XMLCite \textit{A. Karagila} and \textit{P. Schlicht}, Proc. R. Soc. Lond., A, Math. Phys. Eng. Sci. 476, No. 2239, Article ID 20190782, 12 p. (2020; Zbl 1472.03057) Full Text: DOI arXiv
Tachtsis, Eleftherios The Boolean prime ideal theorem does not imply the extension of almost disjoint families to MAD families. (English) Zbl 1486.03082 Bull. Pol. Acad. Sci., Math. 68, No. 2, 105-115 (2020). MSC: 03E25 03E05 03E35 PDFBibTeX XMLCite \textit{E. Tachtsis}, Bull. Pol. Acad. Sci., Math. 68, No. 2, 105--115 (2020; Zbl 1486.03082) Full Text: DOI
Wald, Burkhard Linear forms in a playful universe. (English) Zbl 1486.03092 Rend. Semin. Mat. Univ. Padova 144, 271-279 (2020). MSC: 03E75 03E60 20K25 54E52 PDFBibTeX XMLCite \textit{B. Wald}, Rend. Semin. Mat. Univ. Padova 144, 271--279 (2020; Zbl 1486.03092) Full Text: DOI
Fontanella, Laura; Geoffroy, Guillaume Preserving cardinals and weak forms of Zorn’s lemma in realizability models. (English) Zbl 1486.03080 Math. Struct. Comput. Sci. 30, No. 9, 976-996 (2020). MSC: 03E25 03E35 PDFBibTeX XMLCite \textit{L. Fontanella} and \textit{G. Geoffroy}, Math. Struct. Comput. Sci. 30, No. 9, 976--996 (2020; Zbl 1486.03080) Full Text: DOI
Quintero, José Andrés; Uzcátegui, Carlos Enrique Completion of premetric spaces. (English) Zbl 1468.54021 Rev. Colomb. Mat. 54, No. 1, 19-29 (2020). Reviewer: Eliza Wajch (Siedlce) MSC: 54E35 54E50 03E25 03F65 PDFBibTeX XMLCite \textit{J. A. Quintero} and \textit{C. E. Uzcátegui}, Rev. Colomb. Mat. 54, No. 1, 19--29 (2020; Zbl 1468.54021) Full Text: DOI arXiv
Chodounský, David; Zapletal, Jindřich Ideals and their generic ultrafilters. (English) Zbl 1485.03189 Notre Dame J. Formal Logic 61, No. 3, 403-408 (2020). MSC: 03E05 03E40 03E25 PDFBibTeX XMLCite \textit{D. Chodounský} and \textit{J. Zapletal}, Notre Dame J. Formal Logic 61, No. 3, 403--408 (2020; Zbl 1485.03189) Full Text: DOI Euclid
Tennant, Neil Does choice really imply excluded middle? I: Regimentation of the Goodman-Myhill result, and its immediate reception. (English) Zbl 1454.03080 Philos. Math. (3) 28, No. 2, 139-171 (2020). MSC: 03F50 03E25 03A05 PDFBibTeX XMLCite \textit{N. Tennant}, Philos. Math. (3) 28, No. 2, 139--171 (2020; Zbl 1454.03080) Full Text: DOI
Powell, Thomas On the computational content of Zorn’s lemma. (English) Zbl 1498.03153 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 768-781 (2020). MSC: 03F25 03F10 03D65 03E25 PDFBibTeX XMLCite \textit{T. Powell}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 768--781 (2020; Zbl 1498.03153) Full Text: DOI arXiv
Shelah, Saharon Retraction notice to: “Baire property and axiom of choice”. (English) Zbl 1473.03031 Isr. J. Math. 240, No. 1, 443 (2020). MSC: 03E35 03E15 03E25 PDFBibTeX XMLCite \textit{S. Shelah}, Isr. J. Math. 240, No. 1, 443 (2020; Zbl 1473.03031) Full Text: DOI
Pallares-Vega, Ivonne Victoria Why the axiom of choice sometimes fails. (English) Zbl 1477.03198 Log. J. IGPL 28, No. 6, 1207-1217 (2020). MSC: 03E25 18B05 PDFBibTeX XMLCite \textit{I. V. Pallares-Vega}, Log. J. IGPL 28, No. 6, 1207--1217 (2020; Zbl 1477.03198) Full Text: DOI
Ara Bertran, Pere The Banach-Tarski paradox and the type semigroup. (Catalan. English summary) Zbl 1462.43001 Butll. Soc. Catalana Mat. 35, No. 1, 81-82 (2020). MSC: 43A07 03E25 20E05 PDFBibTeX XMLCite \textit{P. Ara Bertran}, Butll. Soc. Catalana Mat. 35, No. 1, 81--82 (2020; Zbl 1462.43001) Full Text: DOI
Keremedis, Kyriakos; Wajch, Eliza On densely complete metric spaces and extensions of uniformly continuous functions in ZF. (English) Zbl 1483.03030 J. Convex Anal. 27, No. 4, 1099-1122 (2020). Reviewer: Cenap Özel (İzmir) MSC: 03E25 54E35 54E50 PDFBibTeX XMLCite \textit{K. Keremedis} and \textit{E. Wajch}, J. Convex Anal. 27, No. 4, 1099--1122 (2020; Zbl 1483.03030) Full Text: arXiv Link
Larson, Paul B.; Zapletal, Jindřich Geometric set theory. (English) Zbl 07269808 Mathematical Surveys and Monographs 248. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-5462-3/pbk; 978-1-4704-6018-1/ebook). ix, 330 p. (2020). MSC: 03-02 03E15 03E25 03E35 03E40 05C15 05B35 11J72 11J81 37A20 PDFBibTeX XMLCite \textit{P. B. Larson} and \textit{J. Zapletal}, Geometric set theory. Providence, RI: American Mathematical Society (AMS) (2020; Zbl 07269808) Full Text: DOI
Corson, Samuel M. The independence of Stone’s theorem from the Boolean prime ideal theorem. (English) Zbl 1485.03206 Proc. Am. Math. Soc. 148, No. 12, 5381-5386 (2020). MSC: 03E25 03E35 54A35 54E35 54D20 PDFBibTeX XMLCite \textit{S. M. Corson}, Proc. Am. Math. Soc. 148, No. 12, 5381--5386 (2020; Zbl 1485.03206) Full Text: DOI arXiv
Kainth, Surinder Pal Singh Null subsets of all sizes inside Vitali sets. (English) Zbl 1455.28002 Am. Math. Mon. 127, No. 8, 743 (2020). Reviewer: Petr Holický (Praha) MSC: 28A05 03E25 PDFBibTeX XMLCite \textit{S. P. S. Kainth}, Am. Math. Mon. 127, No. 8, 743 (2020; Zbl 1455.28002) Full Text: DOI
Eleftheriou, Pantelis E.; Günaydın, Ayhan; Hieronymi, Philipp The choice property in tame expansions of o-minimal structures. (English) Zbl 1521.03099 Math. Log. Q. 66, No. 2, 239-246 (2020). MSC: 03C64 03E25 PDFBibTeX XMLCite \textit{P. E. Eleftheriou} et al., Math. Log. Q. 66, No. 2, 239--246 (2020; Zbl 1521.03099) Full Text: DOI arXiv
Gelieva, A. A.; Kusraeva, Z. A. On dominated extension of linear operators. (English. Russian original) Zbl 1518.47068 Math. Notes 108, No. 2, 171-178 (2020); translation from Mat. Zametki 108, No. 2, 190-199 (2020). MSC: 47B60 46A22 PDFBibTeX XMLCite \textit{A. A. Gelieva} and \textit{Z. A. Kusraeva}, Math. Notes 108, No. 2, 171--178 (2020; Zbl 1518.47068); translation from Mat. Zametki 108, No. 2, 190--199 (2020) Full Text: DOI
Frank, Matthew Interpolating between choices for the approximate intermediate value theorem. (English) Zbl 1528.03248 Log. Methods Comput. Sci. 16, No. 3, Paper No. 5, 4 p. (2020). MSC: 03F60 03E25 PDFBibTeX XMLCite \textit{M. Frank}, Log. Methods Comput. Sci. 16, No. 3, Paper No. 5, 4 p. (2020; Zbl 1528.03248) Full Text: arXiv Link Backlinks: MO
Shen, Guozhen A note on strongly almost disjoint families. (English) Zbl 1484.03087 Notre Dame J. Formal Logic 61, No. 2, 227-231 (2020). MSC: 03E10 03E25 PDFBibTeX XMLCite \textit{G. Shen}, Notre Dame J. Formal Logic 61, No. 2, 227--231 (2020; Zbl 1484.03087) Full Text: DOI Euclid
Halbeisen, Lorenz; Tachtsis, Eleftherios On Ramsey choice and partial choice for infinite families of \(n\)-element sets. (English) Zbl 1472.03056 Arch. Math. Logic 59, No. 5-6, 583-606 (2020). Reviewer: Martin Weese (Potsdam) MSC: 03E25 03E35 PDFBibTeX XMLCite \textit{L. Halbeisen} and \textit{E. Tachtsis}, Arch. Math. Logic 59, No. 5--6, 583--606 (2020; Zbl 1472.03056) Full Text: DOI
Keremedis, Kyriakos; Wajch, Eliza On Loeb and sequential spaces in ZF. (English) Zbl 1448.54014 Topology Appl. 280, Article ID 107279, 20 p. (2020). Reviewer: Samuel Gomes da Silva (Salvador) MSC: 54D55 54E50 54D45 54A35 03E25 PDFBibTeX XMLCite \textit{K. Keremedis} and \textit{E. Wajch}, Topology Appl. 280, Article ID 107279, 20 p. (2020; Zbl 1448.54014) Full Text: DOI arXiv
Powell, Thomas Well quasi-orders and the functional interpretation. (English) Zbl 1496.03234 Schuster, Peter M. (ed.) et al., Well-quasi orders in computation, logic, language and reasoning. A unifying concept of proof theory, automata theory, formal languages and descriptive set theory. Based on the minisymposium on well-quasi orders: from theory to applications within the Jahrestagung der Deutschen Mathematiker-Vereinigung (DMV), Hamburg, Germany, September 21–25, 2015 and the Dagstuhl seminar 16031 on well quasi-orders in computer science, Schloss Dagstuhl, Germany, January 17–22, 2016. Cham: Springer. Trends Log. Stud. Log. Libr. 53, 221-269 (2020). MSC: 03F10 03F35 03D65 03F50 03E25 PDFBibTeX XMLCite \textit{T. Powell}, Trends Log. Stud. Log. Libr. 53, 221--269 (2020; Zbl 1496.03234) Full Text: DOI arXiv
Goldstern, Martin; Klausner, Lukas D. Stranger things about forcing without AC. (English) Zbl 1463.03016 Commentat. Math. Univ. Carol. 61, No. 1, 21-26 (2020). Reviewer: Asaf Karagila (Norwich) MSC: 03E25 03E40 PDFBibTeX XMLCite \textit{M. Goldstern} and \textit{L. D. Klausner}, Commentat. Math. Univ. Carol. 61, No. 1, 21--26 (2020; Zbl 1463.03016) Full Text: DOI arXiv
Gabbay, Murdoch Equivariant ZFA and the foundations of nominal techniques. (English) Zbl 1515.03203 J. Log. Comput. 30, No. 2, 525-548 (2020). MSC: 03E35 03E25 03B70 PDFBibTeX XMLCite \textit{M. Gabbay}, J. Log. Comput. 30, No. 2, 525--548 (2020; Zbl 1515.03203) Full Text: DOI arXiv
Kharazishvili, Alexander On finite sums of periodic functions. (English) Zbl 1439.26013 Georgian Math. J. 27, No. 2, 265-269 (2020). MSC: 26A03 26A12 28A20 PDFBibTeX XMLCite \textit{A. Kharazishvili}, Georgian Math. J. 27, No. 2, 265--269 (2020; Zbl 1439.26013) Full Text: DOI
Hayut, Yair; Karagila, Asaf Critical cardinals. (English) Zbl 1479.03023 Isr. J. Math. 236, No. 1, 449-472 (2020). MSC: 03E55 03E25 03E35 PDFBibTeX XMLCite \textit{Y. Hayut} and \textit{A. Karagila}, Isr. J. Math. 236, No. 1, 449--472 (2020; Zbl 1479.03023) Full Text: DOI arXiv Link
Howard, Paul; Tachtsis, Eleftherios On the set-theoretic strength of a topological Banach fixed point theorem for continua. (English) Zbl 1481.03050 Topol. Proc. 55, 295-313 (2020). MSC: 03E25 03E35 54D05 54D30 54H25 PDFBibTeX XMLCite \textit{P. Howard} and \textit{E. Tachtsis}, Topol. Proc. 55, 295--313 (2020; Zbl 1481.03050)
Rathjen, Michael Power Kripke-Platek set theory and the axiom of choice. (English) Zbl 1515.03201 J. Log. Comput. 30, No. 1, 447-457 (2020). MSC: 03E25 03E70 03F15 03D60 PDFBibTeX XMLCite \textit{M. Rathjen}, J. Log. Comput. 30, No. 1, 447--457 (2020; Zbl 1515.03201) Full Text: DOI arXiv
Morillon, Marianne Multiple choices imply the Ingleton and Krein-Milman axioms. (English) Zbl 1477.03197 J. Symb. Log. 85, No. 1, 439-455 (2020). MSC: 03E25 46S10 46A22 03E35 PDFBibTeX XMLCite \textit{M. Morillon}, J. Symb. Log. 85, No. 1, 439--455 (2020; Zbl 1477.03197) Full Text: DOI arXiv
Shen, Guozhen; Yuan, Jiachen Factorials of infinite cardinals in ZF. II: Consistency results. (English) Zbl 1477.03217 J. Symb. Log. 85, No. 1, 244-270 (2020). MSC: 03E35 03E10 03E25 PDFBibTeX XMLCite \textit{G. Shen} and \textit{J. Yuan}, J. Symb. Log. 85, No. 1, 244--270 (2020; Zbl 1477.03217) Full Text: DOI arXiv
Shen, Guozhen; Yuan, Jiachen Factorials of infinite cardinals in ZF. I: ZF results. (English) Zbl 1476.03069 J. Symb. Log. 85, No. 1, 224-243 (2020). Reviewer: Eleftherios Tachtsis (Karlovassi) MSC: 03E10 03E25 PDFBibTeX XMLCite \textit{G. Shen} and \textit{J. Yuan}, J. Symb. Log. 85, No. 1, 224--243 (2020; Zbl 1476.03069) Full Text: DOI
Bezhanishvili, Nick; Holliday, Wesley H. Choice-free Stone duality. (English) Zbl 1444.03172 J. Symb. Log. 85, No. 1, 109-148 (2020). Reviewer: Ioan Tomescu (Bucureşti) MSC: 03G05 06E15 06D22 03E25 PDFBibTeX XMLCite \textit{N. Bezhanishvili} and \textit{W. H. Holliday}, J. Symb. Log. 85, No. 1, 109--148 (2020; Zbl 1444.03172) Full Text: DOI arXiv Link
Tachtsis, Eleftherios Infinite Hausdorff spaces may lack cellular families or discrete subsets of cardinality \(\aleph_0\). (English) Zbl 1443.03027 Topology Appl. 275, Article ID 106997, 19 p. (2020). Reviewer: Vinicius Rodrigues (São Paulo) MSC: 03E25 03E35 54A25 54A35 54D10 54D30 54G12 PDFBibTeX XMLCite \textit{E. Tachtsis}, Topology Appl. 275, Article ID 106997, 19 p. (2020; Zbl 1443.03027) Full Text: DOI
Keremedis, Kyriakos; Tachtsis, Eleftherios Cellularity of infinite Hausdorff spaces in ZF. (English) Zbl 1484.03103 Topology Appl. 274, Article ID 107104, 20 p. (2020). MSC: 03E25 03E35 54A25 54D10 54D30 PDFBibTeX XMLCite \textit{K. Keremedis} and \textit{E. Tachtsis}, Topology Appl. 274, Article ID 107104, 20 p. (2020; Zbl 1484.03103) Full Text: DOI
Karagila, Asaf The Morris model. (English) Zbl 1477.03212 Proc. Am. Math. Soc. 148, No. 3, 1311-1323 (2020). MSC: 03E35 03E25 PDFBibTeX XMLCite \textit{A. Karagila}, Proc. Am. Math. Soc. 148, No. 3, 1311--1323 (2020; Zbl 1477.03212) Full Text: DOI arXiv Backlinks: MO
Tachtsis, Eleftherios Juhász’s topological generalization of Neumer’s theorem may fail in \(\mathsf{ZF}\). (English) Zbl 1477.03201 Proc. Am. Math. Soc. 148, No. 3, 1295-1310 (2020). MSC: 03E25 03E35 54A35 PDFBibTeX XMLCite \textit{E. Tachtsis}, Proc. Am. Math. Soc. 148, No. 3, 1295--1310 (2020; Zbl 1477.03201) Full Text: DOI
Alexandru, Andrei; Ciobanu, Gabriel Properties of the atoms in finitely supported structures. (English) Zbl 1480.03046 Arch. Math. Logic 59, No. 1-2, 229-256 (2020). MSC: 03E35 03E25 03E10 03E70 PDFBibTeX XMLCite \textit{A. Alexandru} and \textit{G. Ciobanu}, Arch. Math. Logic 59, No. 1--2, 229--256 (2020; Zbl 1480.03046) Full Text: DOI
Aguilera, J. P. Determinate logic and the axiom of choice. (English) Zbl 07135275 Ann. Pure Appl. Logic 171, No. 2, Article ID 102745, 24 p. (2020). MSC: 03F05 03E60 03E25 03E55 PDFBibTeX XMLCite \textit{J. P. Aguilera}, Ann. Pure Appl. Logic 171, No. 2, Article ID 102745, 24 p. (2020; Zbl 07135275) Full Text: DOI
Corson, Samuel M. Bi-orders do not arise from total orders. arXiv:2004.13798 Preprint, arXiv:2004.13798 [math.GR] (2020). MSC: 03E25 06F15 06F20 BibTeX Cite \textit{S. M. Corson}, ``Bi-orders do not arise from total orders'', Preprint, arXiv:2004.13798 [math.GR] (2020) Full Text: DOI arXiv OA License
Usuba, Toshimichi A note on Löwenheim-Skolem cardinals. arXiv:2004.01515 Preprint, arXiv:2004.01515 [math.LO] (2020). MSC: 03E10 03E25 BibTeX Cite \textit{T. Usuba}, ``A note on L\"owenheim-Skolem cardinals'', Preprint, arXiv:2004.01515 [math.LO] (2020) Full Text: arXiv OA License
Schrittesser, David Maximal discrete sets. arXiv:2012.14638 Preprint, arXiv:2012.14638 [math.LO] (2020). MSC: 03E05 03E15 03E25 03E35 03E57 03E60 03E17 BibTeX Cite \textit{D. Schrittesser}, ``Maximal discrete sets'', Preprint, arXiv:2012.14638 [math.LO] (2020) Full Text: arXiv OA License
Schlutzenberg, Farmer Extenders under ZF and constructibility of rank-to-rank embeddings. arXiv:2006.10574 Preprint, arXiv:2006.10574 [math.LO] (2020). MSC: 03E55 03E45 03E25 BibTeX Cite \textit{F. Schlutzenberg}, ``Extenders under ZF and constructibility of rank-to-rank embeddings'', Preprint, arXiv:2006.10574 [math.LO] (2020) Full Text: arXiv OA License
Karagila, Asaf Approaching a Bristol model. arXiv:2006.04514 Preprint, arXiv:2006.04514 [math.LO] (2020). MSC: 03E25 03E35 BibTeX Cite \textit{A. Karagila}, ``Approaching a Bristol model'', Preprint, arXiv:2006.04514 [math.LO] (2020) Full Text: arXiv OA License
Goldberg, Gabriel; Schlutzenberg, Farmer Periodicity in the cumulative hierarchy. arXiv:2006.01103 Preprint, arXiv:2006.01103 [math.LO] (2020). MSC: 03E55 03E25 03E47 BibTeX Cite \textit{G. Goldberg} and \textit{F. Schlutzenberg}, ``Periodicity in the cumulative hierarchy'', Preprint, arXiv:2006.01103 [math.LO] (2020) Full Text: arXiv OA License
Schlutzenberg, Farmer On the consistency of ZF with an elementary embedding from \(V_{\lambda+2}\) into \(V_{\lambda+2}\). arXiv:2006.01077 Preprint, arXiv:2006.01077 [math.LO] (2020). MSC: 03E55 03E25 03E45 03E35 BibTeX Cite \textit{F. Schlutzenberg}, ``On the consistency of ZF with an elementary embedding from $V_{\lambda+2}$ into $V_{\lambda+2}$'', Preprint, arXiv:2006.01077 [math.LO] (2020) Full Text: DOI arXiv OA License
Schlutzenberg, Farmer A weak reflection of Reinhardt by super Reinhardt cardinals. arXiv:2005.11111 Preprint, arXiv:2005.11111 [math.LO] (2020). MSC: 03E55 03E25 BibTeX Cite \textit{F. Schlutzenberg}, ``A weak reflection of Reinhardt by super Reinhardt cardinals'', Preprint, arXiv:2005.11111 [math.LO] (2020) Full Text: arXiv OA License
Keremedis, Kyriakos; Wajch, Eliza Denumerable cellular families in Hausdorff spaces and towers of Boolean algebras in \(\mathbf{ZF}\). arXiv:2001.00619 Preprint, arXiv:2001.00619 [math.GN] (2020). MSC: 54A35 54D20 54D70 54E52 54E35 03E25 03E35 06E10 BibTeX Cite \textit{K. Keremedis} and \textit{E. Wajch}, ``Denumerable cellular families in Hausdorff spaces and towers of Boolean algebras in $\mathbf{ZF}$'', Preprint, arXiv:2001.00619 [math.GN] (2020) Full Text: arXiv OA License