Mathematical logic and model theory. A brief introduction

DOI10.1007/978-1-4471-2176-3MaRDI QIDQ636396zbMATH OpenOpenAlexFDO

Authors 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 logicmodel theoryalgebraic theoriessecond-order logicalgebraic systemsArtin conjecturemodel constructionsproperties of model classes

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1968950
• Mathematical logic in brief. Foundations, model theory, decidability, set theory
• Model Theory
• scientific article; zbMATH DE number 4041884
• scientific article; zbMATH DE number 1531887
• scientific article; zbMATH DE number 1209536
• scientific article; zbMATH DE number 3249766
• Mathematical logic. An introduction (to appear)
• scientific article; zbMATH DE number 3316009
• A concise introduction to mathematical logic

Cited in

(22)

• On the quantifier complexity of definable canonical Henselian valuations
• Defining \(\mathbb Z\) in \(\mathbb Q\)
• Density of composite places in function fields and applications to real holomorphy rings
• Dp-minimal valued fields
• Pseudo-C-Archimedean and pseudo-finite cyclically ordered groups
• A guide to classical and modern model theory
• A Course on Basic Model Theory
• scientific article; zbMATH DE number 2134000 (Why is no real title available?)
• Analytic nullstellensätze and the model theory of valued fields
• Valuations and orderings on the real Weyl algebra
• Quantifier elimination for quasi-real closed fields
• Henselianity in the language of rings
• scientific article; zbMATH DE number 1357763 (Why is no real title available?)
• Uniform definability of henselian valuation rings in the Macintyre language
• Rigid models of Presburger arithmetic
• On projections of free semialgebraic sets
• Approximation types describing extensions of valuations to rational function fields
• On decidability and axiomatizability of some ordered structures
• On the exactness of Lasserre relaxations and pure states over real closed fields
• Uniformly defining \(p\)-Henselian valuations
• Finite Model Theory
• scientific article; zbMATH DE number 1554144 (Why is no real title available?)

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

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