Pages that link to "Item:Q1243711"
From MaRDI portal
The following pages link to The theory of successor with an extra predicate (Q1243711):
Displaying 6 items.
- Classifying regular events in symbolic logic (Q1173413) (← links)
- The monadic theory of morphic infinite words and generalizations (Q1854542) (← links)
- Decidability and undecidability of theories with a predicate for the primes (Q3138021) (← links)
- Weakly maximal decidable structures (Q3514639) (← links)
- On Monadic Theories of Monadic Predicates (Q3586024) (← links)
- A list of arithmetical structures complete with respect to the first-order definability (Q5941257) (← links)
