The following pages link to (Q3708785):
Displaying 28 items.
- Some supplements to Feferman-Vaught related to the model theory of adeles (Q400416) (← links)
- The rationality of the Poincaré series associated to the p-adic points on a variety (Q792384) (← links)
- Rationality of p-adic Poincaré series: Uniformity in p (Q807686) (← links)
- Quantifier elimination in linear difference equations over Witt vectors (Q935343) (← links)
- The complexity of linear problems in fields (Q1103602) (← links)
- Cell decompositions of \(C\)-minimal structures (Q1315832) (← links)
- Quantifier elimination for Henselian fields relative to additive and multiplicative congruences (Q1320036) (← links)
- Linear problems in valued fields (Q1582303) (← links)
- Definability of types and VC density in differential topological fields (Q1756490) (← links)
- On the elimination of imaginaries from certain valued fields (Q1802185) (← links)
- On variants of \(o\)-minimality (Q1919545) (← links)
- The elementary theory of \(e\)-free PAC domains (Q1977485) (← links)
- Tropical spectrahedra (Q1985292) (← links)
- Model theory of adeles. I. (Q2067515) (← links)
- Polynomial approximation of Berkovich spaces and definable types (Q2448334) (← links)
- On subgroups of semi-abelian varieties defined by difference equations (Q2960443) (← links)
- An Undecidability Result for Power Series Rings of Positive Characteristic (Q3781063) (← links)
- Rumely’s local global principle for algebraic 𝑃𝒮𝒞 fields over rings (Q4382917) (← links)
- (Q4698278) (← links)
- DECIDABLE ALGEBRAIC FIELDS (Q4977216) (← links)
- Assume, Guarantee or Repair (Q5039510) (← links)
- Uniform properties of rigid subanalytic sets (Q5461389) (← links)
- PRIMITIVE RECURSIVE DECIDABILITY FOR THE RING OF INTEGERS OF THE COMPOSITUM OF ALL SYMMETRIC EXTENSIONS OF ℚ (Q5858949) (← links)
- Dynamical method in algebra: Effective Nullstellensätze (Q5946086) (← links)
- Incidence bounds in positive characteristic via valuations and distality (Q6047215) (← links)
- Commutative unital rings elementarily equivalent to prescribed product rings (Q6146733) (← links)
- Primitive recursive decidability for large rings of algebraic integers inside the compositum of all symmetric extensions of \(\mathbb{Q}\) (Q6584671) (← links)
- Analytic nullstellensätze and the model theory of valued fields (Q6606930) (← links)
