Pages that link to "Item:Q3138021"
From MaRDI portal
The following pages link to Decidability and undecidability of theories with a predicate for the primes (Q3138021):
Displayed 4 items.
- The monadic theory of morphic infinite words and generalizations (Q1854542) (← links)
- On Monadic Theories of Monadic Predicates (Q3586024) (← links)
- More on an undecidability result of Bateman, Jockusch and Woods (Q4391420) (← links)
- A list of arithmetical structures complete with respect to the first-order definability (Q5941257) (← links)