×

Eine algebraische Konstruktion abzählbarer Modelle. (German) Zbl 0411.03020


MSC:

03C15 Model theory of denumerable and separable structures
03B10 Classical first-order logic
PDFBibTeX XMLCite
Full Text: DOI EuDML

References:

[1] Chang, C. C., Keisler, H. J.: Model theory. North-Holland Publ. Co., Amsterdam (1973). · Zbl 0276.02032
[2] Fraissé, R.J.: Sur quelques classifications des systèmes de relations. Publ. Sci. Univ. Alger Sér. A1, 35–182 (1954).
[3] Hintikka, J.: Distributive normal forms in first-order logic. Formal systems and recursive functions, pp. 48–91. Proc. of the eight logic colloquium, Oxford, July 1963. North-Holland Publ. Co., Amsterdam (1965).
[4] Richter, W.: Referat von Grilliot, T.J.: Omitting types: application to recursion theory. J. Symbolic Logic40, 87–88 (1975). · doi:10.2307/2272287
[5] Schönfeld, W.: Normal forms with quantifier blocks of given lengths. A.M.S. Notices19, A-716 (1972).
[6] Scott, D.: Logic with denumerably long formulas und finite strings of quantifiers. The theory of models, pp. 329–341. North-Holland Publ. Co., Amsterdam (1965).
[7] Taimanow, A.D.: Charakterisierung axiomatisierbarer Klassen von Strukturen (russisch). Isw. Akad. Nauk. SSSR Ser. Mat.25, 601–621 (1961).
[8] Wolf, T.: Eine algebraische Methode; Endlichkeitssatz, Interpolationssatz, Typenübergehungssatz. Diplomarbeit, Freiburg (1975) (unveröffentlicht).
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.