ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS (Q4579812): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1017/jsl.2018.12
+Normal rank
@@ Property / OpenAlex ID @@
+W2886133260
@@ Property / OpenAlex ID: W2886133260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4075450
@@ Property / cites work: Q4075450 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
+Normal rank
@@ Property / cites work @@
+On Tarski’s fixed point theorem
@@ Property / cites work: On Tarski’s fixed point theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Operational set theory and small large cardinals
@@ Property / cites work: Operational set theory and small large cardinals / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on the mathematical aspects of Kripke's theory of truth
+Normal rank
@@ Property / cites work @@
+Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen
+Normal rank
@@ Property / cites work @@
+On Feferman's operational set theory \textsf{OST}
@@ Property / cites work: On Feferman's operational set theory \textsf{OST} / rank @@
+Normal rank
@@ Property / cites work @@
+Set theory. An introduction to independence proofs
+Normal rank
@@ Property / cites work @@
+The strength of Mac Lane set theory
@@ Property / cites work: The strength of Mac Lane set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary induction on abstract structures
@@ Property / cites work: Elementary induction on abstract structures / rank @@
+Normal rank
@@ Property / cites work @@
+On nonmonotone inductive definability
@@ Property / cites work: On nonmonotone inductive definability / rank @@
+Normal rank
@@ Property / cites work @@
+Monotone inductive definitions in explicit mathematics
+Normal rank
@@ Property / cites work @@
+Explicit mathematics with the monotone fixed point principle
+Normal rank
@@ Property / cites work @@
+Explicit mathematics with the monotone fixed point principle. II: Models
+Normal rank
@@ Property / cites work @@
+Relativized ordinal analysis: the case of power Kripke-Platek set theory
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Weak systems of determinacy and arithmetical quasi-inductive definitions
+Normal rank
@@ Property / Wikidata QID @@
+Q129429882
@@ Property / Wikidata QID: Q129429882 / rank @@
+Normal rank