| B. Klopsch |
O. Grundlagen der Modelltheorie |
| P. A. |
E. Kürzen in direkten Produkten von Gruppen und elementare Äquivalenz. Hauptquelle |
| -enfällt voraussichtlich- |
F. Der Satz von Morley. Hauptquelle |
|
(K. Tent, M. Ziegler: A Course in Model Theory, CUP, 2012.) |
|
(R. Hirshon: On cancellation in groups. Amer. Math. Monthly 76 (1969), 1037–1039.
F. Oger: Cancellation and elementary equivalence of groups. J. Pure Appl. Algebra 30 (1983), no. 3, 293–299.) |
| A. N. |
A1. Elementare Äquivalenz virtuell abelscher und nilpotenter Gruppen. Hauptquelle |
|
(F. Oger: Elementary equivalence for abelian-by-finite and nilpotent groups. J. Symbolic Logic 66 (2001), no. 3, 1471–1480.) |
| S. G. |
A2. Elementare Äquivalenz pro-endlicher Gruppen. Hauptquelle |
|
(M. Jarden, A. Lubotzky: Elementary equivalence of profinite groups. Bull. Lond. Math. Soc. 40 (2008), no. 5, 887–896.) |
| R. R. |
B1. Angeordnete und bewertete Körper. Hauptquelle |
|
(P. M. Cohn: Basic Algebra, Springer, 2003; Definitionen und ausgewählte Resultate aus 8.6-8.8 sowie 9.1-9.3.) |
| -entfällt voraussichtlich- |
B2. Reell abgeschlossene Bewertungsringe. Hauptquelle |
|
(G. Cherlin, M. A. Dickmann: Real closed rings. II. Model theory. Ann. Pure Appl. Logic 25 (1983), no. 3, 213–231.
M. A. Dickmann: Elimination of quantifiers for ordered valuation rings. J. Symbolic Logic 52 (1987), no. 1, 116–128.) |
| A. K. |
C1. Klassische Gruppen. Hauptquelle |
|
(M. Artin: Algebra, Birkhäuser, 1993; Definitionen und ausgewählte Resultate aus Kapitel 8.
T. Bröcker, T. tom Dieck: Representations of compact Lie groups, Springer, 1985; ergänzend: I.1-I.3.) |
| -entfällt voraussichtlich- |
C2. Die Pillaysche Vermutung. Hauptquelle |
|
(Y. Peterzil: Pillay’s conjecture and its solution—a survey. Logic Colloquium 2007, 177–203, Lect. Notes Log., 35, Assoc. Symbol. Logic, La Jolla, CA, 2010.) |
| -entfällt voraussichtlich- |
D1. Hochgradig transitive und homogene Permutationsgruppen. Hauptquelle |
|
(P. J. Cameron: Transitivity of permutation groups on unordered sets. Math. Z. 148 (1976), no. 2, 127–139; Abschnitt 2.
D. Livingstone, A. Wagner: Transitivity of finite permutation groups on unordered sets. Math. Z. 90 (1965), 393–403.) |
| -entfällt voraussichtlich- |
D2. Redukte der geordneten rationalen Zahlen. Hauptquelle |
|
(M. Bhattacharjee e.a.: Notes on Infinite Permutation Groups, Hindustan Book Agency, 1997; Definitionen und ausgewählte Resultate aus 9, 12, 13.
P. J. Cameron: Transitivity of permutation groups on unordered sets. Math. Z. 148 (1976), no. 2, 127–139.) |
In dem Seminar behandeln wir ausgewählte Themen aus der Algebra und Modelltheorie. Oftmals führen klassische algebraische Problemstellungen, die sich zunächst auch mit Methoden der Algebra behandeln und lösen lassen, zu interessanten modelltheoretischen Untersuchungen. Die modell-theoretische Betrachtung wirft neues Licht auf die Angelegenheit und liefert zudem neue weiterreichende Erkenntnisse.