You are not logged in | Log in
Facebook
LinkedIn
Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw

Connecting three worlds: KFμ, Inductive definitions and KP

Speaker(s)
Konstantinos Papafilippou
Language of the talk
English
Date
Nov. 26, 2025, 12:10 p.m.
Room
room 5450
Seminar
Seminar Mathematical Logic

Careers

Website

Safety on Campus

© 2026 University of Warsaw. All rights reserved.