Oberseminar für Logik und Geometrie

Im Oberseminar Logik und Geometrie werden aktuelle Forschungsarbeiten
vom Team der Professur für Reine Mathematik vorgestellt. Die
Forschungsgebiete sind:

Logik und Modelltheorie
Relle Algebraische Geometrie und Reelle Analytische Geometrie
Reelle Algebra und Kommutative Algebra
Topologische Gruppen

In unregelmäßigen Abständen tragen auswärtige Gäste über ihre Ergebnisse vor.
Desweiteren präsentieren Studentinnen und Studenten ihre Abschlussarbeiten.

Winterssemester 2023/2024: Montag, 14 Uhr, Seminarraum 033 im FIM-Gebäude

Programm:

9. August 2023, 12.15 Uhr, IM 242: Jonathan Adler (Universität Passau)
Koordinatenbereiche von affinen Ebenen (Präsentation der Bachelorarbeit)
8. September 2023, 10.00 Uhr, IM 242: Maximilian Reif (Universität Passau)
Spectrum Functors and Stone Duality (Präsentation der Masterarbeit)
17. Oktober 2023, 14.15 Uhr, IM 033: Christina Praml (Universität Passau)
Jeder endliche Schiefkörper ist ein Körper (Proseminarvortrag Bachelorstudium)
23. Januar 2024, 14.15 Uhr, IM 033: Anton Freund (Universität Würzburg)
TBA

Sommersemester 2023: Montag, 14 Uhr, Seminarraum 033 im FIM-Gebäude

Programm:

13. März 2023, 14.00 Uhr, IM 030: Lou van den Dries (Universität Illinois)
Some Problems around Hardy Fields and O-Minimality
8. April, 14.15 Uhr, IM 033: Tobias Kaiser (Universität Passau)
Periods, Power Series, and Integrated Algebraic Numbers
25. April, 14.15 Uhr, IM 033: Moritz Müller (Universität Passau)
Forcing in Bounded Arithmetic I: General Set-Up
2. Mai, 14.15 Uhr , IM 033: Moritz Müller (Universität Passau)
Forcing in Bounded Arithmetic II: Switching Lemmas
9. Mai, 14.15 Uhr, IM 033: Daniel Yoon (Universität Passau)
Pfaffian Closure in Non-Standard Structures I
16. Mai, 14.15 Uhr, IM 033: Daniel Yoon (Universität Passau)
Pfaffian Closure in Non-Standard Structures II
23. Mai, 14.15 Uhr, IM 033: Maximilian Reif (Universität Passau)
Spectrum Functors and Stone Duality
6. Juni, 14.15 Uhr, IM 033: Lydia Außenhofer (Universitat Passau)
Topological Groups determined by Sequences
13. Juni, 14.15 Uhr, IM 033: Quirin Moos (Universität Passau)
Angeordnete algebraische Strukturen in o-minimalen Strukturen I (Seminar-Vortrag)
20. Juni, 14.15 Uhr, IM 033: Quirin Moos (Universität Passau)
Angeordnete algebraische Strukturen in o-minimalen Strukturen I (Seminar-Vortrag)
27. Juni, 14.15 Uhr, IM 033: Azza Gaysin (Universität Passau)
Constraint Satisfaction Problems: Basics
4. Juli, 14.15 Uhr, IM 033: Azza Gaysin (Universität Passau)
Proof Complexity of Constraint Satisfaction Problems I
11. Juli, 14.15 Uhr, IM 033: Azza Gaysin (Universität Passau)
Proof Complexity of Constraint Satisfaction Problems II
18. Juli,, 14.15 Uhr, Zoom: Victor Alfaro Pérez (Universität Passau)
Weierstraß Preparation Theorem and Division Theorem (Seminar-Vortrag)

Winterssemester 2022/2023: Montag, 14 Uhr, Seminarraum 004 im FIM-Gebäude

Programm:

29. August 2022, 12.30 Uhr, IM 242: Valentin Fuchs (Universität Passau)
Über die Zusammenhänge zwischen Möbiustransformationen, hyperbolischer
Geometrie und Fuchschen Gruppen (Präsentation der Bachelorarbeit)
6. Dezember 2022, 12.30 Uhr, IM 242: Matthias Hanl (Universität Passau)
Eindeutigkeit des Modells der hyperbolischen Ebene (Präsentation der Bachelorarbeit)
30. Januar 2023, 14.15 Uhr, SR 004: Florian Iglauer (Universität Passau)
Fast-periodische Funktionen I (Seminar-Vortrag)
6. Februar 2023, 14.15 Uhr, SR 004: Florian Iglauer (Universität Passau)
Fast-periodische Funktionen II (Seminar-Vortrag)

