CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN (Q3644806): Difference between revisions

@@ Property / cites work @@
+Axiomatizability by a schema
@@ Property / cites work: Axiomatizability by a schema / rank @@
+Normal rank
@@ Property / cites work @@
+Variants of Robinson's essentially undecidable theoryR
+Normal rank
@@ Property / cites work @@
+Some Prime Elements in the Lattice of Interpretability Types
+Normal rank
@@ Property / cites work @@
+Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
+Normal rank
@@ Property / cites work @@
+Decision Problems of Finite Automata Design and Related Arithmetics
+Normal rank
@@ Property / cites work @@
+On the interpretability of arithmetic in set theory
+Normal rank
@@ Property / cites work @@
+A minimal predicative set theory
@@ Property / cites work: A minimal predicative set theory / rank @@
+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 @@
+Weak Second‐Order Arithmetic and Finite Automata
+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