The half-levels of the \(\mathrm {FO}_2\) alternation hierarchy (Q2411037): Difference between revisions

@@ Property / cites work @@
+Profinite categories and semidirect products
@@ Property / cites work: Profinite categories and semidirect products / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Dot-depth of star-free events
@@ Property / cites work: Dot-depth of star-free events / rank @@
+Normal rank
@@ Property / cites work @@
+A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS
+Normal rank
@@ Property / cites work @@
+AROUND DOT-DEPTH ONE
@@ Property / cites work: AROUND DOT-DEPTH ONE / rank @@
+Normal rank
@@ Property / cites work @@
+Q4132170
@@ Property / cites work: Q4132170 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision Problems of Finite Automata Design and Related Arithmetics
+Normal rank
@@ Property / cites work @@
+Block Products and Nesting Negations in FO2
@@ Property / cites work: Block Products and Nesting Negations in FO2 / rank @@
+Normal rank
@@ Property / cites work @@
+Languages of dot-depth 3/2
@@ Property / cites work: Languages of dot-depth 3/2 / rank @@
+Normal rank
@@ Property / cites work @@
+Families of recognizable sets corresponding to certain varieties of finite monoids
+Normal rank
@@ Property / cites work @@
+Q3673124
@@ Property / cites work: Q3673124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2957483
@@ Property / cites work: Q2957483 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5740426
@@ Property / cites work: Q5740426 / rank @@
+Normal rank
@@ Property / cites work @@
+The Join Levels of the Trotter-Weil Hierarchy Are Decidable
+Normal rank
@@ Property / cites work @@
+Q5403019
@@ Property / cites work: Q5403019 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier Alternation in Two-Variable First-Order Logic with Successor Is Decidable
+Normal rank
@@ Property / cites work @@
+Q4649563
@@ Property / cites work: Q4649563 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5641083
@@ Property / cites work: Q5641083 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial closure and unambiguous product
@@ Property / cites work: Polynomial closure and unambiguous product / rank @@
+Normal rank
@@ Property / cites work @@
+SEMIDIRECT PRODUCTS OF ORDERED SEMIGROUPS
@@ Property / cites work: SEMIDIRECT PRODUCTS OF ORDERED SEMIGROUPS / rank @@
+Normal rank
@@ Property / cites work @@
+THE WREATH PRODUCT PRINCIPLE FOR ORDERED SEMIGROUPS
+Normal rank
@@ Property / cites work @@
+Going Higher in the First-Order Quantifier Alternation Hierarchy on Words
+Normal rank
@@ Property / cites work @@
+The kernel of monoid morphisms
@@ Property / cites work: The kernel of monoid morphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposition techniques for finite semigroups, using categories. II
+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 @@
+Q4737911
@@ Property / cites work: Q4737911 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4077455
@@ Property / cites work: Q4077455 / rank @@
+Normal rank
@@ Property / cites work @@
+Aperiodic homomorphisms and the concatenation product of recognizable sets
+Normal rank
@@ Property / cites work @@
+A generalization of the Schützenberger product of finite monoids
+Normal rank
@@ Property / cites work @@
+Finite semigroup varieties of the form V*D
@@ Property / cites work: Finite semigroup varieties of the form V*D / rank @@
+Normal rank
@@ Property / cites work @@
+Q4302435
@@ Property / cites work: Q4302435 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Characterization of the Alternation Hierarchy in FO^2[<] on Finite Words
+Normal rank
@@ Property / cites work @@
+Q4407441
@@ Property / cites work: Q4407441 / rank @@
+Normal rank
@@ Property / cites work @@
+Classification of finite monoids: the language approach
+Normal rank
@@ Property / cites work @@
+Two-sided wreath product of categories
@@ Property / cites work: Two-sided wreath product of categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4542541
@@ Property / cites work: Q4542541 / rank @@
+Normal rank
@@ Property / cites work @@
+Classifying regular events in symbolic logic
@@ Property / cites work: Classifying regular events in symbolic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Closure of varieties of languages under products with counter
+Normal rank
@@ Property / cites work @@
+Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words
+Normal rank