Logic over words on denumerable ordinals (Q1604197): Difference between revisions

@@ Property / OpenAlex ID @@
+W2032475218
@@ Property / OpenAlex ID: W2032475218 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4848740
@@ Property / cites work: Q4848740 / rank @@
+Normal rank
@@ Property / cites work @@
+A syntactic congruence for rational \(\omega\)-languages
+Normal rank
@@ Property / cites work @@
+Q3838998
@@ Property / cites work: Q3838998 / rank @@
+Normal rank
@@ Property / cites work @@
+Star-free sets of words on ordinals
@@ Property / cites work: Star-free sets of words on ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Semigroups and Recognizability of Words on Ordinals
+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 @@
+Q5608007
@@ Property / cites work: Q5608007 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision methods in the theory of ordinals
@@ Property / cites work: Decision methods in the theory of ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressive power of temporal logic for infinite words
+Normal rank
@@ Property / cites work @@
+On the expressive power of temporal logic
@@ Property / cites work: On the expressive power of temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+An application of games to the completeness problem for formalized theories
+Normal rank
@@ Property / cites work @@
+Application of model theoretic games to discrete linear orders and finite automata
+Normal rank
@@ Property / cites work @@
+Q5641083
@@ Property / cites work: Q5641083 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3752578
@@ Property / cites work: Q3752578 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3728249
@@ Property / cites work: Q3728249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3698327
@@ Property / cites work: Q3698327 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385527
@@ Property / cites work: Q4385527 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3776657
@@ Property / cites work: Q3776657 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order logic and star-free sets
@@ Property / cites work: First-order logic and star-free sets / rank @@
+Normal rank
@@ Property / cites work @@
+$ℵ_0$-categoricity of linear orderings
@@ Property / cites work: $ℵ_0$-categoricity of linear orderings / rank @@
+Normal rank
@@ Property / cites work @@
+On finite monoids having only trivial subgroups
@@ Property / cites work: On finite monoids having only trivial subgroups / rank @@
+Normal rank
@@ Property / cites work @@
+Q4302435
@@ Property / cites work: Q4302435 / rank @@
+Normal rank
@@ Property / cites work @@
+Star-free regular sets of ω-sequences
@@ Property / cites work: Star-free regular sets of ω-sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036596
@@ Property / cites work: Q4036596 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3216154
@@ Property / cites work: Q3216154 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3691083
@@ Property / cites work: Q3691083 / rank @@
+Normal rank