Seminar Mathematical Logic

Organizers

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

Information

Home page

Research fields

• Mathematical Logic and Category Theory

List of talks

• 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
  

  ---

• April 23, 2025, 12:10 p.m.
  Mateusz Łełyk
  A classification of incompleteness statements (work of Towsner and Walsh)
  

  ---

• April 9, 2025, 12:10 p.m.
  Leszek Kołodziejczyk
  An I-model that expands to a B-model (work of Chong and Yang, cont'd)
  

  ---

• April 2, 2025, 12:10 p.m.
  Leszek Kołodziejczyk
  An I-model that expands to a B-model (work of Chong and Yang)
  

  ---

• March 26, 2025, 12:10 p.m.
  Ali Enayat (University of Gothenburg)
  The Mostowski Cut
  

  ---

• March 19, 2025, 12:10 p.m.
  Mateusz Łełyk
  Some further remarks on the Scott ranks of fragments of PA (cont'd)
  

  ---

• March 12, 2025, 12:10 p.m.
  Mateusz Łełyk
  Some further remarks on the Scott ranks of fragments of PA
  

  ---

• Feb. 26, 2025, 12:10 p.m.
  Albert Visser (Utrecht)
  Sequentiality via Markov Coding
  

  ---

• Jan. 22, 2025, 12:10 p.m.
  Patryk Szlufik
  Scott complexity of countable structures (work of Alvir et al.)
  

  ---

• Jan. 8, 2025, 12:10 p.m.
  Daniel Hoffmann
  Dynamics and convolution products around Keisler measures
  

  ---