Nonmaximal decidable structures
From MaRDI portal
Publication:843596
DOI10.1007/s10958-009-9399-xzbMath1178.03047OpenAlexW2077704773MaRDI QIDQ843596
Publication date: 15 January 2010
Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10958-009-9399-x
Decidability of theories and sets of sentences (03B25) Other classical first-order model theory (03C68)
Related Items (3)
On countable chains having decidable monadic theory ⋮ The lattice of definability: origins, recent developments, and further directions ⋮ Decidable Expansions of Labelled Linear Orderings
Cites Work
This page was built for publication: Nonmaximal decidable structures