Pages that link to "Item:Q2349099"
From MaRDI portal
The following pages link to Definability and decidability in infinite algebraic extensions (Q2349099):
Displaying 6 items.
- New algebraic invariants for definable subsets in universal algebra (Q695766) (← links)
- First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers (Q1659540) (← links)
- Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries (Q2631966) (← links)
- Quantifier Free Definability on Infinite Algebras (Q4635936) (← links)
- A remark on $\mathscr C^\infty $ definable equivalence (Q6086097) (← links)
- Finite undecidability in PAC and PRC fields (Q6584954) (← links)
