scientific article; zbMATH DE number 69316
From MaRDI portal
Publication:4014784
infinite modelsmodel theory of uncountable first order languagessmall elementary extensionssmall elementary subsystemssmall modelssurveyultraproductUpward Löwenheim-Skolem Theorem
History of mathematics in the 20th century (01A60) Basic properties of first-order languages and structures (03C07) Model theory of denumerable and separable structures (03C15) Ultraproducts and related constructions (03C20) Models with special properties (saturated, rigid, etc.) (03C50) Other infinitary logic (03C75)
Recommendations
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4014784)