Katzberg, Harald Complex exponential terms with only finitely many zeros. (English) Zbl 0572.03013 Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 49, 68-72 (1983). MSC: 03C05 30D35 32A22 PDFBibTeX XMLCite \textit{H. Katzberg}, Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 49, 68--72 (1983; Zbl 0572.03013)
Dahn, Bernd I.; Gehne, Jürgen A theory of ordered exponential fields which has no model completion. (English) Zbl 0571.03013 Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 49, 39-41 (1983). Reviewer: S.A.Basarab MSC: 03C60 12L12 12J15 03C65 PDFBibTeX XMLCite \textit{B. I. Dahn} and \textit{J. Gehne}, Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 49, 39--41 (1983; Zbl 0571.03013)
Crabbé, Marcel The axiom of choice in type theory with ambiguity axioms. (English) Zbl 0554.03027 Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 49, 28-38 (1983). Reviewer: Z.Adamowicz MSC: 03E70 03E25 03B15 PDFBibTeX XMLCite \textit{M. Crabbé}, Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 49, 28--38 (1983; Zbl 0554.03027)
Tuschik, H. P. The Ramsey theorem for additive colourings. (English) Zbl 0546.03031 Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 49, 129-136 (1983). Reviewer: K.Wolfsdorf MSC: 03E05 PDFBibTeX XMLCite \textit{H. P. Tuschik}, Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 49, 129--136 (1983; Zbl 0546.03031)
Mundici, Daniele Inverse topological systems and compactness in abstract model theory. (English) Zbl 0537.03027 Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 49, 73-98 (1983). Reviewer: R.Gurevič MSC: 03C95 03C80 54H99 PDFBibTeX XMLCite \textit{D. Mundici}, Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 49, 73--98 (1983; Zbl 0537.03027)
Charretton, Ch.; Pouzet, M. Comparaison des structures engendrées par des chaînes. (French) Zbl 0533.03019 Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 49, 17-27 (1983). MSC: 03C52 PDFBibTeX XMLCite \textit{Ch. Charretton} and \textit{M. Pouzet}, Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 49, 17--27 (1983; Zbl 0533.03019)
Rothmaler, Philipp Another treatment of the foundations of forking theory. (English) Zbl 0532.03012 Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 49, 110-128 (1983). MSC: 03C45 PDFBibTeX XMLCite \textit{P. Rothmaler}, Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 49, 110--128 (1983; Zbl 0532.03012)
Poizat, Bruno Propriétés ”modèle-théoretiques” d’une théorie du premier ordre. (French) Zbl 0531.03014 Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 49, 99-109 (1983). Reviewer: D.Lascar MSC: 03C45 03C52 03C95 PDFBibTeX XMLCite \textit{B. Poizat}, Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 49, 99--109 (1983; Zbl 0531.03014)
Wolter, Helmut On the ”problem of the last root” for exponential terms. (English) Zbl 0529.03013 Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 49, 144-152 (1983). MSC: 03C60 PDFBibTeX XMLCite \textit{H. Wolter}, Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 49, 144--152 (1983; Zbl 0529.03013)
Tuschik, H. P.; Weese, M. An unstable \(\aleph_ 0\)-categorical theory without the strict order property. (English) Zbl 0529.03011 Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 49, 137-143 (1983). MSC: 03C45 03C35 PDFBibTeX XMLCite \textit{H. P. Tuschik} and \textit{M. Weese}, Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 49, 137--143 (1983; Zbl 0529.03011)
Boffa, M. Arithmetic and theory of types. (English) Zbl 0528.03021 Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 49, 10-16 (1983). MSC: 03C62 03B15 03C15 PDFBibTeX XMLCite \textit{M. Boffa}, Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 49, 10--16 (1983; Zbl 0528.03021)
Baudisch, Andreas A remark on \(\aleph_ 0\)-categorical stable groups. (English) Zbl 0528.03017 Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 49, 4-9 (1983). MSC: 03C45 03C35 20A15 20K99 20F18 PDFBibTeX XMLCite \textit{A. Baudisch}, Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 49, 4--9 (1983; Zbl 0528.03017)
Herrmann, Eberhard Definable Boolean pairs in the lattice of recursively enumerable sets. (English) Zbl 0517.03013 Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 49, 42-67 (1983). MSC: 03D25 03D35 PDFBibTeX XMLCite \textit{E. Herrmann}, Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 49, 42--67 (1983; Zbl 0517.03013)