Model-Theoretic Properties of ω-Automatic Structures

Model-Theoretic Properties of ω-Automatic Structures

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...

Full description

Saved in:
Bibliographic Details
Published in:Theory of computing systems Vol. 55; no. 4; pp. 856 - 880
Main Authors: Zaid, Faried Abu, Grädel, Erich, Kaiser, Łukasz, Pakusa, Wied
Format: Journal Article
Language:English
Published: Boston Springer US 01-11-2014
Subjects:
Computation
Computer Science
Infinite integrals
Mathematical analysis
Mathematical models
Theory of Computation
Automatic structures
Logic
Algorithmic model theory
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 23
ISSN:1432-4350
1433-0490
DOI:10.1007/s00224-013-9508-6