On the No-Counterexample Interpretation (Q4948521): Difference between revisions

@@ Property / Wikidata QID @@
+Q124853394
@@ Property / Wikidata QID: Q124853394 / rank @@
+Normal rank
@@ Property / cites work @@
+On <i>n</i>-quantifier induction
@@ Property / cites work: On <i>n</i>-quantifier induction / rank @@
+Normal rank
@@ Property / cites work @@
+Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+Q3773876
@@ Property / cites work: Q3773876 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
+Normal rank
@@ Property / cites work @@
+The syntax and semantics of infinitary languages
@@ Property / cites work: The syntax and semantics of infinitary languages / rank @@
+Normal rank
@@ Property / cites work @@
+On the interpretation of non-finitist proofs–Part II
+Normal rank
@@ Property / cites work @@
+On the Interpretation of Non-Finitist Proofs--Part I
+Normal rank
@@ Property / cites work @@
+Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
+Normal rank