Back to Search
Start Over
Model-Theoretic Properties of ω-Automatic Structures.
- Source :
- Theory of Computing Systems; Nov2014, Vol. 55 Issue 4, p856-880, 25p
- Publication Year :
- 2014
-
Abstract
- We investigate structural properties of ω-automatic presentations of infinite structures in order to sharpen our methods to determine whether a given structure is ω-automatic. We apply these methods to show that several classes of structures such as pairing functions and infinite integral domains do not have an ω-automatic model. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 14324350
- Volume :
- 55
- Issue :
- 4
- Database :
- Complementary Index
- Journal :
- Theory of Computing Systems
- Publication Type :
- Academic Journal
- Accession number :
- 98255027
- Full Text :
- https://doi.org/10.1007/s00224-013-9508-6