The following pages link to (Q4346720):
Displaying 4 items.
- The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two (Q892142) (← links)
- (Q4668856) (← links)
- Homogeneous 1‐based structures and interpretability in random structures (Q5108085) (← links)
- The Schröder-Bernstein property for 𝑎-saturated models (Q5401683) (← links)
