Switch to: References

Citations of:

Relativized ordinal analysis: The case of Power Kripke–Platek set theory

Michael Rathjen

Annals of Pure and Applied Logic 165 (1):316-339 (2014)

Add citations

You must login to add citations.

End extending models of set theory via power admissible covers.Zachiri McKenzie & Ali Enayat - 2022 - Annals of Pure and Applied Logic 173 (8):103132.details Logic and Philosophy of Logic Direct download (2 more) Export citation Bookmark
Constructing the constructible universe constructively.Michael Rathjen - 2024 - Annals of Pure and Applied Logic 175 (3):103392.details Logic and Philosophy of Logic Direct download (2 more) Export citation Bookmark 1 citation
About some fixed point axioms and related principles in kripke–platek environments.Gerhard Jäger & Silvia Steila - 2018 - Journal of Symbolic Logic 83 (2):642-668.details Logic and Philosophy of Logic Direct download (2 more) Export citation Bookmark 3 citations
Choice and independence of premise rules in intuitionistic set theory.Emanuele Frittaion, Takako Nemoto & Michael Rathjen - 2023 - Annals of Pure and Applied Logic 174 (9):103314.details Logic and Philosophy of Logic Direct download (2 more) Export citation Bookmark

1