Spotkanie Koła Podstaw Matematyki- “Leibnizian models of arithmetic and set theory”- wykład prof. Ali Enayata (14.04)

Koło Podstaw Matematyki zaprasza na spotkanie, podczas którego Ali Enayat, profesor emeritus z uniwersytetu w Göteborgu, wygłosi wykład poświęcony modelom leibnizjańskim arytmetyki i teorii mnogości. Spotkanie odbędzie się we wtorek 14 kwietnia 2026 roku w sali 109 na Wydziale Filozofii UW (ul. Krakowskie Przedmieście 3), w godzinach 18.30-20.00.

Abstrakt: A structure M is said to be Leibnizian if it does not contain a pair of indiscernibles, i.e., if a and b are distinct elements of M, then there is a unary formula F(x) such that F(a) holds in M, but not F(b) .  I will overview the fundamental results about Leibnizian models of PA (Peano Arithmetic) and ZF (Zermelo-Fraenkel set theory).  Along the way, we will also meet the Ehrenfeucht/Gaifman principle, and the Leibniz-Mycielski axiom.

Wykład wygłoszony będzie w języku angielskim.

Spotkanie ma charakter otwarty, zapraszamy wszystkich zainteresowanych!