A survey of proof theory (Q5569099): Difference between revisions

@@ Property / cites work @@
+Q3285631
@@ Property / cites work: Q3285631 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to model theory and to the metamathematics of algebra
+Normal rank
@@ Property / cites work @@
+Some Generalisations of the Notion of Well Ordering
+Normal rank
@@ Property / cites work @@
+Q3226736
@@ Property / cites work: Q3226736 / rank @@
+Normal rank
@@ Property / cites work @@
+Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
+Normal rank
@@ Property / cites work @@
+Q5336303
@@ Property / cites work: Q5336303 / rank @@
+Normal rank
@@ Property / cites work @@
+Deduction-preserving “recursive isomorphisms” between theories
+Normal rank
@@ Property / cites work @@
+First order properties of pairs of cardinals
@@ Property / cites work: First order properties of pairs of cardinals / rank @@
+Normal rank
@@ Property / cites work @@
+Q5332215
@@ Property / cites work: Q5332215 / rank @@
+Normal rank
@@ Property / cites work @@
+— Consistency and faithful interpretations
@@ Property / cites work: 1 — Consistency and faithful interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+The consistency of arithmetics
@@ Property / cites work: The consistency of arithmetics / rank @@
+Normal rank
@@ Property / cites work @@
+Persistent and invariant formulas relative to theories of higher order
+Normal rank
@@ Property / cites work @@
+Die Widerspruchsfreiheit der allgemeinen Mengenlehre
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic
+Normal rank
@@ Property / cites work @@
+Consistency proofs of subsystems of classical analysis
+Normal rank