Mundici, Daniele An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman’s fourth problem. (English) Zbl 0465.03020 J. Symb. Log. 46, 523-530 (1981). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 ReviewsCited in 3 Documents MSC: 03C95 Abstract model theory 03C15 Model theory of denumerable and separable structures 03C40 Interpolation, preservation, definability 03C35 Categoricity and completeness of theories 03C52 Properties of classes of models Keywords:equivalence relations between structures; Robinson consistency theorem; elementary equivalence; Lindström-type theorems; countable structures of finite type × Cite Format Result Cite Review PDF Full Text: DOI References: [1] DOI: 10.1016/0003-4843(76)90021-8 · Zbl 0346.02007 · doi:10.1016/0003-4843(76)90021-8 [2] Transactions of the American Mathematical Society 256 pp 215– (1979) [3] CIME II Ciclo, Coord. Mangani, Model theory and applications (1975) [4] DOI: 10.1016/0003-4843(74)90016-3 · Zbl 0324.02034 · doi:10.1016/0003-4843(74)90016-3 [5] Lecture Notes in Mathematics pp 248– (1976) [6] Fundament a Mathematicae 82 pp 153– (1974) [7] DOI: 10.1016/0003-4843(78)90003-7 · Zbl 0372.02031 · doi:10.1016/0003-4843(78)90003-7 [8] One hundred and two problems in mathematical logic 40 pp 113– (1975) This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.