Mlček, J. Compactness and homogeneity of saturated structures. II. (English) Zbl 0575.03022 Commentat. Math. Univ. Carol. 24, 717-729 (1983). Methods of the previous article are used to study completeness problems for algebraically closed fields, Peano arithmetic and other related theories. Reviewer: K.Kaiser Cited in 1 Review MSC: 03C50 Models with special properties (saturated, rigid, etc.) 03C60 Model-theoretic algebra 03C62 Models of arithmetic and set theory Keywords:saturated model; undefinability; Presburger arithmetic; completeness; algebraically closed fields; Peano arithmetic Citations:Zbl 0575.03021 × Cite Format Result Cite Review PDF Full Text: EuDML