The theory of successor with an extra predicate
From MaRDI portal
Publication:1243711
DOI10.1007/BF01351676zbMath0369.02025MaRDI QIDQ1243711
Publication date: 1978
Published in: Mathematische Annalen (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/182780
03B25: Decidability of theories and sets of sentences
03C35: Categoricity and completeness of theories
Related Items
A list of arithmetical structures complete with respect to the first-order definability, Classifying regular events in symbolic logic, The monadic theory of morphic infinite words and generalizations, Decidability and undecidability of theories with a predicate for the primes, Weakly maximal decidable structures, On Monadic Theories of Monadic Predicates
Cites Work