Weakly Maximal Decidable StructuresReportar como inadecuado




Weakly Maximal Decidable Structures - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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.





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

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



DESCARGAR PDF




Documentos relacionados