Sommersemester 2022: Montag, 14 Uhr, Seminarraum 033 im FIM-Gebäude

Programm:

25. April 2022: Stefan Trager (Universität Passau)
Grundlagen von Gruppenringen (Präsentation der Bachelorarbeit)
2. Mai 2022: Stefan Trager (Universität Passau)
Die Bieberbach-Vermutung: Ein funktionentheoretischer Beweis
(Präsentation der Bachelorarbeit)
16. Mai 2022: Maximilian Reif (Universität Passau)
Darstellungssatz für Boolesche Algebren I (Seminar-Vortrag)
23. Mai 2022: Maximilian Reif (Universität Passau)
Darstellungssatz für Boolesche Algebren II (Seminar-Vortrag)
2. Juni 2022: Andreas Finsterwalder (Universität Passau)
Stone-Cech-Kompaktifizierung (Präsentation der Bachelorarbeit)
4. Juli 2022: Lydia Außenhofer (Universität Passau)
Pontrjagin- Reflexivität lokalkonvexer Räume
11. Juli 2022: Daniel Yoon (Universität Passau)
Der Pfaffsche Abschluss einer o-minimalen Struktur I
18. Juli 2022: Daniel Yoon (Universität Passau)
Der Pfaffsche Abschluss einer o-minimalen Struktur II
25. Juli 2022: Katrin Öhler (Universität Passau)
Klassische Sätze über das Randverhalten von Potenzreihen
(Präsentation der Bachelorarbeit)

Winterssemester 2021/2022

Programm:

18. Oktober 2021, 14 s.t., SR 007: Larissa Berninghaus (Universitat Passau)
Charakterisierung noetherscher Ringe (Prasentation der Bachelorarbeit)
18. Oktober 2021, 15 s.t., SR 007: Luisa Weinmaier (Universitat Passau)
Einführung in die p-adische Analysis (Prasentation der Bachelorarbeit)
8. November 2021, 14 c.t., SR 007: Prof. Dr. Lydia Außenhofer (Universität Passau)
Pontryagin-van Kampen Duality Theorem I
15. November 2021, 14 c.t., SR 007: Prof. Dr. Lydia Außenhofer (Universität Passau)
Pontryagin-van Kampen Duality Theorem II
22. November 2021, 14 c.t., SR 007: Prof. Dr. Lydia Außenhofer (Universität Passau)
Pontryagin-van Kampen Duality Theorem III
6. Dezember 2021, 14 c.t., SR 008b: Peeravas Veeravan (Universität Passau)
The Real Spectrum of the Multivariate Polynomial Ring I (Seminar-Vortrag)
13. Dezember 2021, 14 c.t., SR 008b: Peeravas Veeravan (Universität Passau)
The Real Spectrum of the Multivariate Polynomial Ring II (Seminar-Vortrag)
10. Januar 2022, 14 c.t., SR 008b: Andre Opris (Universität Passau)
Holomorphic Extensions in the O-Minimal Structure R_an,exp I
17. Januar 2022, 14 c.t., SR 008b: Andre Opris (Universität Passau)
Holomorphic Extensions in the O-Minimal Structure R_an,exp II
24. Januar 2022, 14 c.t., SR 008b: Andre Opris (Universität Passau)
Holomorphic Extensions in the O-Minimal Structure R_an,exp III
31. Januar 2022, 14 c.t., SR 008b: Mouli Javia (Universität Passau)
Model Theory of Ordered Fields I (Seminar-Vortrag)
7. Februar 2022, 14 c.t., SR 008b: Mouli Javia (Universität Passau)
Model Theory of Ordered Fields II (Seminar-Vortrag)
21. Februar 2022, 14 c.t., via Zoom: Daniel Yoon (Universität Passau)
The Decidability of the Real Expotential Field assuming Schanuel's Conjecture
(Präsentation der Masterarbeit)
28. Februar 2022, 14.c.t., SR 007: Pavel Prudnikov (Universtät Passau,
HSE Nischni Nowgorod)
Nonstandard Analysis (Seminar-Vortrag)

Sommersemester 2021

Programm:

