Seminar Mathematical Logic

Organizers

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

Information

Home page

Research fields

• Mathematical Logic and Category Theory

List of talks

• 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
  

  ---

• Dec. 18, 2024, 12:10 p.m.
  Tomasz Steifer (IPPT PAN, Pontifical Catholic University of Chile)
  Learning equivalence relations on Polish spaces (cont'd)
  

  ---

• Dec. 11, 2024, 12:10 p.m.
  Tomasz Steifer (IPPT PAN, Pontifical Catholic University of Chile)
  Learning equivalence relations on Polish spaces
  

  ---

• Dec. 4, 2024, 12:10 p.m.
  Dariusz Kalociński (IPI PAN)
  Learning families of algebraic structures (work of Bazhenov et al., cont'd)
  

  ---