Mathematical logic and model theory. A brief introduction

DOI10.1007/978-1-4471-2176-3zbMath1241.03001OpenAlexW2481467531MaRDI QIDQ636396

Alexander Prestel, Charles N. Delzell

Publication date: 26 August 2011

Published in: Universitext (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4471-2176-3

zbMATH Keywords

first-order logicalgebraic theoriesmodel theorysecond-order logicalgebraic systemsArtin conjecturemodel constructionsproperties of model classes

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Properties of classes of models (03C52) Model theory (number-theoretic aspects) (11U09) Applications of model theory (03C98) Basic properties of first-order languages and structures (03C07)

Related Items (15)

Henselianity in the language of rings ⋮ On the quantifier complexity of definable canonical Henselian valuations ⋮ Approximation types describing extensions of valuations to rational function fields ⋮ Valuations and orderings on the real Weyl algebra ⋮ Density of composite places in function fields and applications to real holomorphy rings ⋮ Rigid models of Presburger arithmetic ⋮ Pseudo‐c‐archimedean and pseudo‐finite cyclically ordered groups ⋮ On projections of free semialgebraic sets ⋮ DP-MINIMAL VALUED FIELDS ⋮ On the exactness of Lasserre relaxations and pure states over real closed fields ⋮ Quantifier elimination for quasi-real closed fields ⋮ Defining \(\mathbb Z\) in \(\mathbb Q\) ⋮ On decidability and axiomatizability of some ordered structures ⋮ Uniform definability of henselian valuation rings in the Macintyre language: ⋮ Uniformly defining \(p\)-Henselian valuations

This page was built for publication: Mathematical logic and model theory. A brief introduction