Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Weakly Maximal Decidable Structures

Abstract : We prove that there exists a structure M whose monadic second order theory is decidable, and such that the elementary theory of every expansion of M by a constant is undecidable.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00155281
Contributor : Alexis Bès <>
Submitted on : Sunday, June 17, 2007 - 8:58:54 AM
Last modification on : Wednesday, September 4, 2019 - 1:52:06 PM
Document(s) archivé(s) le : Thursday, April 8, 2010 - 5:28:06 PM

Files

WeaklyMaximalDecidableStructur...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00155281, version 1

Collections

Citation

Alexis Bès, Patrick Cégielski. Weakly Maximal Decidable Structures. 2007. ⟨hal-00155281⟩

Share

Metrics

Record views

255

Files downloads

89