scientific article; zbMATH DE number 1554144
From MaRDI portal
Publication:4526525
zbMath0962.03023MaRDI QIDQ4526525
Publication date: 17 January 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Model theory (03Cxx)
Related Items
Unnamed Item ⋮ Interprétation de l'arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle ⋮ On maps which preserve semipositivity and quantifier elimination theory for real numbers ⋮ Model-theory of vector-spaces over unspecified fields ⋮ On expansions of \((\mathbf{Z},+,0)\) ⋮ Exponentially closed fields and the conjecture on intersections with tori ⋮ Effective algebraicity ⋮ Higher reciprocity law and an analogue of the Grunwald-Wang theorem for the ring of polynomials over an ultra-finite field ⋮ Independence relations for exponential fields ⋮ Quantifier elimination theory and maps which preserve semipositivity ⋮ Notes on the model theory of DeMorgan logics ⋮ Classifying singularities up to analytic extensions of scalars is smooth ⋮ Dimension and singularity theory for local rings of finite embedding dimension ⋮ The Thomsen-Bachmann correspondence in metric geometry. I ⋮ Typical automorphism groups of finite nonrigid structures ⋮ Construction of existentially closed abelian lattice-ordered groups using Fraïssé limits ⋮ On non-deterministic quantification ⋮ First-order theories of bounded trees
