Geodesic
Weakly maximal decidable structures
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 42 (2008) no. 1, pp. 137-145 Cet article a éte moissonné depuis la source Numdam

Voir la notice de l'article

We prove that there exists a structure M whose monadic second order theory is decidable, and such that the first-order theory of every expansion of M by a constant is undecidable.

DOI : 10.1051/ita:2007044
Classification : 03B25, 03C57, 03D05
Keywords: decidability, first-order theories, monadic second-order theories, maximality, automata, rich words 
@article{ITA_2008__42_1_137_0,
     author = {B\`es, Alexis and C\'egielski, Patrick},
     title = {Weakly maximal decidable structures},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {137--145},
     year = {2008},
     publisher = {EDP-Sciences},
     volume = {42},
     number = {1},
     doi = {10.1051/ita:2007044},
     mrnumber = {2382548},
     zbl = {1149.03015},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.1051/ita:2007044/}
}
TY  - JOUR
AU  - Bès, Alexis
AU  - Cégielski, Patrick
TI  - Weakly maximal decidable structures
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 2008
SP  - 137
EP  - 145
VL  - 42
IS  - 1
PB  - EDP-Sciences
UR  - http://geodesic.mathdoc.fr/articles/10.1051/ita:2007044/
DO  - 10.1051/ita:2007044
LA  - en
ID  - ITA_2008__42_1_137_0
ER  - 
%0 Journal Article
%A Bès, Alexis
%A Cégielski, Patrick
%T Weakly maximal decidable structures
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2008
%P 137-145
%V 42
%N 1
%I EDP-Sciences
%U http://geodesic.mathdoc.fr/articles/10.1051/ita:2007044/
%R 10.1051/ita:2007044
%G en
%F ITA_2008__42_1_137_0
Bès, Alexis; Cégielski, Patrick. Weakly maximal decidable structures. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 42 (2008) no. 1, pp. 137-145. doi: 10.1051/ita:2007044

Cité par Sources :