Pages that link to "Item:Q1243711"

The following pages link to The theory of successor with an extra predicate (Q1243711):

Displaying 3 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)