Seminar on Logic and Geometry
Seminar on Logic and Geometry
In the Seminar on Logic and Geometry members of our team present
current results on the research subjects of the Professorship of Pure
Mathematics and the Chair of Mathematical Logic:
- Logic and model theory
- Complexity theory
- Real algebraic and real analytic geometry
- Real and commutative algebra
Sporadically, guests from other universities talk about their work.
Aidditionally, students will speak about their final thesis.
Winter 2024/2025: Tuesday 14-16, Room 034 (FIM)
Program:
- 26. August, 10:00, IM 242: Christina Weber (University of Passau)
Projektive Ebenen und die Sätze von Desargues und Pappos (Präsentation Bachelorarbeit)
- Monday, 9. September, bis Wednesday, 11. September, ITZ 017
Journees sur les Arithmetiques Faibles 2024 (JAF 43)
Weak Arithmetics Days 2024
www.uni-passau.de/en/jaf
- 22. October, 14:30, SR 034: Anna-Kezia Rosenbauer (University of Passau)
Real Closed Fields (Seminarvortrag Masterstudium)
- 29. October, 14:15, SR 034: Martin Ulirsch (University of Frankfurt)
What is the Combinatorial Shadow of a Matrix?
- 5. November, 14:15, SR 034: Jonathan Adler (University of Passau)
Basic Open Semialgebraic Sets and Quadratic Forms I (Seminarvortrag Masterstudium)
- 12. November, 14:15, SR 034: Jonathan Adler (University of Passau)
Basic Open Semialgebraic Sets and Quadratic Forms II (Seminarvortrag Masterstudium)
- 19. November, 14:15, SR 034: Isolde Adler (University of Bamberg)
Logic and Property Testing on Bounded Degree Graphs
- 10. December, 14:15, SR 034: Azza Gaysin (University of Passau)
TBA
- 17. December, 14:15, SR 034: Jan Pich (University of Oxford)
TBA
- 7. January, 14:15, SR 034: Jonathan Heil (University of Passau)
Nonstandard Combinatorial Ultrafilters
- 14. January,
– 14:15, SR 034: Marcus Tressl (University of Manchester)
TBA
– 17:00, HS 11: Claus Scheiderer (University of Konstanz)
TBA (Kolloqiuum)
- 21. January, 14:15, SR 034: Moritz Müller (University of Passau)
Witnessing Theorems I
- 28. January, 14:15, SR 034: Moritz Müller (University of Passau)
Witnessing Theorems
- 4. February, 14:15, SR 034: Yijia Chen (Jiaotong University Shanghai)
TBA
Summer 2024: Tuesday, 14-16, Room 034 im FIM-Gebäude
Program:
- 16. April, 14.15, SR 034: Tobias Kaiser (University of Passau)
Semialgebraicity of the Convergence Domain of an Algebraic Power Series
- 23. April 2024, 14.15, SR 034 034: Michele Serra (TU Dortmund))
Automorphisms and Derivations on Infinite Summability Algebras
- 30. April 2024, 14.15, SR 034: Tim Jüttner (University of Passau)
ⴄα-Fields (Seminarvortrag Masterstudium)
- 7. May 2024, 14.15, SR 034: Jonathan Adler (University of Passau)
The Real Spectrum of ℝ [X1,...,Xn] (Seminarvortrag Masterstudium)
7. May 2024, 17.00, HS 11: Manuel Bodirsky (TU Dresden)
A Complexity Dichotomy in Spatial Reasoning via Ramsey Theory (Kolloqiuum)
- 14. May, 14.15, SR 034: Ondrej Jezil (Charles University Prague)
Primes, feasible Computation and Reasoning
14. May, SR 034: Mykyta Narusevych (Charles University Prague)
Towards new Methods for Unprovability Results in Bounded Arithmetic: Analysis
of Games
- 28. May, 14.15, SR 034: Moritz Müller (University of Passau)
Magnification Theory
- 4. Juni, 14.15, SR 034: Azza Gaysin (University of Passau)
Correspondence between first- and second- sorted theories of Bounded Arithmetic
- 11. June 2024, 14.15, SR 034: Melvin Yeung (Hasselt University)
Natural Levels in Return Maps of Polycycles - 18. June 2024, 14.15, SR 034: Daniel Yoon (University of Passau)
Introduction to Logarithmic-Exponential Series and Non-Definability Results
- 19. June 2024 - 21. June 2024, IM 242:
European Champignonship Model Theory Days Passau
https://www.fim.uni-passau.de/professur-reine-mathematik/european
- 2. July, 14.15, SR 034: Johannes Heil (University of Passau)
Model-theoretic Witnessing (Seminarvortrag Masterstudium)
- 9. July, 14.15, SR 034: Yijia Chen (Jiaotong University Shanghai)
From a Logic for P to a p-optimal Proof System for TAUT via a Halting Problem
- 16. July, 14.15 Uhr, SR 034: Christoph Brackenhofer (University of Freiburg)
Periods and PA-Cohomology
Winter 2023/2024: Monday, 14-16, Room 033 (FIM)
Program:
- 9. August 2023, 12.15, IM 242: Jonathan Adler (University of Passau)
Koordinatenbereiche von affinen Ebenen (Präsentation der Bachelorarbeit)
- 8. September 2023, 10.00, IM 242: Maximilian Reif (University of Passau)
Spectrum Functors and Stone Duality (Präsentation der Masterarbeit)
- 17. October 2023, 14.15, IM 033: Christina Praml (University of Passau)
Jeder endliche Schiefkörper ist ein Körper (Proseminarvortrag Bachelorstudium)
- 24. October 2023, 14.15, IM 033: Moritz Müller (University of Passau)
On the Consistency of Circuit Lower Bounds for Nondeterministic Time
- 31. October 2023, 14.15, IM 033: Eitetsu Ken (University of Tokio)
A brief Introduction to Bounded Arithmetics - Ajtai's Theorem and beyond
- 7. November 2023, 14.15, IM 033: Azza Gaysin(University of Passau)
On Weighted Relational Clones
- 21. November 2023, 14.15, IM 033: Neenu Vinod Beenakumari (University of Passau)
Model Completeness (Seminarvortrag Masterstudium)
- 28. November 2023, 14.15, IM 033: Hari Rajagopal (University of Passau)
Model Theory of Ordered Abelian Groups (Seminarvortrag Masterstudium)
- 12. December 2023, 14.15, IM 033: Aravind Raveendran (University of Passau)
Model Theory of Ordered Fields (Seminarvortrag Masterstudium)
- 13. December 2023, 9.00, IM 034: Xavier Trigos Arrieta (California State University)
A Field containing R and Infinitely Large Elements
- 19. December 2023, 14.15, IM 033: Jan Pich (University of Oxford)
Lokalizability of the approximation methods
- 9. January 2024, 14.15, IM 033: Kerstin Bichler (University of Passau)
Peano Existence Theorem in Nonstandard Analysis (Seminarvortrag Masterstudium)
- 16. January 2024, 14.15, IM 033: Yijia Chen (Shanghai Jiao Tong University)
Forbidden Induced Subgraphs and the Los Tarski Theorem
- 23. January 2024, 14.15, IM 033: Anton Freund (University of Würzburg)
On Finite and Slow Consistency
- 30. January 2024, 14.15, IM 033: Niels Schwartz (University of Passau)
Algebraic Lattices I
- 6. February 2024, 14.15, IM 033: Niels Schwartz (University of Passau)
Algebraic Lattices II
Summer 2023: Monday, 14-16, Room 033 (FIM)
Program:
- 13. March 2023, 14.00, IM 030: Lou van den Dries
(University of Illinois at Urbana-Champaign)
Some Problems around Hardy Fields and O-Minimality
- 8. April, 14.15, IM 033: Tobias Kaiser (University of Passau)
Periods, Power Series, and Integrated Algebraic Numbers
- 25. April, 14.15, IM 033: Moritz Müller (University of Passau)
Forcing in Bounded Arithmetic I: General Set-Up
- 2. May, 14.15, IM 033: Moritz Müller (University of Passau)
Forcing in Bounded Arithmetic II: Switching Lemmas
- 9. May, 14.15, IM 033: Daniel Yoon (University of Passau)
Pfaffian Closure in Non-Standard Structures I
- 16. May, 14.15, IM 033: Daniel Yoon (University of Passau)
Pfaffian Closure in Non-Standard Structures II
- 23. May, 14.15, IM 033: Maximilian Reif (University of Passau)
Spectrum Functors and Stone Duality
- 6. June, 14.15, IM 033: Lydia Außenhofer (University of Passau)
Topological Groups determined by Sequences - 13. June, 14.15, IM 033: Quirin Moos (University of Passau)
Angeordnete algebraische Strukturen in o-minimalen Strukturen I (Seminar-Vortrag)
- 20. June, 14.15, IM 033: Quirin Moos (University of Passau)
Angeordnete algebraische Strukturen in o-minimalen Strukturen I (Seminar-Vortrag)
- 27. June, 14.15, IM 033: Azza Gaysin (University of Passau)
Constraint Satisfaction Problems: Basics
- 4. July, 14.15, IM 033: Azza Gaysin (University of Passau)
Proof Complexity of Constraint Satisfaction Problems I
- 11. July, 14.15, IM 033: Azza Gaysin (University of Passau)
Proof Complexity of Constraint Satisfaction Problems II
- 18. July, 14.15 Uhr, Zoom: Victor Alfaro Pérez (University of Passau)
Weierstraß Preparation Theorem and Division Theorem (Seminar-Vortrag)
Winter 2022/2023: Monday, 14-16, Room 004 (FIM)
Program:
- 29. August 2022, 12.30, IM 242: Valentin Fuchs (University of Passau)
Über die Zusammenhänge zwischen Möbiustransformationen, hyperbolischer
Geometrie und Fuchschen Gruppen (Präsentation der Bachelorarbeit)
- 6. December 2022, 12.30, IM 242: Matthias Hanl (University of Passau)
Eindeutigkeit des Modells der hyperbolischen Ebene (Präsentation der Bachelorarbeit)
- 30. January 2023, 14.15, SR 004: Florian Iglauer (University of Passau)
Fast-periodische Funktionen i (Seminar-Vortrag)
- 6. February 2023, 14.15, SR 004: Florian Iglauer (University of Passau)
Fast-periodische Funktionen II (Seminar-Vortrag)
Summer 2022: Monday, 14-16, Room 033 (FIM)
Program
- 25. April 2022: Stefan Trager (University of Passau)
Grundlagen von Gruppenringen (Präsentation der Bachelorarbeit)
- 2. May 2022: Stefan Trager (University of Passau)
Die Bieberbach-Vermutung: Ein funktionentheoretischer Beweis (Präsentation der Bachelorarbeit)
- 16. May 2022: Maximilian Reif (University of Passau)
Darstellungssatz für Boolesche Algebren I (Seminar-Vortrag)
- 23. May 2022: Maximilian Reif (University of Passau)
Darstellungssatz für Boolesche Algebren II (Seminar-Vortrag)
- 2. June 2022: Andreas Finsterwalder (University of Passau)
Stone-Cech-Kompaktifizierung (Präsentation der Bachelorarbeit)
- 4. July 2022: Lydia Außenhofer (University of Passau)
Pontrjagin- Reflexivität lokalkonvexer Räume
- 11. July 2022: Daniel Yoon (University of Passau)
Der Pfaffsche Abschluss einer o-minimalen Struktur I
- 18. July 2022: Daniel Yoon (University of Passau)
Der Pfaffsche Abschluss einer o-minimalen Struktur II
- 25. July 2022: Katrin Öhler (University of Passau)
Klassische Sätze über das Randverhalten von Potenzreihen
(Präsentation der Bachelorarbeit)
Winter 2021/2022
Program:
- 18. October 2021, 14 s.t., SR 007: Larissa Berninghaus (University of Passau)
Charakterisierung noetherscher Ringe (Prasentation der Bachelorarbeit)
- 18. October 2021, 15 s.t., SR 007: Luisa Weinmaier (University of Passau)
Einführung in die p-adische Analysis (Prasentation der Bachelorarbeit)
- 8. November 2021, 14 c.t., SR 007: Prof. Dr. Lydia Außenhofer (University of Passau)
Pontryagin-van Kampen Duality Theorem I
- 15. November 2021, 14 c.t., SR 007: Prof. Dr. Lydia Außenhofer (University of Passau)
Pontryagin-van Kampen Duality Theorem II
- 22. November 2021, 14 c.t., SR 007: Prof. Dr. Lydia Außenhofer (University of Passau)
Pontryagin-van Kampen Duality Theorem III
- 6. December 2021, 14 c.t., SR 008b: Peeravas Veeravan (University of Passau)
The Real Spectrum of the Multivariate Polynomial Ring I (Seminar-Vortrag)
- 13. December 2021, 14 c.t., SR 008b: Peeravas Veeravan (University of Passau)
The Real Spectrum of the Multivariate Polynomial Ring II (Seminar-Vortrag)
- 10. January 2022, 14 c.t., SR 008b: Andre Opris (University of Passau)
Holomorphic Extensions in the O-Minimal Structure Ran,exp I
- 17. January 2022, 14 c.t., SR 008b: Andre Opris (University of Passau)
Holomorphic Extensions in the O-Minimal Structure Ran,exp II
- 24. January 2022, 14 c.t., SR 008b: Andre Opris (University of Passau)
Holomorphic Extensions in the O-Minimal Structure Ran,exp III
- 31. January 2022, 14 c.t., SR 008b: Mouli Javia (University of Passau)
Model Theory of Ordered Fields I (Seminar-Vortrag)
- 7. February 2022, 14 c.t., SR 008b: Mouli Javia (University of Passau)
Model Theory of Ordered Fields II (Seminar-Vortrag)
- 21. February 2022, 14 c.t., via Zoom: Daniel Yoon (University of Passau)
The Decidability of the Real Expotential Field assuming Schanuel's Conjecture
(Präsentation der Masterarbeit)
- 28. February 2022, 14.c.t., SR 007: Pavel Prudnikov (Universty of Passau,
HSE Nischni Nowgorod)
Nonstandard Analysis (Seminar-Vortrag)
Summer 2021
Program:
- 26. February 2021, 10 s.t., IM 242: Michael Klampfl (University of Passau):
Billard bei elementaren geometrischen Mengen (Präsentation der Bachelorarbeit)
- 28, May 2021, 10 s.t. IM 242: Jamine Stenzel (University of Passau):
Quadratische Zahlkörper (Präsentation der Zulassungsarbeit)
- 7. July 2021, 16 c.t., IM 242: Fernanda Florido (University of Passau, HSE Nischni Nowgorod)
Morley Rank and Morley Degree (Seminar-Vortrag)
- 12. July 2021, 16 s.t.; IM 242: Thomas Baumgartner (University of Passau)
Differentialalgebra (Präsentation der Bachelorarbeit)
Winter 2020/2021 (All talks are non-public because of Corona)
Program:
- 14. September 2020, 12 s.t. IM 242: Jonas Haselböck (University of Passau):
Stetige Fortsetzbarkeit konformer Abbildungen (Präsentation der Bachelorarbeit)
- 21. September 2020, 12 s.t. IM 242: Natalie Freund (University of Passau):
Grundlagen der ebenen euklidischen Geometrie (Präsentation der Bachelorarbeit)
- 21. September 2020, 15 s.t. IM 242: Maximilian Urmann (University of Passau):
Angeordnete Ebenen (Präsentation der Bachelorarbeit)
- 21. September 2020, 17 s.t. IM 242: Julian Pohl (University of 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 (University of Passau):
Model Theory of Differential Fields (Präsentation der Masterarbeit)
- 2. November 2020, 16. c.t., IM 242: Christian Szamosi (University of Passau):
Semilineare Mengen - Beispiele einer o-minimalen Struktur (Präsentation der Bachelorarbeit)
- 9. November 2020, 16. c.t., IM 242: Laura Oblak (University of Passau):
Algebraische Kurven (Präsentation der Bachelorarbeit)
- 23. November 2020, 16. c.t., Zoom: Julia Steinbrenner (University of Passau):
Klassische Sätze über reellanalytische Funktionen (Präsentation der Bachelorarbeit)
- 7. December 2020, 16. c.t., Zoom: Simon Ellinger (University of Passau):
Bewertete Körper (Seminar-Vortrag)
- 11. January 2021, 16 c.t., IM 242: Quirin Moos (University of Passau):
Der Satz von Peano und Borel (Präsentation der Bachelorarbeit)
- 18. January 2021, 16. c.t., IM 242: Michael Luppert (University of Passau):
Der Satz von Baer-Krull (Seminar-Vortrag)
- 26. January 2021, 16 c.t., Zoom: Daniel Yoon (University of Passau)
Introduction to Forcing I (Seminar-Vortrag)
- 27. January 2021, 16. c.t., Zoom: Daniel Yoon (University of Passau)
Introduction to Forcing II (Seminar-Vortrag)
- 1. February 2021, 16. c.t., IM 242: Fernanda Florido (University of Passau, HSE Nischni Nowgorod)
Model Theory of Ordered Abelian Groups (Seminar-Vortrag)
- 8. February 2021,16. c.t., Zoom: Pavel Prudnikov (Universität Passau, HSE Nischni Nowgorod)
Nonstandard Analysis I (Seminar-Vortrag)
Summer 2020 (All talks are non-public because of Corona)
Program:
- 17. March 2020, 10-12, IM 242: Sebastian Krapp (University of Konstanz):
Real Exponentation and Exponential Integer Parts
- 9. June 2020, 10-12, HS 13: Andrea Auer (University of Passau):
Aufbau der Funktionentheorie über den topologischen Index
(Präsentation der Bachelor-Arbeit)
- 16. June 2020, 10-12, HS 13: Maximilian Reif (University of Passau):
Surreale Zahlen (Präsentation der Bachelor-Arbeit)
Winter 2019/2020: Monday, 14-16, SR 007
Program:
- 14. October: Lydia Außenhofer (University of Passau):
Transcendence of Euler and Circle Number
- 21. October: Markus J. Pflaum (University of Colorado):
Whitney Functions determine the Real Homotopy Type of a Semianalytic Set
- 28. October: André Opris (University of Passau):
The Pila-Wilkie Theorem I
- 4. November: André Opris (University of Passau):
The Pila-Wilkie Theorem II
- 11. November: Wen Chu (University of Passau):
The Field of Transseries I
- 18. November: Wen Chu (University of Passau):
The Field of Transseries II
- 25. November: Wen Chu (University of Passau):
The Field of Transseries III
- 2. December: Wen Chu (University of Passau):
The Field of Transseries IV
- 9. December: Laura Oblak (University of Passau):
Einführung in die Theorie quadratischer Formen (Seminar-Vortrag)
- 16. December: Carla Willmann (University of Passau):
Der Wittsche Kürzungssatz (Seminar-Vortrag)
- 13. January: Daniel Yoon (University of Passau):
The Elementary Theory of Restricted Analytic Fields with Exponentiation I (Seminar-Vortrag)
- 20. January: Daniel Yoon (University of Passau):
The Elementary Theory of Restricted Analytic Fields with Exponentiation II (Seminar-Vortrag)
- 27. January: Martin Hils (University of Münster):
Klassifikation definierbarer Quotienten
- 21. February, 10 s.t., SR 030: Dikran Dikranjan (University of Udine):
Categorial closure operators and their applications
Summer 2019: Monday, 14-16, SR 033
Program:
- 14. February (10 s.t., SR 030): Raphael Ebker (University of Passau):
Der Fortsetzungssatz von Tietze (Präsentation der Bachelor-Arbeit)
- 12. March (10 s.t., SR 030): Daniel Yoon (University of Passau):
Einführung in die Nichtstandardanalysis (Proseminar-Vortrag)
- 29. April: Daniel Klee (University of Passau):
Der semialgebraische Abbildungssatz (Präsentation der Bachelor-Arbeit)
- 6. May: Silvia Zepf (University of Passau):
Strongly Minimal Theories (Seminar-Vortrag)
- 13. May: No lecture
- 20. May: No lecture
- 27. May: Andre Opris (University of Passau)
Holomorphic extension of log-analytic functions in one variable I
- 3. June: Andre Opris (University of Passau)
Holomorphic extension of log-analytic functions in one variable II
- 10. June: Whit monday
- 17. June: Wen Chu (University of Passau)
Field of Transseries I
- 24. June: Wen Chu (University of Passau)
Field of Transseries II
- 1. July: Adrian Seine (University of Passau)
Das Monotonie-Theorem in o-minimalen Strukturen (Seminar-Vortrag)
- 8. July: Lydia Außenhofer (University of Passau)
The group ZN does not have a Mackey topology
- 15. July: Lena Stitzl (University of Passau)
Erste und zweite Fundamentalform von regulären Flächen. (Präsentation der Bachelorarbeit)
- 22. July: Matthias Aschenbrenner (University of California at Los Angeles)
Defining properties of ideals in rings of p-adic power series
Winter 2018/2019: Tuesday, 14-16, SR 030
Program:
- 15. October: André Opris (University of Passau):
Das Tammsche Theorem
- 22. October: Daniel Veitl (University of Passau):
Wachstum von Funktionen in o-minimalen Strukturen (Präsentation der Bachelor-Arbeit)
- 29. October: Matthias Englmüller (University of Passau)
Der verallgemeinerte Satz von Tougeron über implizite Funktionen für Potenzreihen (Präsentation der Bachelor-Arbeit)
- 5. November: André Opris (University of Passau)
Holomorphe Fortsetzung von log-analytischen Funktionen I: Log-analytische Funktionen
- 12. November: André Opris (University of Passau)
Holomorphe Fortsetzung von log-analytischen Funktionen II: Logarithmische Skalen
- 19. November: André Opris (Universitäy of Passau)
Holomorphe Fortsetzung von log-analytischen Funktionen III: Cauchy-Integrale
- 26. November: André Opris (Universitäy of Passau)
Holomorphe Fortsetzung von log-analytischen Funktionen IV: Holomorphie und Definierbarkeit
- 3. December: Tobias Kaiser (University of Passau)
Lebesgue-Integration auf nicht-archimedischen Strukturen I: Grundlagen
- 10. December: No lecture
- 17. December: Tobias Kaiser (University of Passau)
Lebesgue-Integration auf nicht-archimedischen Strukturen II: Logarithmen
- 7. January: Tobias Kaiser (University of Passau)
Lebesgue-Integration auf nicht-archimedischen Strukturen III: Konstruierbare Funktionen
- 14. January: Tobias Kaiser (University of Passau)
Lebesgue-Integration auf nicht-archimedischen Strukturen IV: Integration
- 21. January: Lydia Außenhofer (University of Passau)
Nukleare Vektorräume und nukleare Gruppen I
- 28. January: Lydia Außenhofer (University of Passau)
Nukleare Vektorräume und nukleare Gruppen II
- 7. February: 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. February: 14 c.t. SR 030: Marcus Tressl (University of Manchester)
Interpretations of lattice ordered abelian groups in toplogies.
Summer 2018: Monday, 14-16, SR 033
Program:
- 9. April: Tobias Kaiser (University of Passau):
Holomorphe Fortsetzung von definierbaren Funktionen.
- 16. April: Andre Opris (University of Passau):
Holomorphe Fortsetzung in Ran, Teil I.
- 23. April: Andre Opris (University of Passau):
Holomorphe Fortsetzung in Ran, Teil II.
- 30. April: Christina Nagl (University of Passau):
Monotonie und Zellzerlegung in o-minimalen Strukturen (Präsentation der Bachelorarbeit).
- 7. May: Alexandra Rupp (University of Passau):
Tensorprodukt und äußeres Produkt (Präsentation der Bachelorarbeit).
- 14. May: Lydia Außenhofer (University of Passau):
Determinierte Gruppen.
- 28. May: Lydia Außenhofer (University of Passau):
Kompatible Gruppentopologien für lokalkompetente abelsche Gruppen.
- 4. June: Sebastian Krapp (University of Konstanz):
Real Exponentiation and Exponential Groups.
- 11. June: Tobias Kaiser (University of Passau):
Hardy fields, o-minimal structures, and connections to Hilbert 16.
- 18. June: Fabiano Cassin (University of Passau):
Kettenbrüche (Präsentation der Zulassungsarbeit).
- 25. June: Shahla Rasulzade (University of Passau):
Smoothness in o-minimal structures, Part I (Master-Seminar).
- 2. July: Shahla Rasulzade (University of Passau):
Smoothness in o-minimal structures, Part II (Master-Seminar).
- 9. July: Patrick Speissegger (McMaster University):
Quasianalytic Ilyashenko algebras.
- 19. July (10 am, Room SR 004): Stefan Wolf (University of Passau):
Die Resultate und Diskriminante sowie deren Anwendung in der Galoistheorie
(Präsentation der Bachelorarbeit).
Winter 2017/2018: Tuesday, 14-16, SR 201
Programme:
- October 17: Andre Opris (University of Passau):
Einführung in die reelle Algebra.
- October 24: Andre Opris (University of Passau):
Einführung in die semialgebraische Geometrie.
- November 7: Andre Opris (University of Passau):
Einführung in die o-minimalen Strukturen.
- November 14: Johanna Forisch (University of Passau):
Spektren von kommutativen Ringen und spektrale Räume.
- November 21: René Hellesø (University of Passau):
Sätze aus der Funktionentheorie in o-minimalen Strukturen.
- November 28: Johannes Przybilla (University of Passau):
Der Hahnsche Einbettungssatz.
- December 5: Tobias Kaiser (University of Passau):
Lebesgue-Integration auf nichtarchimedischen reell abgeschlossenen Körpern I:
Modelltheoretische und algebraische Grundlagen.
- December 12: Tobias Kaiser (University of Passau):
Lebesgue-Integration auf nichtarchimedischen reell abgeschlossenen Körpern II:
Konstruktion des Lebesguemaßes und des Lebesgueintegrals.
- December 19: Tobias Kaiser (University of Passau):
Lebesgue-Integration auf nichtarchimedischen reell abgeschlossenen Körpern III:
Zentrale Sätze der Integrationstheorie.
- January 9: Lydia Außenhofer (University of Passau):
Einführung in die Dualitätstheorie abelscher topologischer Gruppen.
- January 16: Armin Rainer (University of Vienna):
Arc-smooth functions on closed sets.
- January 23: Lydia Außenhofer (University of Passau):
Einführung in die Mackey-Topologie für lokalkonvexe Vektorräume und lokal quasi-konvexe Gruppen.
- January 30: Andre Opris (University of Passau):
Vorbereitungssätze in o-minimalen Strukturen I.
- February 6: Andre Opris (University of Passau):
Vorbereitungssätze in o-minimalen Strukturen II.