On countable chains having decidable monadic theory

Alexis Bès; Alexander Rabinovich

doi:10.2178/jsl/1333566639

On countable chains having decidable monadic theory

Alexis Bès
, Alexander Rabinovich

School of Computer Science and AI

Tel Aviv University

Research output: Contribution to journal › Article › peer-review

Abstract

Rationals and countable ordinals are important examples of structures with decidable monadic second-order theories. A chain is an expansion of a linear order by monadic predicates. We show that if the monadic second-order theory of a countable chain C is decidable then C has a non-trivial expansion with decidable monadic second-order theory.

Original language	English GB
Pages (from-to)	593-608
Number of pages	16
Journal	Journal of Symbolic Logic
Volume	77
Issue number	2
DOIs	https://doi.org/10.2178/jsl/1333566639
State	Published - Jun 2012

ASJC Scopus subject areas

Philosophy
Logic

Access to Document

10.2178/jsl/1333566639

Cite this

@article{f90ae32b864549e58ec4fd634b869886,

title = "On countable chains having decidable monadic theory",

abstract = "Rationals and countable ordinals are important examples of structures with decidable monadic second-order theories. A chain is an expansion of a linear order by monadic predicates. We show that if the monadic second-order theory of a countable chain C is decidable then C has a non-trivial expansion with decidable monadic second-order theory.",

author = "Alexis B{\`e}s and Alexander Rabinovich",

year = "2012",

month = jun,

doi = "10.2178/jsl/1333566639",

language = "الإنجليزيّة",

volume = "77",

pages = "593--608",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "2",

}

TY - JOUR

T1 - On countable chains having decidable monadic theory

AU - Bès, Alexis

AU - Rabinovich, Alexander

PY - 2012/6

Y1 - 2012/6

N2 - Rationals and countable ordinals are important examples of structures with decidable monadic second-order theories. A chain is an expansion of a linear order by monadic predicates. We show that if the monadic second-order theory of a countable chain C is decidable then C has a non-trivial expansion with decidable monadic second-order theory.

AB - Rationals and countable ordinals are important examples of structures with decidable monadic second-order theories. A chain is an expansion of a linear order by monadic predicates. We show that if the monadic second-order theory of a countable chain C is decidable then C has a non-trivial expansion with decidable monadic second-order theory.

UR - https://www.scopus.com/pages/publications/84862563745

U2 - 10.2178/jsl/1333566639

DO - 10.2178/jsl/1333566639

M3 - مقالة

SN - 0022-4812

VL - 77

SP - 593

EP - 608

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

IS - 2

ER -

On countable chains having decidable monadic theory

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this