Baudisch, Andreas On the model theory of free metabelian groups of bounded exponent. (English) Zbl 0682.03019 Logic colloq. ’88, Proc. Colloq., Padova/Italy 1988, Stud. Logic Found. Math. 127, 1-10 (1989). Reviewer: A.Baudisch MSC: 03C60 20A15 20F16 03B25 PDFBibTeX XML
Barwise, J. (ed.); Feferman, S. (ed.) [Feferman, S.; Barwise, J.; Ebbinghaus, H.-D.; Flum, J.; Kaufmann, M.; Schmerl, J. H.; Mundici, D.; Baudisch, A.; Seese, D.; Tuschik, P.; Weese, M.; Nadel, M.; Dickmann, M. A.; Kolaitis, Ph. G.; Eklof, P. C.; Baldwin, J.; Gurevich, Y.; Keisler, H. J.; Ziegler, M.; Steinhorn, C. I.; Väänänen, J.; Makowsky, J. A.; Scott, D. S.; McCarty, D. C.; Horty, J. F.] Model-theoretic logics. (Parts D-F). (English) Zbl 0587.03002 Perspectives in Mathematical Logic. New York etc.: Springer-Verlag. XVIII, 893 p. DM 480.00 (1985). Reviewer: D. Mundici MSC: 03-02 03C70 03C95 03C80 03C52 03-06 03B25 03C40 03B15 03B48 03C60 03C85 PDFBibTeX XML
Barwise, J. (ed.); Feferman, S. (ed.) [Feferman, S.; Barwise, J.; Ebbinghaus, H.-D.; Flum, J.; Kaufmann, M.; Schmerl, J. H.; Mundici, D.; Baudisch, A.; Seese, D.; Tuschik, P.; Weese, M.; Nadel, M.; Dickmann, M. A.; Kolaitis, Ph. G.; Eklof, P. C.; Baldwin, J.; Gurevich, Y.; Keisler, H. J.; Ziegler, M.; Steinhorn, C. I.; Väänänen, J.; Makowsky, J. A.; Scott, D. S.; McCarty, D. C.; Horty, J. F.] Model-theoretic logics. (Parts A-C). (English) Zbl 0587.03001 Perspectives in Mathematical Logic. New York etc.: Springer-Verlag. XVIII, 893 p. DM 480.00 (1985). Reviewer: D.Mundici MSC: 03-02 03C70 03C95 03C80 03C52 03-06 03B25 03C40 03B15 03B48 03C60 03C85 PDFBibTeX XML
Baudisch, A.; Seese, D. G.; Tuschik, H. P. \(\omega\)-trees in stationary logic. (English) Zbl 0574.03018 Fundam. Math. 119, 205-215 (1983). Reviewer: J.Oikkonen MSC: 03C80 03B25 PDFBibTeX XMLCite \textit{A. Baudisch} et al., Fundam. Math. 119, 205--215 (1983; Zbl 0574.03018) Full Text: DOI EuDML
Baudisch, Andreas Corrections and supplements to ”Decidability of the theory of Abelian groups with Ramsey quantifiers”. (English) Zbl 0533.03002 Bull. Pol. Acad. Sci., Math. 31, 99-105 (1983). Reviewer: M.Yasuhara MSC: 03B25 03C80 20K99 03C85 PDFBibTeX XMLCite \textit{A. Baudisch}, Bull. Pol. Acad. Sci., Math. 31, 99--105 (1983; Zbl 0533.03002)
Baudisch, Andreas Decidability and stability of free nilpotent Lie algebras and free nilpotent p-groups of finite exponent. (English) Zbl 0499.03016 Ann. Math. Logic 23, 1-25 (1982). MSC: 03C60 03C45 03B25 PDFBibTeX XMLCite \textit{A. Baudisch}, Ann. Math. Logic 23, 1--25 (1982; Zbl 0499.03016) Full Text: DOI
Baudisch, Andreas The elementary theory of Abelian groups with m-chains of pure subgroups. (English) Zbl 0477.20005 Fundam. Math. 112, 147-157 (1981). MSC: 20A15 03C80 03C65 20K27 20K99 03B25 03C10 PDFBibTeX XMLCite \textit{A. Baudisch}, Fundam. Math. 112, 147--157 (1981; Zbl 0477.20005) Full Text: DOI EuDML
Baudisch, Andreas Application of the theorem of Sirsov-Witt in the theory of groups and Lie algebras. Addendum. (English) Zbl 0454.03015 Prepr., Akad. Wiss. DDR, Zentralinst. Math. Mech. P-30/80, 9 p. (1980). MSC: 03C60 20A15 03B25 20E05 20F18 03C10 03C45 20E10 PDFBibTeX XML
Baudisch, Andreas; Seese, Detlef; Tuschik, Hans-Peter; Weese, Martin Decidability and generalized quantifiers. (English) Zbl 0442.03011 Mathematical Research. Mathematische Forschung, Band 3. Berlin: Akademie- Verlag. XII, 235 p. M 31.00 (1980). MSC: 03B25 03-02 20A15 06A05 20K99 05C05 03C10 06E99 03C80 PDFBibTeX XML
Baudisch, Andreas Application of the theorem of Sirsov-Witt in the theory of groups and Lie algebras. (English) Zbl 0436.03028 Prepr., Akad. Wiss. DDR, Zentralinst. Math. Mech. P-25/80, 44 p. (1980). MSC: 03C60 20A15 20E05 20E07 20E10 20F18 20F50 03C10 03C45 17B30 03B25 PDFBibTeX XML
Baudisch, Andreas The theory of Abelian p-groups with the quantifier I is decidable. (English) Zbl 0369.02024 Fundam. Math. 108, 183-197 (1980). MSC: 03B25 03C80 03C99 PDFBibTeX XMLCite \textit{A. Baudisch}, Fundam. Math. 108, 183--197 (1980; Zbl 0369.02024) Full Text: DOI EuDML
Baudisch, Andreas The elementary theory of Abelian groups with m-chains of pure subgroups. (Preprint). (English) Zbl 0413.03022 Akademie der Wissenschaften der DDR, Zentralinstitut für Mathematik und Mechanik. 26 S. (1979). MSC: 03C65 03B25 03C60 03C80 03B30 20K99 06A05 06E99 05C05 05C10 PDFBibTeX XML
Baudisch, Andreas The theory of Abelian groups with the quantifier (\(\leq x\)). (English) Zbl 0441.03009 Z. Math. Logik Grundlagen Math. 23, 447-462 (1977). MSC: 03C80 03B25 03C60 20A15 20F10 20K15 20K99 PDFBibTeX XMLCite \textit{A. Baudisch}, Z. Math. Logik Grundlagen Math. 23, 447--462 (1977; Zbl 0441.03009) Full Text: DOI
Baudisch, Andreas A note on the elementary theory of torsion free Abelian groups with one predicate for subgroups. (English) Zbl 0423.03036 Wiss. Z. Humboldt-Univ. Berlin, Math.-Naturwiss. Reihe 26, 611-612 (1977). MSC: 03C60 03C65 20K20 03B25 PDFBibTeX XMLCite \textit{A. Baudisch}, Wiss. Z. Humboldt-Univ. Berlin, Math.-Naturw. R. 26, 611--612 (1977; Zbl 0423.03036)
Baudisch, A. Kommutationsgleichungen in semifreien Gruppen. (German) Zbl 0381.20027 Acta Math. Acad. Sci. Hung. 29, 235-249 (1977). MSC: 20F05 20E07 03B25 PDFBibTeX XMLCite \textit{A. Baudisch}, Acta Math. Acad. Sci. Hung. 29, 235--249 (1977; Zbl 0381.20027) Full Text: DOI
Baudisch, Andreas Decidability of the theory of Abelian groups with Ramsey quantifiers. (English) Zbl 0375.02045 Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 25, 733-739 (1977). MSC: 03B25 03C60 20K99 PDFBibTeX XMLCite \textit{A. Baudisch}, Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 25, 733--739 (1977; Zbl 0375.02045)
Baudisch, A. Elimination of the quantifier \(Q_\alpha\) in the theory of Abelian groups. (English) Zbl 0341.02040 Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 24, 543-549 (1976). MSC: 03B25 03C60 20K99 03C80 PDFBibTeX XMLCite \textit{A. Baudisch}, Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 24, 543--549 (1976; Zbl 0341.02040)
Baudisch, Andreas Endliche n-äquivalente Gruppen. (German) Zbl 0325.02034 Wiss. Z. Humboldt-Univ. Berlin, Math.-naturw. R. 24, 757-764 (1975). MSC: 03B25 03C60 20K99 PDFBibTeX XMLCite \textit{A. Baudisch}, Wiss. Z. Humboldt-Univ. Berlin, Math.-Naturw. R. 24, 757--764 (1975; Zbl 0325.02034)
Baudisch, Andreas Die elementare Theorie der Gruppe vom Typ \(p^\infty\) mit Untergruppen. (German) Zbl 0319.02038 Z. Math. Logik Grundlagen Math. 21, 347-352 (1975). MSC: 03B25 03C60 20A10 20K99 PDFBibTeX XMLCite \textit{A. Baudisch}, Z. Math. Logik Grundlagen Math. 21, 347--352 (1975; Zbl 0319.02038) Full Text: DOI
Baudisch, A. Entscheidbarkeitsprobleme elementarer Theorien von Klassen abelscher Gruppen mit Untergruppen. (German) Zbl 0307.02030 Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 23, 111-115 (1975). MSC: 03B25 03C60 20A10 PDFBibTeX XMLCite \textit{A. Baudisch}, Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 23, 111--115 (1975; Zbl 0307.02030)
Baudisch, A. Elementare Theorien von Halbgruppen mit Kürzungsregeln mit einem einstelligen Prädikat. (German) Zbl 0307.02029 Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 23, 107-109 (1975). MSC: 03B25 03C60 20M99 20A10 PDFBibTeX XMLCite \textit{A. Baudisch}, Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 23, 107--109 (1975; Zbl 0307.02029)
Baudisch, Andreas Theorien Abelscher Gruppen mit einem einstelligen Prädikat. (German) Zbl 0289.02035 Fundam. Math. 83, 121-127 (1974). MSC: 03B25 03C60 20K99 PDFBibTeX XMLCite \textit{A. Baudisch}, Fundam. Math. 83, 121--127 (1974; Zbl 0289.02035) Full Text: DOI EuDML