1 — Consistency and faithful interpretations (Q5734415): Difference between revisions

@@ Property / cites work @@
+On axiomatizability within a system
@@ Property / cites work: On axiomatizability within a system / rank @@
+Normal rank
@@ Property / cites work @@
+Representability op recursively enumerable sets in formal theories
+Normal rank
@@ Property / cites work @@
+Arithmetization of metamathematics in a general setting
+Normal rank
@@ Property / cites work @@
+Transfinite recursive progressions of axiomatic theories
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Note on arithmetic models for consistent formulae of the predicate calculus
+Normal rank
@@ Property / cites work @@
+Some applications of formalized consistency proofs
+Normal rank
@@ Property / cites work @@
+Relative Interpretations
@@ Property / cites work: Relative Interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of the incompleteness theorem
@@ Property / cites work: A generalization of the incompleteness theorem / rank @@
+Normal rank