Items where Research Group is "Logic

A

Aspero, David, Hyttinen, Tapani, Kulikov, Vadim and Moreno, Miguel (2019) Reducibility of equivalence relations arising from non-stationary ideals under large cardinal assumptions. Notre Dame Journal for Formal Logic, 60 (4). pp. 665-682.

D

Džamonja, Mirna (2019) A New Foundational Crisis in Mathematics, Is It Really Happening? In: Reflections on the Foundations of Mathematics. Reflections on the Foundations of Mathematics . UNSPECIFIED, pp. 255-269. ISBN 978-3-030-15654-1

Džamonja, Mirna (2019) A letter to Bohᅭ. Commentationes Mathematicae Universitatis Carolinae, 60 (1). pp. 157-160. ISSN 0010-2628

Džamonja, Mirna and Kant, Deborah (2019) Interview With a Set Theorist. In: Reflections on the Foundations of Mathematics. Reflections on the Foundations of Mathematics . UNSPECIFIED, pp. 3-26. ISBN 978-3-030-15654-1

H

Hayut, Yair and Karagila, Asaf ORCID: https://orcid.org/0000-0003-1289-0904 (2019) Spectra of uniformity. Commentationes Mathematicae Universitatis Carolinae, 60 (2). pp. 285-298. ISSN 0010-2628

J

Jones, Gareth, Kirby, Jonathan ORCID: https://orcid.org/0000-0003-4031-9107, le Gal, Olivier and Servi, Tamara (2019) On local definability of holomorphic functions. The Quarterly Journal of Mathematics, 70 (4). pp. 1305-1326. ISSN 0033-5606

K

Karagila, Asaf ORCID: https://orcid.org/0000-0003-1289-0904 (2019) Iterating symmetric extensions. Journal of Symbolic Logic, 84 (1). 123–159. ISSN 0022-4812

Karagila, Asaf ORCID: https://orcid.org/0000-0003-1289-0904 (2019) Preserving Dependent Choice. Bulletin of the Polish Academy of Sciences Mathematics, 67. ISSN 1732-8985

Karagila, Asaf ORCID: https://orcid.org/0000-0003-1289-0904 (2019) Realizing realizability results with classical constructions. Bulletin of Symbolic Logic, 25 (4). pp. 429-445. ISSN 1079-8986

Kirby, Jonathan ORCID: https://orcid.org/0000-0003-4031-9107 (2019) Blurred complex exponentiation. Selecta Mathematica, 25 (5). ISSN 1022-1824