Non-definability of Languages by Generalized First-order Formulas over (N,+) (Q2986821)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Non-definability of Languages by Generalized First-order Formulas over (N,+) |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Non-definability of Languages by Generalized First-order Formulas over (N,+) |
scientific article |
Statements
Non-definability of Languages by Generalized First-order Formulas over (N,+) (English)
0 references
16 May 2017
0 references
descriptive complexity
0 references
logic on words
0 references
Crane-Beach conjecture
0 references
extended first-order logic
0 references
0.96979105
0 references
0.96979105
0 references
0.8872283
0 references
0.88397145
0 references
0.8601899
0 references
0.8592677
0 references
0.85400504
0 references
0.8540038
0 references
