scientific article; zbMATH DE number 69316

MaRDI QIDQ4014784zbMATH OpenFDO

Authors George E. Weaver

Publication date 21 October 1992

zbMATH Keywords

surveyultraproductinfinite modelssmall modelsmodel theory of uncountable first order languagessmall elementary extensionssmall elementary subsystemsUpward Löwenheim-Skolem Theorem

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Models with special properties (saturated, rigid, etc.) (03C50) Basic properties of first-order languages and structures (03C07) Model theory of denumerable and separable structures (03C15) Other infinitary logic (03C75) Ultraproducts and related constructions (03C20)

Recommendations

• Constructive models of uncountably categorical theories
• scientific article; zbMATH DE number 1069962
• scientific article; zbMATH DE number 732049
• Some connections between finite and infinite model theory
• The gap-two cardinal problem for uncountable languages

Cited in

(1)

• Small Box-Behnken design

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)