Pages that link to "Item:Q4858820"
From MaRDI portal
The following pages link to Canonical forms for definable subsets of algebraically closed and real closed valued fields (Q4858820):
Displaying 22 items.
- Grothendieck rings of theories of modules (Q487696) (← links)
- Separably closed valued fields: immediate expansions (Q503269) (← links)
- Radiality of definable sets (Q776809) (← links)
- A structure theorem for abelian quasi-ordered groups (Q1739164) (← links)
- A criterion for uniform finiteness in the imaginary sorts (Q2144623) (← links)
- Abelian \(C\)-minimal valued groups (Q2358630) (← links)
- Imaginaries in real closed valued fields (Q2368915) (← links)
- On the proof of elimination of imaginaries in algebraically closed valued fields (Q2656206) (← links)
- Definable functions and stratifications in power-bounded \(T\)-convex fields (Q2656213) (← links)
- Interpretable fields in various valued fields (Q2671899) (← links)
- Vapnik-Chervonenkis density in some theories without the independence property, I (Q2790718) (← links)
- CONVEXLY ORDERABLE GROUPS AND VALUED FIELDS (Q2921025) (← links)
- Relative decidability and definability in henselian valued fields (Q3107352) (← links)
- Definable sets in algebraically closed valued fields: elimination of imaginaries (Q3413792) (← links)
- A note on valuation definable expansions of fields (Q4212931) (← links)
- Prototypes for definable subsets of algebraically closed valued fields (Q4382462) (← links)
- Generalized Euler characteristic in power-bounded <i>T</i>-convex valued fields (Q4590950) (← links)
- Forking in VC-minimal theories (Q4899172) (← links)
- Unexpected imaginaries in valued fields with analytic structure (Q5300076) (← links)
- Canonical forests in directed families (Q5418504) (← links)
- Incidence bounds in positive characteristic via valuations and distality (Q6047215) (← links)
- Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$ (Q6134890) (← links)