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):
Displaying 14 items.
- Positive existential definability of multiplication from addition and the range of a polynomial (Q503237) (← links)
- The undecidability of the preperfectness of Thue systems (Q797574) (← links)
- The monadic theory of morphic infinite words and generalizations (Q1854542) (← links)
- Prime automata do not exist (Q2672589) (← links)
- (Q3001100) (← links)
- On Monadic Theories of Monadic Predicates (Q3586024) (← links)
- Prime models and almost decidability (Q3760506) (← links)
- Definability by constant-depth polynomial-size circuits (Q3767263) (← links)
- Decidability of Scott's model as an ordered ℚ-vectorspace (Q4372914) (← links)
- More on an undecidability result of Bateman, Jockusch and Woods (Q4391420) (← links)
- THE ADDITIVE GROUPS OF AND WITH PREDICATES FOR BEING SQUARE-FREE (Q5021918) (← links)
- DECIDABILITY AND CLASSIFICATION OF THE THEORY OF INTEGERS WITH PRIMES (Q5359574) (← links)
- A list of arithmetical structures complete with respect to the first-order definability (Q5941257) (← links)
- The monadic theory of toric words (Q6652470) (← links)