On the Strength of the Uniform Fixed Point Principle in Intuitionistic Explicit Mathematics (Q5013911): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-49424-7_19
+Normal rank
@@ Property / OpenAlex ID @@
+W3048596112
@@ Property / OpenAlex ID: W3048596112 / rank @@
+Normal rank
@@ Property / cites work @@
+On the intuitionistic strength of monotone inductive definitions
+Normal rank
@@ Property / cites work @@
+Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe
+Normal rank
@@ Property / cites work @@
+Monotone inductive definitions in a constructive theory of functions and classes
+Normal rank
@@ Property / cites work @@
+Q4793037
@@ Property / cites work: Q4793037 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit mathematics with the monotone fixed point principle. II: Models
+Normal rank
@@ Property / cites work @@
+Explicit mathematics with the monotone fixed point principle
+Normal rank
@@ Property / cites work @@
+Monotone inductive definitions in explicit mathematics
+Normal rank
@@ Property / cites work @@
+Q5624635
@@ Property / cites work: Q5624635 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4797583
@@ Property / cites work: Q4797583 / rank @@
+Normal rank
@@ Property / cites work @@
+<i>μ</i>-definable sets of integers
@@ Property / cites work: <i>μ</i>-definable sets of integers / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4168046
@@ Property / cites work: Q4168046 / rank @@
+Normal rank
@@ Property / cites work @@
+On the proof-theoretic strength of monotone induction in explicit mathematics
+Normal rank
@@ Property / cites work @@
+Q3039340
@@ Property / cites work: Q3039340 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3882452
@@ Property / cites work: Q3882452 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4128540
@@ Property / cites work: Q4128540 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
+Normal rank
@@ Property / cites work @@
+Rudiments of \(\mu\)-calculus
@@ Property / cites work: Rudiments of \(\mu\)-calculus / rank @@
+Normal rank