Christopher Henney-Turner

activity

20212024

collaborators

Showing math.LOShow all

3 papers · 1 filter

math.LO2024

Of Mice and Machetes

Christopher Henney-Turner, Philip Welch

Let $R$ be the class of regular cardinals which are not hyperinaccessible. We show that $L [R]$ , and similar inner models in the $α$ -inaccessible hierarchy, can be generated by iter…

math.LO2022

LST Numbers for $Q^{e.c.}$ and $I$ style quantifiers

Christopher Henney-Turner

We introduce two schemes of quantifiers analogous to $I$ and $Q^{e.c.}$ , which tell us about regular cardinals of small Cantor-Bendixson rank. We examine how the Löwenheim-Sko…

math.LO2021

Forcing axioms via ground model interpretations

Philipp Schlicht, Christopher Turner

We study principles of the form: if a name $σ$ is forced to have a certain property $φ$ , then there is a ground model filter $g$ such that $σ^{g}$ satisfies $φ$ . We prove a general c…

Of Mice and Machetes

LST Numbers for Qe.c. and I style quantifiers

Forcing axioms via ground model interpretations

LST Numbers for $Q^{e.c.}$ and $I$ style quantifiers