Items where authors include "Rathjen, M."

Article

Jäger, G. orcid.org/0000-0003-3024-3030 and Rathjen, M. orcid.org/0000-0003-1699-4778 (2024) Admissible extensions of subtheories of second order arithmetic. Annals of Pure and Applied Logic, 175 (7). 103425. ISSN 0168-0072

Shapiro, S., McCarty, C. and Rathjen, M. orcid.org/0000-0003-1699-4778 (2024) Intuitionistic sets and numbers: small set theory and Heyting arithmetic. Archive for Mathematical Logic. ISSN 0933-5846

Matthews, R. and Rathjen, M. orcid.org/0000-0003-1699-4778 (2024) Constructing the constructible universe constructively. Annals of Pure and Applied Logic, 175 (3). 103392. ISSN 0168-0072

Freund, A. and Rathjen, M. orcid.org/0000-0003-1699-4778 (2023) Well ordering principles for iterated 511-comprehension. Selecta Mathematica, 29. 76. ISSN 1022-1824

Rathjen, M. orcid.org/0000-0003-1699-4778 (2023) The Art of Measuring the Strength of Theories. Notices of the American Mathematical Society, 70 (7). pp. 1071-1079. ISSN 0002-9920

Frittaion, E. orcid.org/0000-0003-4965-9271, Nemoto, T. orcid.org/0000-0003-3898-6189 and Rathjen, M. orcid.org/0000-0003-1699-4778 (2023) Choice and independence of premise rules in intuitionistic set theory. Annals of Pure and Applied Logic, 174 (9). 103314. ISSN 0168-0072

Book Section

Dihoum, E., Rathjen, M. orcid.org/0000-0003-1699-4778 and Silterra, A. (2023) Domain Theory and Realizability over Scott’s D∞ in Constructive Set Theory. In: Mathematics For Computation (M4c). World Scientific , pp. 335-395. ISBN 9789811245213

Rathjen, M. orcid.org/0000-0003-1699-4778 (2023) No Speedup for Geometric Theories. In: Mathematics For Computation (M4c). World Scientific , pp. 319-334. ISBN 9789811245213