Seminarium "Logika matematyczna"

Organizatorzy

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

Informacje

Strona domowa

Dziedziny badań

• Logika matematyczna i teoria kategorii

Lista referatów

• 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)
  

  ---

• 5 listopada 2025 12:10
  Mengzhou Sun
  How cofinal extensions can change a model of arithmetic
  

  ---

• 29 października 2025 12:10
  Paul Shafer (University of Leeds)
  A survey of cohesive powers
  

  ---

• 22 października 2025 12:10
  Dino Rossegger (Technical University of Vienna)
  Analytic quasi-orders arising in model theory
  

  ---

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

  ---

• 8 października 2025 12:10
  Leszek Kołodziejczyk
  More conservativity for weak König's lemma (work of Freund and Uftring)
  

  ---

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

  ---

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

  ---

• 21 maja 2025 12:10
  Daniel Hoffmann
  New *-product (cont'd)
  

  ---

• 14 maja 2025 12:10
  Daniel Hoffmann
  New *-product
  

  ---

• 7 maja 2025 12:10
  Ali Enayat (University of Gothenburg)
  Indiscernibles in Arithmetic and Set Theory
  

  ---

• 30 kwietnia 2025 12:10
  Piotr Gruza
  A solid subtheory of Z_2 containing Pi^1_1-comprehension
  

  ---

• 23 kwietnia 2025 12:10
  Mateusz Łełyk
  A classification of incompleteness statements (work of Towsner and Walsh)
  

  ---

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

  ---