RUS  ENG
Full version
SEMINARS

Seminars "Proof Theory" and "Logic Online Seminar"
October 12, 2020 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom


Set theory with a proper class of indiscernibles

A. Enayat

University of Gothenburg


https://youtu.be/jvG2tCmHh30

Abstract: The talk concerns the metamathematics of an extension ZFCI of ZFC set theory (in an extended language) that stipulates the existence of a proper class of indiscernibles. We will identify the purely set-theoretical consequences of ZFCI, and will also compare and contrast the metamathemetics of ZFCI with that of PAI (Peano arithmetic with a class of indiscernibles).

Language: English


© Steklov Math. Inst. of RAS, 2024