One quantifier alternation in first-order logic with modular predicates (Q5245724)
From MaRDI portal
scientific article; zbMATH DE number 6425195
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | One quantifier alternation in first-order logic with modular predicates |
scientific article; zbMATH DE number 6425195 |
Statements
One quantifier alternation in first-order logic with modular predicates (English)
0 references
15 April 2015
0 references
finite monoid
0 references
syntactic homomorphism
0 references
logical fragment
0 references
first-order logic
0 references
modular predicate
0 references
0 references
