Vaught's Theorem on Axiomatizability by a Scheme (Q2915888): Difference between revisions

@@ Property / cites work @@
+THE NONARITHMETICITY OF THE CLASS OF REALIZABLE PREDICATE FORMULAS
+Normal rank
@@ Property / cites work @@
+A lattice of chapters of mathematics (interpretations between theorems [theories])
+Normal rank
@@ Property / cites work @@
+On the scheme of induction for bounded arithmetic formulas
+Normal rank
@@ Property / cites work @@
+Can We Make the Second Incompleteness Theorem Coordinate Free?
+Normal rank
@@ Property / cites work @@
+Q4001935
@@ Property / cites work: Q4001935 / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of logical theories
@@ Property / cites work: The computational complexity of logical theories / rank @@
+Normal rank
@@ Property / cites work @@
+Finite Axiomatizability using additional predicates
+Normal rank
@@ Property / cites work @@
+On axiomatizability within a system
@@ Property / cites work: On axiomatizability within a system / rank @@
+Normal rank
@@ Property / cites work @@
+Schemata: The Concept of Schema in the History of Logic
+Normal rank
@@ Property / cites work @@
+Decidability of the theory of the natural integers with the Cantor pairing function and the successor
+Normal rank
@@ Property / cites work @@
+The predicative Frege hierarchy
@@ Property / cites work: The predicative Frege hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Pairs, sets and sequences in first-order theories
@@ Property / cites work: Pairs, sets and sequences in first-order theories / rank @@
+Normal rank