A first-order axiomatization of the theory of finite trees (Q1903080): Difference between revisions

@@ Property / cites work @@
+Linguistics, Logic and Finite Trees
@@ Property / cites work: Linguistics, Logic and Finite Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental properties of infinite trees
@@ Property / cites work: Fundamental properties of infinite trees / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic \(\Pi _ 1^ 1\)-theories of \(\Pi _ 1^ 1\)-properties
+Normal rank
@@ Property / cites work @@
+Tree acceptors and some of their applications
@@ Property / cites work: Tree acceptors and some of their applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q3220545
@@ Property / cites work: Q3220545 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical methods in linguistics
@@ Property / cites work: Mathematical methods in linguistics / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+An axiom system for the weak monadic second order theory of two successors
+Normal rank