26. Februar 2021, 10 s.t., IM 242: Michael Klampfl (Universität Passau)
Billard bei elementaren geometrischen Mengen (Präsentation der Bachelorarbeit)
28. Mai 2021, 10 s.t., IM 242: Jamine Stenzel (Universität Passau):
Quadratische Zahlkörper (Präsentation der Zulassungsarbeit)
7. Juli 2021, 16 c.t., IM 242: Fernanda Florido (Universität Passau, HSE Nischni Nowgorod)
Morley Rank and Morley Degree (Seminar-Vortrag)
12. Juli 2021, 16 s.t.; IM 242: Thomas Baumgartner (Universität Passau)
Differentialalgebra (Präsentation der Bachelorarbeit)

Winterssemester 2020/2021 (Alle Vorträge wegen Corona nicht öffentlich)

Programm:

14. September 2020, 12 s.t. IM 242: Jonas Haselböck (Universität Passau):
Stetige Fortsetzbarkeit konformer Abbildungen (Präsentation der Bachelorarbeit)
21. September 2020, 12 s.t. IM 242: Natalie Freund (Universität Passau):
Grundlagen der ebenen euklidischen Geometrie (Präsentation der Bachelorarbeit)
21. September 2020, 15 s.t. IM 242: Maximilian Urmann (Universität Passau):
Angeordnete Ebenen (Präsentation der Bachelorarbeit)
21. September 2020, 17 s.t. IM 242: Julian Pohl (Universität Passau):
Die Sätze von Prüfer über unendliche abelsche Gruppen (Präsentation der Bachelorarbeit)
23. September 2020, 9 s.t., SR 030: Silvia Zepf (Universität Passau):
Model Theory of Differential Fields (Präsentation der Masterarbeit)
2. November 2020, 16. c.t., IM 242: Christian Szamosi (Universität Passau):
Semilineare Mengen - Beispiele einer o-minimalen Struktur (Präsentation der Bachelorarbeit)
9. November 2020, 16. c.t., IM 242: Laura Oblak (Universität Passau):
Algebraische Kurven (Präsentation der Bachelorarbeit)
23. November 2020, 16. c.t., Zoom: Julia Steinbrenner (Universität Passau):
Klassische Sätze über reellanalytische Funktionen (Präsentation der Bachelorarbeit)
7. Dezember 2020, 16. c.t., Zoom: Simon Ellinger (Universität Passau):
Bewertete Körper (Seminar-Vortrag)
11. Januar 2021, 16 c.t., IM 242: Quirin Moos (Universität Passau):
Der Satz von Peano und Borel (Präsentation der Bachelorarbeit)
18. Januar 2021, 16. c.t., IM 242: Michael Luppert (Universität Passau):
Der Satz von Baer-Krull (Seminar-Vortrag)
26. Januar 2021, 16 c.t., Zoom: Daniel Yoon (Universität Passau)
Introduction to Forcing I (Seminar-Vortrag)
27. Januar 2021, 16. c.t., Zoom: Daniel Yoon (Universität Passau)
Introduction to Forcing II (Seminar-Vortrag)
1. Februar 2021, 16. c.t., IM 242: Fernanda Florido (Universität Passau, HSE Nischni Nowgorod)
Model Theory of Ordered Abelian Groups (Seminar-Vortrag)
8. Februar 2021,16. c.t., Zoom: Pavel Prudnikov (Universität Passau, HSE Nischni Nowgorod)
Nonstandard Analysis I (Seminar-Vortrag)

Sommersemester 2020 (Alle Vorträge wegen Corona nicht öffentlich)

Programm:

17. März 2020, 10-12, IM 242: Sebastian Krapp (Universität Konstanz):
Real Exponentation and Exponential Integer Parts
9. Juni 2020, 10-12, HS 13: Andrea Auer (Universität Passau):
Aufbau der Funktionentheorie über den topologischen Index
(Präsentation der Bachelor-Arbeit)
16. Juni 2020, 10-12, HS 13: Maximilian Reif (Universität Passau):
Surreale Zahlen (Präsentation der Bachelor-Arbeit)

Wintersemester 2019/2020: Montag, 14-16, Seminarraum 007 im FIM-Gebäude

Programm:

