2017 seminar talk: On the relative strength of finitary combinatorial principles

Talk held by Moritz Müller (KGRC) at the KGRC seminar on 2017-12-14.

Abstract

Define a finitary combinatorial principle to be a first-order sentence which is valid in the finite but falsifiable in the infinite. We aim to compare the strength of such principles over a weak arithmetic. We distinguish “weak” and “strong” principles based on their behaviour with respect to finite structures that are only partially defined. The talk sketches a forcing proof of a theorem stating that over relativized $T^1_2$ “weak” principles do not imply “strong” ones.

Time and Place

Tea at 3:30pm in the KGRC meeting room

Talk at 4:00pm in the KGRC lecture room

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2010-12-16, 04:37.