scientific article

zbMath1139.03021MaRDI QIDQ3509723

Wilfrid Hodges

Publication date: 2 July 2008

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modulesstabilityundecidabilityabelian groupsquantifier eliminationforcingautomorphism groupshomomorphismschainstypeconstructionsmodel theorystructuresinterpretationsproductsSkolem functionscategoricitylanguagesMorley rankcountable categoricityinfinitary languagesmodel completenessomitting typesminimal setsexistentially closed structuresaxiomatizable classesnon-structure theoremsmodel companionsSkolem hullsterm algebrassaturated structuresEhrenfeucht-Mostowski modelscohomology of expansionsgames for elementary equivalencemodel theory of first-order languagesuncountably categorical theories

Mathematics Subject Classification ID

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

Related Items

Embedding \(\omega\)-continuous posets in function spaces of domains ⋮ Finiteness spaces and generalized power series ⋮ Glymour and Quine on theoretical equivalence ⋮ Modal definability: two commuting equivalence relations ⋮ Collineation group as a subgroup of the symmetric group. ⋮ Linear extenders and the Axiom of Choice ⋮ From geometry to conceptual relativity ⋮ Quine's conjecture on many-sorted logic ⋮ Uniform existential interpretation of arithmetic in rings of functions of positive characteristic ⋮ Generic expansions by a reduct ⋮ Rasiowa–Sikorski Sets and Forcing

This page was built for publication: