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, 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