14. Oktober: Lydia Außenhofer (Universität Passau):
Transcendence of Euler and Circle Number
21. Oktober: Markus J. Pflaum (University of Colorado):
Whitney Functions determine the Real Homotopy Type of a Semianalytic Set
28. Oktober: André Opris (Universität Passau):
The Pila-Wilkie Theorem I
4. November: André Opris (Universität Passau):
The Pila-Wilkie Theorem II
11. November: Wen Chu (Universität Passau):
The Field of Transseries I
18. November: Wen Chu (Universität Passau):
The Field of Transseries II
25. November: Wen Chu (Universität Passau)
The Field of Transseries III
2. Dezember: Wen Chu (Universität Passau)
The Field of Transseries IV
9. Dezember: Laura Oblak (Universität Passau):
Einführung in die Theorie quadratischer Formen (Seminar-Vortrag)
16. Dezember: Carla Willmann (Universität Passau):
Der Wittsche Kürzungssatz (Seminar-Vortrag)
13. Januar: Daniel Yoon (Universität Passau):
The Elementary Theory of Restricted Analytic Fields with Exponentiation I (Seminar-Vortrag)
20. Januar: Daniel Yoon (Universität Passau):
The Elementary Theory of Restricted Analytic Fields with Exponentiation II (Seminar-Vortrag)
27. Januar: Martin Hils (Universität Münster):
Klassifikation definierbarer Quotienten
21. Februar, 10 s.t., SR 030: Dikran Dikranjan (Universität Udine):
Categorial closure operators and their applications

Sommersemester 2019: Montag, 14-16, Seminarraum 033 im FIM-Gebäude

Programm:

14. Februar (10 s.t., SR 030): Raphael Ebker (Universität Passau):
Der Fortsetzungssatz von Tietze (Präsentation der Bachelor-Arbeit)
12. März (10 s.t., SR 030): Daniel Yoon (Universität Passau):
Einführung in die Nichtstandardanalysis (Proseminar-Vortrag)
29. April: Daniel Klee (Universität Passau):
Der semialgebraische Abbildungssatz (Präsentation der Bachelor-Arbeit)
6. Mai: Silvia Zepf (Universität Passau):
Strongly Minimal Theories (Seminar-Vortrag)
13. Mai: Kein Vortrag
20. Mai: Kein Vortrag
27. Mai: Andre Opris (Universität Passau)
Holomorphic extension of log-analytic functions in one variable I
3. Juni: Andre Opris (Universität Passau)
Holomorphic extension of log-analytic functions in one variable II
10. Juni: Pfingstmontag
17. Juni: Wen Chu (Universität Passau)
Field of Transseries I
24. Juni: Wen Chu (Universität Passau)
Field of Transseries II
1. Juli: Adrian Seine (Universität Passau)
Das Monotonie-Theorem in o-minimalen Strukturen (Seminar-Vortrag)
8. Juli: Lydia Außenhofer (Universität Passau)
The group Z^(N)does not have a Mackey topology
15. Juli: Lena Stitzl (Universität Passau)
Erste und zweite Fundamentalform von regulären Flächen. (Präsentation der Bachelorarbeit)
22. Juli: Matthias Aschenbrenner (University of California at Los Angeles)
Defining properties of ideals in rings of p-adic power series

Wintersemester 2018/2019: Dienstag, 14-16, Seminarraum 030 im FIM-Gebäude

Programm:

15. Oktober: André Opris (Universität Passau):
Das Tammsche Theorem
22. Oktober: Daniel Veitl (Universität Passau):
Wachstum von Funktionen in o-minimalen Strukturen (Präsentation der Bachelor-Arbeit)
29. Oktober: Matthias Englmüller (Universität Passau)
Der verallgemeinerte Satz von Tougeron über implizite Funktionen für Potenzreihen (Präsentation der Bachelor-Arbeit)
5. November: André Opris (Universität Passau)
Holomorphe Fortsetzung von log-analytischen Funktionen I: Log-analytische Funktionen
12. November: André Opris (Universität Passau)
Holomorphe Fortsetzung von log-analytischen Funktionen II: Logarithmische Skalen
19. November: André Opris (Universität Passau)
Holomorphe Fortsetzung von log-analytischen Funktionen III: Cauchy-Integrale
26. November: André Opris (Universität Passau)
Holomorphe Fortsetzung von log-analytischen Funktionen IV: Holomorphie und Definierbarkeit
3. Dezember: Tobias Kaiser (Universität Passau)
Lebesgue-Integration auf nicht-archimedischen Strukturen I: Grundlagen
10. Dezember: Kein Vortrag
17. Dezember: Tobias Kaiser (Universität Passau)
Lebesgue-Integration auf nicht-archimedischen Strukturen II: Logarithmen
7. Januar: Tobias Kaiser (Universität Passau)
Lebesgue-Integration auf nicht-archimedischen Strukturen III: Konstruierbare Funktionen
14. Januar: Tobias Kaiser (Universität Passau)
Lebesgue-Integration auf nicht-archimedischen Strukturen IV: Integration
21. Januar: Lydia Außenhofer (Universität Passau)
Nukleare Vektorräume und nukleare Gruppen I
28. Januar: Lydia Außenhofer (Universität Passau)
Nukleare Vektorräume und nukleare Gruppen II

