The theory of successor with an extra predicate

DOI10.1007/BF01351676zbMath0369.02025MaRDI QIDQ1243711

Wolfgang Thomas

Publication date: 1978

Published in: Mathematische Annalen (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/182780

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Categoricity and completeness of theories (03C35)

Related Items (6)

Weakly maximal decidable structures ⋮ Classifying regular events in symbolic logic ⋮ On Monadic Theories of Monadic Predicates ⋮ A list of arithmetical structures complete with respect to the first-order definability ⋮ The monadic theory of morphic infinite words and generalizations ⋮ Decidability and undecidability of theories with a predicate for the primes

Cites Work

• Unnamed Item
• Unnamed Item
• A note on undecidable extensions of monadic second order successor arithmetic
• Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
• Definability in the monadic second-order theory of successor

This page was built for publication: The theory of successor with an extra predicate