Mathematical logic and model theory. A brief introduction

DOI10.1007/978-1-4471-2176-3zbMATH Open1241.03001OpenAlexW2481467531MaRDI QIDQ636396FDOQ636396

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

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

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)

Cited In (22)

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

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)