Pages that link to "Item:Q4894724"
From MaRDI portal
The following pages link to Definability and decidability issues in extensions of the integers with the divisibility predicate (Q4894724):
Displaying 4 items.
- Universal theories of integers and the extended Bliznetsov hypothesis (Q1057849) (← links)
- Definability, decidability, complexity (Q1817073) (← links)
- Undecidable extensions of Skolem arithmetic (Q4212909) (← links)
- A list of arithmetical structures complete with respect to the first-order definability (Q5941257) (← links)
