Seminar series
Date
Thu, 04 Nov 2010
17:00
17:00
Location
L3
Speaker
Andrew Brooke-Taylor
Organisation
Bristol
Vopenka's Principle is a very strong large cardinal axiom which can be used to extend ZFC set theory. It was used quite recently to resolve an important open question in algebraic topology: assuming Vopenka's Principle, localisation functors exist for all generalised cohomology theories. After describing the axiom and sketching this application, I will talk about some recent results showing that Vopenka's Principle is relatively consistent with a wide range of other statements known to be independent of ZFC. The proof is by showing that forcing over a universe satisfying Vopenka's Principle will frequently give an extension universe also satisfying Vopenka's Principle.