Nonmaximal decidable structures
Given any infinite structure with a decidable first-order theory, we give a sufficient condition in terms of the Gaifman graph of that ensures that can be expanded with some nondefinable predicate in such a way that the first-order theory of the expansion is still decidable. Bibliography: 10 titles.
Gespeichert in:
Veröffentlicht in: | Journal of mathematical sciences (New York, N.Y.) N.Y.), 2009-05, Vol.158 (5), p.615-622 |
---|---|
Hauptverfasser: | , |
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | Given any infinite structure
with a decidable first-order theory, we give a sufficient condition in terms of the Gaifman graph of
that ensures that
can be expanded with some nondefinable predicate in such a way that the first-order theory of the expansion is still decidable. Bibliography: 10 titles. |
---|---|
ISSN: | 1072-3374 1573-8795 |
DOI: | 10.1007/s10958-009-9399-x |