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)
  Efficient Adversaries
   
• 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)
   
• 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  ℝ [X₁,...,X_n] (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 R_an,exp I
   
• 17. January 2022, 14 c.t., SR 008b: Andre Opris (University of Passau)
  Holomorphic Extensions in the O-Minimal Structure R_an,exp II
   
• 24. January 2022, 14 c.t., SR 008b: Andre Opris (University of Passau)
  Holomorphic Extensions in the O-Minimal Structure R_an,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 Z^N 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 R_an, Teil I.
   
• 23. April: Andre Opris (University of Passau):
  Holomorphe Fortsetzung in R_an, 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.