7. Februar: 12 c.t., SR 034: Vincent Astier (University College Dublin)
Elementary equivalence of lattices of open sets definable in o-minimal expansions of fields.
12. Februar: 14 c.t. SR 030: Marcus Tressl (University of Manchester)
Interpretations of lattice ordered abelian groups in toplogies.

Sommersemester 2018: Montag, 14-16, Seminarraum 033 im FIM-Gebäude

Programm:

9. April: Tobias Kaiser (Universität Passau):
Holomorphe Fortsetzung von definierbaren Funktionen.
16. April: Andre Opris (Universität Passau):
Holomorphe Fortsetzung in R_an, Teil I.
23. April: Andre Opris (Universität Passau):
Holomorphe Fortsetzung in R_an, Teil II.
30. April: Christina Nagl (Universität Passau):
Monotonie und Zellzerlegung in o-minimalen Strukturen (Präsentation der Bachelorarbeit).
7. Mai: Alexandra Rupp (Universität Passau):
Tensorprodukt und äußeres Produkt (Präsentation der Bachelorarbeit).
14. Mai: Lydia Außenhofer (Universität Passau):
Determinierte Gruppen.
28. Mai: Lydia Außenhofer (Universität Passau):
Kompatible Gruppentopologien für lokalkompetente abelsche Gruppen.
4. Juni: Sebastian Krapp (Universität Konstanz):
Real Exponentiation and Exponential Groups.
11. Juni: Tobias Kaiser (Universität Passau):
Hardy fields, o-minimal structures, and connections to Hilbert 16.
18. Juni: Fabiano Cassin (Universität Passau):
Kettenbrüche (Präsentation der Zulassungsarbeit).
25. Juni: Shahla Rasulzade (Universität Passau):
Smoothness in o-minimal structures, Part I (Master-Seminar).
2. Juli: Shahla Rasulzade (Universität Passau):
Smoothness in o-minimal structures, Part II (Master-Seminar).
9. Juli: Patrick Speissegger (McMaster University):
Quasianalytic Ilyashenko algebras.
19. Juli (10.00 Uhr, SR 004): Stefan Wolf (Universität Passau):
Die Resultate und Diskriminante sowie deren Anwendung in der Galoistheorie
(Präsentation der Bachelorarbeit).

Wintersemester 2017/2018: Dienstag, 14-16, Seminarraum 201 im Audimaxgebäude

Programm:

17. Oktober: Andre Opris (Universität Passau):
Einführung in die reelle Algebra

24. Oktober: Andre Opris (Universität Passau):
Einführung in die semialgebraische Geometrie

07. November: Andre Opris (Universität Passau):
Einführung in die o-minimalen Strukturen

14. November: Johanna Forisch (Universität Passau):
Spektren von kommutativen Ringen und spektrale Räume

21. November: René Hellesø (Universität Passau):
Sätze aus der Funktionentheorie in o-minimalen Strukturen

28. November: Johannes Przybilla (Universität Passau):
Der Hahnsche Einbettungssatz

5. Dezember: Tobias Kaiser (Universität Passau):
Lebesgue-Integration auf nichtarchimedischen reell abgeschlossenen Körpern I:
Modelltheoretische und algebraische Grundlagen.
12. Dezember: Tobias Kaiser (Universität Passau):
Lebesgue-Integration auf nichtarchimedischen reell abgeschlossenen Körpern II:
Konstruktion des Lebesguemaßes und des Lebesgueintegrals.
19. Dezember: Tobias Kaiser (Universität Passau):
Lebesgue-Integration auf nichtarchimedischen reell abgeschlossenen Körpern III:
Zentrale Sätze der Integrationstheorie.
9. Januar: Lydia Außenhofer (Universität Passau):
Einführung in die Dualitätstheorie abelscher topologischer Gruppen.
16. Januar: Armin Rainer (Universität Wien):
Arc-smooth functions on closed sets.
23. Januar: Lydia Außenhofer (Universität Passau):
Einführung in die Mackey-Topologie für lokalkonvexe Vektorräume und lokal quasi-konvexe Gruppen.
30. Januar: Andre Opris (Universität Passau):
Vorbereitungssätze in o-minimalen Strukturen I.
6. Februar: Andre Opris (Universität Passau):
Vorbereitungssätze in o-minimalen Strukturen II.Komplexifizierung in o-minimalen Strukturen.