The half-levels of the FO₂ alternation hierarchy
From MaRDI portal
Publication:2411037
Recommendations
- Block products and nesting negations in \(\mathrm{FO}^{2}\)
- The \(\mathrm{FO}^2\) alternation hierarchy is decidable
- Quantifier alternation in two-variable first-order logic with successor is decidable
- On logical hierarchies within \(\mathrm{FO}^{2}\)-definable languages
- Algebraic characterization of the alternation hierarchy in \(\mathrm{FO}^2[<]\) on finite words
Cites work
- A generalization of the Schützenberger product of finite monoids
- A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS
- Algebraic characterization of the alternation hierarchy in \(\mathrm{FO}^2[<]\) on finite words
- An effective characterization of the alternation hierarchy in two-variable logic
- Aperiodic homomorphisms and the concatenation product of recognizable sets
- Around dot-depth one
- Around dot-depth one
- Block products and nesting negations in \(\mathrm{FO}^{2}\)
- Classification of finite monoids: the language approach
- Classifying regular events in symbolic logic
- Closure of varieties of languages under products with counter
- Decision Problems of Finite Automata Design and Related Arithmetics
- Decomposition techniques for finite semigroups, using categories. II
- Dot-depth of star-free events
- Families of recognizable sets corresponding to certain varieties of finite monoids
- Finite semigroup varieties of the form V*D
- Going Higher in the First-Order Quantifier Alternation Hierarchy on Words
- scientific article; zbMATH DE number 3827223 (Why is no real title available?)
- scientific article; zbMATH DE number 3495598 (Why is no real title available?)
- scientific article; zbMATH DE number 3561239 (Why is no real title available?)
- scientific article; zbMATH DE number 618821 (Why is no real title available?)
- scientific article; zbMATH DE number 1944133 (Why is no real title available?)
- scientific article; zbMATH DE number 1775408 (Why is no real title available?)
- scientific article; zbMATH DE number 2087227 (Why is no real title available?)
- scientific article; zbMATH DE number 3368555 (Why is no real title available?)
- Languages of dot-depth 3/2
- On finite monoids having only trivial subgroups
- Polynomial closure and unambiguous product
- Profinite categories and semidirect products
- Quantifier alternation in two-variable first-order logic with successor is decidable
- SEMIDIRECT PRODUCTS OF ORDERED SEMIGROUPS
- Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words
- The \(\mathrm{FO}^2\) alternation hierarchy is decidable
- The Join Levels of the Trotter-Weil Hierarchy Are Decidable
- The join of the varieties of R-trivial and L-trivial monoids via combinatorics on words
- The kernel of monoid morphisms
- THE WREATH PRODUCT PRINCIPLE FOR ORDERED SEMIGROUPS
- Two-sided wreath product of categories
- Weak Second‐Order Arithmetic and Finite Automata
Cited in
(11)- Varieties
- On logical hierarchies within \(\mathrm{FO}^{2}\)-definable languages
- An effective characterization of the alternation hierarchy in two-variable logic
- Quantifier alternation in two-variable first-order logic with successor is decidable
- On decidability of intermediate levels of concatenation hierarchies
- The \(\mathrm{FO}^2\) alternation hierarchy is decidable
- Block products and nesting negations in \(\mathrm{FO}^{2}\)
- How many times do you need to go back to the future in unary temporal logic?
- Forbidden Patterns for FO2 Alternation Over Finite and Infinite Words
- The amazing mixed polynomial closure and its applications to two-variable first-order logic
- Deciding \(\mathrm{FO}^2\) alternation for automata over finite and infinite words
This page was built for publication: The half-levels of the \(\mathrm {FO}_2\) alternation hierarchy
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2411037)
