Cuts, consistency statements and interpretations (Q3686709): Difference between revisions

@@ Property / cites work @@
+Q5528627
@@ Property / cites work: Q5528627 / rank @@
+Normal rank
@@ Property / cites work @@
+Redundancies in the Hilbert-Bernays derivability conditions for Gödel's second incompleteness theorem
+Normal rank
@@ Property / cites work @@
+Fundamenta Mathematicae: An Examination of Its Founding and Significance
+Normal rank
@@ Property / cites work @@
+Gödel's Second incompleteness theorem for <i>Q</i>
+Normal rank
@@ Property / cites work @@
+Relative Interpretations
@@ Property / cites work: Relative Interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+On certain lattices of degrees of interpretability
+Normal rank
@@ Property / cites work @@
+Axiomatizability by a schema
@@ Property / cites work: Axiomatizability by a schema / rank @@
+Normal rank
@@ Property / cites work @@
+Modal analysis of generalized rosser sentences
@@ Property / cites work: Modal analysis of generalized rosser sentences / rank @@
+Normal rank
@@ Property / cites work @@
+Bounds for proof-search and speed-up in the predicate calculus
+Normal rank