scientific article; zbMATH DE number 957948

zbMath0863.03013MaRDI QIDQ5687548

Kees Doets

Publication date: 15 December 1996

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

zbMATH Keywords

textbookomitting types theoremsaturationfirst-order languageselementary equivalenceultraproductscompactness theoremcanonical modelsEhrenfeucht-Fraïssé gamesdownward Löwenheim-Skolem theoremHorn sentencesLindström's theoremfixed-point logicspebble gamesconstruction of modelssecond-order languagesVaught's two-cardinal theorem

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)

Related Items

On generalized van Benthem-type characterizations ⋮ The Range of Modal Logic ⋮ Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems ⋮ Uniform short proofs for classical theorems ⋮ On expressive power of basic modal intuitionistic logic as a fragment of classical FOL ⋮ Games and bisimulations for intuitionistic first-order Kripke models ⋮ Modality, bisimulation and interpolation in infinitary logic ⋮ APPROXIMATING TREES AS COLOURED LINEAR ORDERS AND COMPLETE AXIOMATISATIONS OF SOME CLASSES OF TREES ⋮ Expressiveness of concept expressions in first-order description logics ⋮ First-order theories of bounded trees