Seminarium "Logika matematyczna"

Organizatorzy

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

Informacje

Strona domowa

Dziedziny badań

• Logika matematyczna i teoria kategorii

Lista referatów

• 15 kwietnia 2026 12:10
  Ali Enayat (University of Gothenburg)
  Truth and global reflection in arithmetic and set theory
  

  ---

• 8 kwietnia 2026 12:10
  Patryk Szlufik
  Finite combinatorics and fragments of arithmetic (work of Wei Wang)
  

  ---

• 1 kwietnia 2026 12:10
  Maciej Malicki
  A logic of co-valuations (cont'd)
  

  ---

• 25 marca 2026 12:10
  Maciej Malicki
  A logic of co-valuations
  

  ---

• 18 marca 2026 12:10
  Piotr Gruza
  Definiteness properties of first-order schemes, part 2
  

  ---

• 11 marca 2026 12:10
  Mateusz Łełyk
  Definiteness properties of first-order schemes, part 1
  

  ---

• 25 lutego 2026 12:10
  Leszek Kołodziejczyk
  Conservativity over collection and the occasional inevitability of polynomial proof transformations
  

  ---

• 21 stycznia 2026 12:10
  Leszek Kołodziejczyk
  The effect of the cohesive and stable Ramsey theorems on proof size over RCA*0 (cont'd)
  

  ---

• 14 stycznia 2026 12:10
  Leszek Kołodziejczyk
  The effect of the cohesive and stable Ramsey theorems on proof size over RCA*0 (cont'd)
  

  ---

• 7 stycznia 2026 12:10
  Leszek Kołodziejczyk
  The effect of the cohesive and stable Ramsey theorems on proof size over RCA*0
  

  ---

• 17 grudnia 2025 12:10
  Mateusz Łełyk
  Descending sequences in reflection hierarchies
  

  ---

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

  ---

• 26 listopada 2025 12:10
  Konstantinos Papafilippou
  Connecting three worlds: KFμ, Inductive definitions and KP
  

  ---

• 19 listopada 2025 12:10
  Mengzhou Sun
  How cofinal extensions can change a model of arithmetic (cont'd)
  

  ---

• 12 listopada 2025 12:10
  Mengzhou Sun
  How cofinal extensions can change a model of arithmetic (cont'd)
  

  ---