Showing math.LOShow all
3 papers · 1 filter
math.LO2024
Of Mice and Machetes
Christopher Henney-Turner, Philip Welch
Let be the class of regular cardinals which are not hyperinaccessible. We show that , and similar inner models in the -inaccessible hierarchy, can be generated by iter…
math.LO2016
Lower consistency bounds for mutual stationarity with divergent uncountable cofinalities
Dominik Adolf, Sean Cox, Philip Welch
We prove that the upper bounds for the consistency strength of certain instances of mutual stationarity considered by Liu-Shelah~\cite{MR1469093} are close to optimal. We also cons…
math.LO2014
Discrete Transfinite Computation
Philip Welch
We describe various computational models based initially, but not exclusively, on that of the Turing machine, that are generalized to allow for transfinitely many computational ste…