scientific article; zbMATH DE number 1554144

MaRDI QIDQ4526525zbMATH OpenFDO

Authors Philipp Rothmaler

Publication date 17 January 2001

zbMATH Keywords

categoricitymodel theoryquantifier eliminationtextbook

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Model theory (03Cxx)

Recommendations

• Mathematical logic and model theory. A brief introduction
• A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
• scientific article; zbMATH DE number 1015878
• Model Theory
• scientific article; zbMATH DE number 1357763

Cited in

(24)

• Introduction to model theory and to the metamathematics of algebra. 2nd ed. (2nd print.). (With a preface by H. Jerome Keisler)
• A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
• Effective algebraicity
• Construction of existentially closed abelian lattice-ordered groups using Fraïssé limits
• First-order theories of bounded trees
• On expansions of \((\mathbf{Z},+,0)\)
• On non-deterministic quantification
• Model-theory of vector-spaces over unspecified fields
• Dimension and singularity theory for local rings of finite embedding dimension
• Quantifier elimination theory and maps which preserve semipositivity
• Interprétation de l'arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle
• Exponentially closed fields and the conjecture on intersections with tori
• Notes on the model theory of DeMorgan logics
• scientific article; zbMATH DE number 2156367 (Why is no real title available?)
• scientific article; zbMATH DE number 1357268 (Why is no real title available?)
• Typical automorphism groups of finite nonrigid structures
• On maps which preserve semipositivity and quantifier elimination theory for real numbers
• 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
• Classifying singularities up to analytic extensions of scalars is smooth
• The Thomsen-Bachmann correspondence in metric geometry. I
• On one-parameter families of hermiticity-preserving superoperators which are not positive
• My writing
• \(L_{\kappa\omega}\)-equivalence of abelian groups with partial decomposition bases

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4526525)