The following pages link to (Q5009704):
Displaying 6 items.
- How to Add a Noninteger Number of Terms: From Axioms to New Identities (Q3081499) (← links)
- Lattice of definability (of reducts) for integers with successor (Q5033990) (← links)
- Externally definable quotients and NIP expansions of the real ordered additive group (Q5036091) (← links)
- Decidability of Definability Issues in the Theory of Real Addition (Q5880942) (← links)
- Pregeometry over locally o‐minimal structures and dimension (Q6140755) (← links)
- Theories of real addition with and without a predicate for integers (Q6334561) (← links)