Nonmaximal decidable structures

DOI10.1007/S10958-009-9399-XMaRDI QIDQ843596zbMATH OpenOpenAlexFDO

Authors Alexis Bès, Patrick Cégielski

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

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Other classical first-order model theory (03C68)

Recommendations

• scientific article; zbMATH DE number 4087623
• Weakly maximal decidable structures
• Constructing decidable graphs from decidable structures
• On countable chains having decidable monadic theory

Cites work

• scientific article; zbMATH DE number 3880651 (Why is no real title available?)
• scientific article; zbMATH DE number 4087623 (Why is no real title available?)
• Computability-Theoretic Complexity of Countable Structures
• Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
• Elements of finite model theory.
• Weakly maximal decidable structures

Cited in

(8)

• scientific article; zbMATH DE number 1159716 (Why is no real title available?)
• scientific article; zbMATH DE number 4087623 (Why is no real title available?)
• Decidable structures between Church-style and Curry-style
• Constructing decidable graphs from decidable structures
• The lattice of definability: origins, recent developments, and further directions
• On countable chains having decidable monadic theory
• Weakly maximal decidable structures
• scientific article; zbMATH DE number 18951 (Why is no real title available?)

This page was built for publication: Nonmaximal decidable structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q843596)