Recent and upcoming talks by Moritz Müller

Moritz Müller: Forcing against bounded arithmetic

BARCELONA RESEARCH GROUP IN SET THEORY BARCELONA SET THEORY SEMINAR Forcing against bounded arithmetic Moritz Müller Universitat Politècnica de Catalunya Abstract: We study the following problem. Given a nonstandard model of arithmetic we want to expand it by a binary relation that does something prohibitive, e.g. continue reading…

Moritz Müller: Forcing against bounded arithmetic

Talk held by Moritz Müller (Universitat Politècnica de Catalunya, Barcelona, Spain) at the KGRC seminar on 2019-01-17. Abstract: We study the following problem. Given a nonstandard model of arithmetic we want to expand it by a binary relation that does something prohibitive, e.g. continue reading…