Weakly Maximal Decidable StructuresReport as inadecuate

Weakly Maximal Decidable Structures - Download this document for free, or read online. Document in PDF available to download.

1 LACL - Laboratoire d-Algorithmique Complexité et Logique

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.

Author: Alexis Bès - Patrick Cégielski -

Source: https://hal.archives-ouvertes.fr/


Related documents