The following pages link to On a question of Abraham Robinson (Q312327):
Displaying 3 items.
- Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries (Q2631966) (← links)
- Definability of the ring of integers in some infinite algebraic extensions of the rationals (Q2910987) (← links)
- Finite undecidability in PAC and PRC fields (Q6584954) (← links)
