3 papers
math.LO2007
The strength of the Inner Model Hypothesis
S-D. Friedman, W. H. Woodin, P. D. Welch
The Inner Model Hypothesis (IMH) and the Strong Inner Model Hypothesis (SIMH) were introduced by the first author in ``Internal consistency and the inner model hypothesis'', Bullet…
math.LO2007
Global Square and Mutual Stationarity at the Aleph_n
Peter Koepke, Philip Welch
We show using a proof of the Global Square property in Core Models below a measurable of Mitchell order o(kappa)=kappa^++ (a result originally due to Jensen & Zeman) that Foreman a…
math.LO2002
P^f is not equal to NP^f for almost all f
Joel David Hamkins, Philip D. Welch
We discuss the question of Ralf-Dieter Schindler whether for infinite time Turing machines P^f = NP^f can be true for any function f from the reals into omega_1. We show that ``alm…