An axiom system for the weak monadic second order theory of two successors (Q1253650): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Q5525343
@@ Property / cites work: Q5525343 / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic second order theory of all countable ordinals
+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 @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Q5616162
@@ Property / cites work: Q5616162 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5614656
@@ Property / cites work: Q5614656 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized finite automata theory with an application to a decision problem of second-order logic
+Normal rank
@@ Property / Wikidata QID @@
+Q114693416
@@ Property / Wikidata QID: Q114693416 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1253650