Publication:5687548
From MaRDI portal
zbMath0863.03013MaRDI QIDQ5687548
Publication date: 15 December 1996
textbook; omitting types theorem; saturation; first-order languages; elementary equivalence; ultraproducts; compactness theorem; canonical models; Ehrenfeucht-Fraïssé games; downward Löwenheim-Skolem theorem; Horn sentences; Lindström's theorem; fixed-point logics; pebble games; construction of models; second-order languages; Vaught's two-cardinal theorem
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03C07: Basic properties of first-order languages and structures
Related Items
The Range of Modal Logic, APPROXIMATING TREES AS COLOURED LINEAR ORDERS AND COMPLETE AXIOMATISATIONS OF SOME CLASSES OF TREES, On expressive power of basic modal intuitionistic logic as a fragment of classical FOL, Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems, Modality, bisimulation and interpolation in infinitary logic, Uniform short proofs for classical theorems, Expressiveness of concept expressions in first-order description logics, Games and bisimulations for intuitionistic first-order Kripke models, First-order theories of bounded trees, On generalized van Benthem-type characterizations