Barwise, Jon The role of the omitting types theorem in infinitary logic. (English) Zbl 0467.03034 Arch. Math. Logik Grundlagenforsch. 21, 55-68 (1981). MSC: 03C95 03C75 03C80 03C30 PDFBibTeX XMLCite \textit{J. Barwise}, Arch. Math. Logik Grundlagenforsch. 21, 55--68 (1981; Zbl 0467.03034) Full Text: DOI EuDML
Potthoff, Klaus Boolean ultrapowers. (English) Zbl 0285.02045 Arch. Math. Logik Grundlagenforsch. 16, 37-48 (1974). MSC: 03C68 PDFBibTeX XMLCite \textit{K. Potthoff}, Arch. Math. Logik Grundlagenforsch. 16, 37--48 (1974; Zbl 0285.02045) Full Text: DOI EuDML
Müller, Horst Jede mit Stackautomaten berechenbare Funktion ist elementar. (German) Zbl 0255.02041 Arch. Math. Logik Grundlagenforsch. 15, 19-30 (1972). MSC: 03D20 03D05 03D55 68Q45 PDFBibTeX XMLCite \textit{H. Müller}, Arch. Math. Logik Grundlagenforsch. 15, 19--30 (1972; Zbl 0255.02041) Full Text: DOI EuDML
Müller, Horst Stack automaton in labyrinths. (English) Zbl 0234.02021 Arch. Math. Logik Grundlagenforsch. 14, 127-134 (1971). MSC: 03D03 68Q45 PDFBibTeX XMLCite \textit{H. Müller}, Arch. Math. Logik Grundlagenforsch. 14, 127--134 (1971; Zbl 0234.02021) Full Text: DOI EuDML
Gudjónsson, H. Remarks on limitultrapowers. (English) Zbl 0217.30403 Arch. Math. Logik Grundlagenforsch. 13, 154-157 (1970). MSC: 03C20 PDFBibTeX XMLCite \textit{H. Gudjónsson}, Arch. Math. Logik Grundlagenforsch. 13, 154--157 (1970; Zbl 0217.30403) Full Text: DOI EuDML
Osswald, H. Modelltheoretische Untersuchungen in der Kripke-Semantik. (German) Zbl 0216.01203 Arch. Math. Logik Grundlagenforsch. 13, 3-21 (1970). MSC: 03C90 03C20 PDFBibTeX XMLCite \textit{H. Osswald}, Arch. Math. Logik Grundlagenforsch. 13, 3--21 (1970; Zbl 0216.01203) Full Text: DOI EuDML
Ribeiro, H.; Schwabauer, R. A remark on equational completeness. (English) Zbl 0154.00402 Arch. Math. Logik Grundlagenforsch. 7, 122-123 (1965). PDFBibTeX XMLCite \textit{H. Ribeiro} and \textit{R. Schwabauer}, Arch. Math. Logik Grundlagenforsch. 7, 122--123 (1965; Zbl 0154.00402) Full Text: DOI EuDML
Büchi, J. Richard Regular canonical systems. (English) Zbl 0129.26102 Arch. Math. Logik Grundlagenforsch. 6, 91-111 (1964). Reviewer: Ivo Rosenberg (Brno) MSC: 03-XX PDFBibTeX XMLCite \textit{J. R. Büchi}, Arch. Math. Logik Grundlagenforsch. 6, 91--111 (1964; Zbl 0129.26102) Full Text: DOI EuDML
Ribeiro, Hugo On te universal completeness of classes of relational systems. (English) Zbl 0121.01204 Arch. Math. Logik Grundlagenforsch. 5, 90-95 (1961). PDFBibTeX XMLCite \textit{H. Ribeiro}, Arch. Math. Logik Grundlagenforsch. 5, 90--95 (1961; Zbl 0121.01204) Full Text: DOI EuDML