Transfinite Progressions: A Second Look at Completeness (Q4678945): Difference between revisions

@@ Property / cites work @@
+Solution of a problem of Leon Henkin
@@ Property / cites work: Solution of a problem of Leon Henkin / rank @@
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2711810
@@ Property / cites work: Q2711810 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5290924
@@ Property / cites work: Q5290924 / rank @@
+Normal rank
@@ Property / cites work @@
+On the completeness of some transfinite recursive progressions of axiomatic theories
+Normal rank
@@ Property / cites work @@
+Incompleteness along paths in progressions of theories
+Normal rank
@@ Property / cites work @@
+Transfinite recursive progressions of axiomatic theories
+Normal rank
@@ Property / cites work @@
+Iterated local reflection versus iterated consistency
+Normal rank
@@ Property / cites work @@
+Q5528627
@@ Property / cites work: Q5528627 / rank @@
+Normal rank