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

algebraic systemsalgebraic theoriesArtin conjecturefirst-order logicmodel constructionsmodel theoryproperties of model classessecond-order logic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Basic properties of first-order languages and structures (03C07) Properties of classes of models (03C52) Model-theoretic algebra (03C60) 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

(26)

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

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)