Pages that link to "Item:Q2547890"
From MaRDI portal
The following pages link to Diophantine problems over local fields. III: Decidable fields (Q2547890):
Displayed 50 items.
- Toward a model theory for transseries (Q372613) (← links)
- Variables separated equations: strikingly different roles for the branch cycle lemma and the finite simple group classification (Q424257) (← links)
- Groups elementarily equivalent to a free 2-nilpotent group of finite rank. (Q431679) (← links)
- Quadratic forms in models of \(I\Delta_0 + \Omega_1\). II: Local equivalence (Q639651) (← links)
- Structure and transcendence degree of \(\eta_{\alpha +1}\)-fields and ultrapowers of fields (Q754918) (← links)
- Relative elimination of quantifiers for Henselian valued fields (Q810501) (← links)
- Embedding Henselian fields into power series (Q853908) (← links)
- Existence of optimal ultrafilters and the fundamental complexity of simple theories (Q908076) (← links)
- A uniform method for proving lower bounds on the computational complexity of logical theories (Q917543) (← links)
- Algebraic properties of separated power series (Q926251) (← links)
- Computational complexity of sentences over fields (Q937294) (← links)
- Constructible exponential functions, motivic Fourier transform and transfer principle (Q974061) (← links)
- Power series solutions of algebraic differential equations (Q1053752) (← links)
- An application of Tarski's principle to absolute Galois groups of function fields (Q1103006) (← links)
- Some model theory for Henselian valued fields (Q1134757) (← links)
- Linear problems in valued fields (Q1582303) (← links)
- Tarski-type problems for free associative algebras (Q1702719) (← links)
- What does a group algebra of a free group ``know'' about the group? (Q1709682) (← links)
- On the elimination of imaginaries from certain valued fields (Q1802185) (← links)
- On the structure of \(p\)-adic subanalytic functions and sets (Q1948556) (← links)
- Filter quotients and non-presentable \((\infty,1)\)-toposes (Q2040521) (← links)
- An undecidability result for the asymptotic theory of \(p\)-adic fields (Q2105093) (← links)
- Chromatic homotopy theory is asymptotically algebraic (Q2187247) (← links)
- Hyperfields, truncated DVRs, and valued fields (Q2307443) (← links)
- Uniform existential interpretation of arithmetic in rings of functions of positive characteristic (Q2449847) (← links)
- Elementary embeddings of fields of power series (Q2540547) (← links)
- Dimension arithmétique d'un corps (Q2553998) (← links)
- Hyperalgebraic primitive elements for relational algebraic and topological algebraic models (Q2563459) (← links)
- On the structure of certain valued fields (Q2659099) (← links)
- Model Theory of Analytic Functions: Some Historical Comments (Q2915887) (← links)
- Relative decidability and definability in henselian valued fields (Q3107352) (← links)
- Analytic cell decomposition and analytic motivic integration (Q3421426) (← links)
- Corps équivalents à leur corps de séries (Q3698902) (← links)
- An Undecidability Result for Power Series Rings of Positive Characteristic (Q3781063) (← links)
- More on definable sets of <i>p</i>-adic numbers (Q3813803) (← links)
- Sets Definable Over Finite Fields: Their Zeta-Functions (Q4149758) (← links)
- Extensions of Hilbert's tenth problem (Q4302340) (← links)
- Prototypes for definable subsets of algebraically closed valued fields (Q4382462) (← links)
- AN AX-KOCHEN-ERSHOV THEOREM FOR MONOTONE DIFFERENTIAL-HENSELIAN FIELDS (Q4579822) (← links)
- Equations in Algebras (Q4611337) (← links)
- The metabelian birational -adic section conjecture for varieties (Q4977234) (← links)
- The Diophantine problem in the classical matrix groups (Q5033989) (← links)
- An ultrapower analogue of the Kronecker function ring (Q5146431) (← links)
- Lectures on the Model Theory of Valued Fields (Q5256623) (← links)
- Newtonian valued differential fields with arbitrary value group (Q5382962) (← links)
- Book Review: The birth of model theory: Löwenheim’s theory in the frame of the theory of relatives (Q5494753) (← links)
- Hensel minimality I (Q5863759) (← links)
- Formal power series (Q5916404) (← links)
- Calculs sur les structures de langage dénombrable (Q5958306) (← links)
- Between the Rings $${\mathbb Z}/p^n{\mathbb Z}$$ and the Ring $${\mathbb Z}_p$$: Issues of Axiomatizability, Definability and Decidability (Q6061128) (← links)