Nonmaximal decidable structures

DOI10.1007/S10958-009-9399-XzbMATH Open1178.03047OpenAlexW2077704773MaRDI QIDQ843596FDOQ843596

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

Recommendations

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

Mathematics Subject Classification ID

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

Cites Work

• Elements of finite model theory.
• Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
• Title not available (Why is that?)
• Computability-Theoretic Complexity of Countable Structures
• Weakly maximal decidable structures
• Title not available (Why is that?)

Cited In (8)

• Title not available (Why is that?)
• Title not available (Why is that?)
• The lattice of definability: origins, recent developments, and further directions
• On countable chains having decidable monadic theory
• Constructing decidable graphs from decidable structures
• Decidable structures between Church-style and Curry-style
• Weakly maximal decidable structures
• Title not available (Why is that?)

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)