scientific article
zbMath0639.03032MaRDI QIDQ3781080
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
interpolationcompletenesscompactnessBoolean algebrasdefinabilityRamsey theoremBoolean-valued modelsultraproductsomitting typesabstract model theoryelementary chains
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) Logic with extra quantifiers and operators (03C80) Interpolation, preservation, definability (03C40) Ultraproducts and related constructions (03C20) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Basic properties of first-order languages and structures (03C07) Other model constructions (03C30) Other classical first-order model theory (03C68) Abstract model theory (03C95) Model theory (03Cxx)
This page was built for publication:
