Pages that link to "Item:Q636396"
From MaRDI portal
The following pages link to Mathematical logic and model theory. A brief introduction (Q636396):
Displaying 14 items.
- On the exactness of Lasserre relaxations and pure states over real closed fields (Q2007851) (← links)
- Quantifier elimination for quasi-real closed fields (Q2019416) (← links)
- On decidability and axiomatizability of some ordered structures (Q2318170) (← links)
- Uniformly defining \(p\)-Henselian valuations (Q2344717) (← links)
- Henselianity in the language of rings (Q2636534) (← links)
- Approximation types describing extensions of valuations to rational function fields (Q2672680) (← links)
- On the quantifier complexity of definable canonical Henselian valuations (Q2947240) (← links)
- Rigid models of Presburger arithmetic (Q5108850) (← links)
- Pseudo‐c‐archimedean and pseudo‐finite cyclically ordered groups (Q5108872) (← links)
- Uniform definability of henselian valuation rings in the Macintyre language: (Q5501669) (← links)
- DP-MINIMAL VALUED FIELDS (Q5738195) (← links)
- Valuations and orderings on the real Weyl algebra (Q6058487) (← links)
- Density of composite places in function fields and applications to real holomorphy rings (Q6093842) (← links)
- On projections of free semialgebraic sets (Q6168279) (← links)
