A NOTE ON THEORIES FOR QUASI-INDUCTIVE DEFINITIONS (Q5850984): Difference between revisions

@@ Property / cites work @@
+First order theories for nonmonotone inductive definitions: recursively inaccessible and Mahlo
+Normal rank
@@ Property / cites work @@
+Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms
+Normal rank
@@ Property / cites work @@
+Q4845457
@@ Property / cites work: Q4845457 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical frameworks for truth and abstraction. An axiomatic study
+Normal rank
@@ Property / cites work @@
+Weak systems of determinacy and arithmetical quasi-inductive definitions
+Normal rank
@@ Property / cites work @@
+The truth is never simple
@@ Property / cites work: The truth is never simple / rank @@
+Normal rank
@@ Property / cites work @@
+On revision operators
@@ Property / cites work: On revision operators / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
+Normal rank
@@ Property / cites work @@
+On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, and The Next Stable Set
+Normal rank
@@ Property / cites work @@
+Revision Sequences and Computers with an Infinite Amount of Time
+Normal rank
@@ Property / cites work @@
+Infinite time Turing machines
@@ Property / cites work: Infinite time Turing machines / rank @@
+Normal rank