Seminar Mathematical Logic

Organizers

• dr hab. Leszek Kołodziejczyk, prof. ucz.

Information

Home page

Research fields

• Mathematical Logic and Category Theory

List of talks

• Dec. 3, 2025, 12:10 p.m.
  Konstantinos Papafilippou
  Connecting three worlds: KFμ, Inductive definitions and KP (cont'd)
  

  ---

• Nov. 26, 2025, 12:10 p.m.
  Konstantinos Papafilippou
  Connecting three worlds: KFμ, Inductive definitions and KP
  

  ---

• Nov. 19, 2025, 12:10 p.m.
  Mengzhou Sun
  How cofinal extensions can change a model of arithmetic (cont'd)
  

  ---

• Nov. 12, 2025, 12:10 p.m.
  Mengzhou Sun
  How cofinal extensions can change a model of arithmetic (cont'd)
  

  ---

• Nov. 5, 2025, 12:10 p.m.
  Mengzhou Sun
  How cofinal extensions can change a model of arithmetic
  

  ---

• Oct. 29, 2025, 12:10 p.m.
  Paul Shafer (University of Leeds)
  A survey of cohesive powers
  

  ---

• Oct. 22, 2025, 12:10 p.m.
  Dino Rossegger (Technical University of Vienna)
  Analytic quasi-orders arising in model theory
  

  ---

• Oct. 15, 2025, 12:10 p.m.
  Leszek Kołodziejczyk
  More conservativity for weak König's lemma (work of Freund and Uftring, cont'd)
  

  ---

• Oct. 8, 2025, 12:10 p.m.
  Leszek Kołodziejczyk
  More conservativity for weak König's lemma (work of Freund and Uftring)
  

  ---

• June 4, 2025, 12:10 p.m.
  Piotr Szewczak (Cardinal Stefan Wyszyński University)
  Abstract colorings, games and ultrafilters (cont'd)
  

  ---

• May 28, 2025, 12:10 p.m.
  Piotr Szewczak (Cardinal Stefan Wyszyński University)
  Abstract colorings, games and ultrafilters
  

  ---

• May 21, 2025, 12:10 p.m.
  Daniel Hoffmann
  New *-product (cont'd)
  

  ---

• May 14, 2025, 12:10 p.m.
  Daniel Hoffmann
  New *-product
  

  ---

• May 7, 2025, 12:10 p.m.
  Ali Enayat (University of Gothenburg)
  Indiscernibles in Arithmetic and Set Theory
  

  ---

• April 30, 2025, 12:10 p.m.
  Piotr Gruza
  A solid subtheory of Z_2 containing Pi^1_1-comprehension
  

  ---