Items where authors include "Rathjen, M."

Article

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