The following pages link to (Q4526525):
Displayed 18 items.
- Exponentially closed fields and the conjecture on intersections with tori (Q400418) (← links)
- Notes on the model theory of DeMorgan logics (Q424585) (← links)
- Typical automorphism groups of finite nonrigid structures (Q494647) (← links)
- Classifying singularities up to analytic extensions of scalars is smooth (Q639682) (← links)
- The Thomsen-Bachmann correspondence in metric geometry. I (Q669609) (← links)
- Effective algebraicity (Q1935364) (← links)
- Construction of existentially closed abelian lattice-ordered groups using Fraïssé limits (Q1996096) (← links)
- First-order theories of bounded trees (Q2118179) (← links)
- On expansions of \((\mathbf{Z},+,0)\) (Q2187266) (← links)
- On non-deterministic quantification (Q2254562) (← links)
- Model-theory of vector-spaces over unspecified fields (Q2391093) (← links)
- Dimension and singularity theory for local rings of finite embedding dimension (Q2437608) (← links)
- Quantifier elimination theory and maps which preserve semipositivity (Q2687228) (← links)
- Interprétation de l'arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle (Q3183193) (← links)
- (Q4668856) (← links)
- On maps which preserve semipositivity and quantifier elimination theory for real numbers (Q5065095) (← links)
- Higher reciprocity law and an analogue of the Grunwald-Wang theorem for the ring of polynomials over an ultra-finite field (Q6131203) (← links)
- Independence relations for exponential fields (Q6156419) (← links)