Michael Rathjen

University of Leeds — United Kingdom

Computer Science · Physical Sciences

23h-index1.7kcitations185works0.52yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Computability, Logic, AI Algorithms(93), Logic, Reasoning, and Knowledge(71), Logic, programming, and type systems(43), Advanced Topology and Set Theory(41), Advanced Algebra and Logic(38)

Publications185 total

FEFERMAN’S COMPLETENESS THEOREM
Bulletin of Symbolic Logic·2025· 2 cited
Choice and independence of premise rules in intuitionistic set theory
arXiv (Cornell University)·2024Open Access
Mathematical Logic: Proof Theory, Constructive Mathematics
Oberwolfach Reports·2024Open Access
Intuitionistic sets and numbers: small set theory and Heyting arithmetic
Archive for Mathematical Logic·2024Open Access
Feferman's completeness theorem
arXiv (Cornell University)·2024Open Access
Admissible extensions of subtheories of second order arithmetic
Annals of Pure and Applied Logic·2024· 1 citedOpen Access
Constructing the constructible universe constructively
Annals of Pure and Applied Logic·2023· 1 cited
Well ordering principles for iterated $$\Pi ^1_1$$-comprehension
Selecta Mathematica·2023· 4 citedOpen Access
The Art of Measuring the Strength of Theories
Notices of the American Mathematical Society·2023Open Access
Choice and independence of premise rules in intuitionistic set theory
Annals of Pure and Applied Logic·2023
Bishop Metric Spaces in Formal Topology
Cambridge University Press eBooks·2023
Constructive Projective Geometry
Cambridge University Press eBooks·2023Open Access
Constructive Mathematical Economics
Cambridge University Press eBooks·2023
Inner and Outer Models for Constructive Set Theories
Cambridge University Press eBooks·2023· 1 cited
Constructive Banach Algebra Theory
Cambridge University Press eBooks·2023
Systems for Constructive Reverse Mathematics
Cambridge University Press eBooks·2023· 1 cited
On the Computational Content of Choice Principles
Cambridge University Press eBooks·2023
An Introduction to Constructive Set Theory: An Appetizer
Cambridge University Press eBooks·2023· 1 cited
Bases of Pseudocompact Bishop Spaces
Cambridge University Press eBooks·2023· 2 cited
Bishop’s Mathematics: A Philosophical Perspective
Cambridge University Press eBooks·2023· 1 citedOpen Access
page 1 of 10Next →

Frequent Co-authors

Andreas Weiermann(5), Edward Griffor(2), Robert S. Lubarsky(2), Anton Freund(2), Douglas Bridges(1), Hajime Ishihara(1), Helmut Schwichtenberg(1), Erik Palmgren(1), Bahareh Afshari(1), Laura Crosilla(1), Sergei Tupailo(1), Graham E. Leigh(1), Ray-Ming Chen(1), Thomas Glaß(1), Andreas Schlüter(1), Jeroen Van der Meeren(1), Sy‐David Friedman(1)