There are no intermediate structures between the group of integers and Presburger arithmetic (Q4638984)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6865721
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | There are no intermediate structures between the group of integers and Presburger arithmetic |
scientific article; zbMATH DE number 6865721 |
Statements
THERE ARE NO INTERMEDIATE STRUCTURES BETWEEN THE GROUP OF INTEGERS AND PRESBURGER ARITHMETIC (English)
0 references
2 May 2018
0 references
Presburger arithmetic
0 references
expansions of the group of integers
0 references
dp-minimality
0 references
0 references
0.7255121469497681
0 references
0.7153176665306091
0 references
0.7031158208847046
0 references
0.69544517993927
0 references
