C. Watson

collaborators

Showing math.LOShow all

4 papers · 1 filter

math.LO2026

The Cone Fixing the Reals of $HOD^{M_{2 n} (x)}$

Farmer Schlutzenberg, Connor Watson

For a cone of reals $x$ , the reals of $HOD^{L [x]}$ are precisely the reals in $Q_{3}$ , or equivalently, the set of reals in $M_{1}$ , the minimal proper class mouse with a Wood…

math.LO2026

Indiscernible Extraction in Theories with Bounded $k$ -splitting

Connor Watson

Hanson introduced the class of theories with bounded $k$ -splitting, a higher-arity notion of stability, and proved an indiscernible extraction result for those theories assuming th…

math.LO2026

A formula for any real number, maybe

James E. Hanson, Connor Watson

We discuss how to write down three specific natural numbers $A$ , $B$ , $C$ such that for any real number $r$ you've probably ever thought of, it is consistent with $ZFC$ se…

math.LO2025

Existence of a Model of $o (κ) = κ^{++}$ from Failure of GCH at a Measurable Cardinal

Connor Watson

It is well-known that the consistency strength of the GCH failing at a measurable cardinal is the existence of a cardinal $κ$ with $o (κ) = κ^{++}$ . As the literature does not contain…

The Cone Fixing the Reals of HODM2n​(x)

Indiscernible Extraction in Theories with Bounded k-splitting

A formula for any real number, maybe

Existence of a Model of o(κ)=κ++ from Failure of GCH at a Measurable Cardinal

The Cone Fixing the Reals of $HOD^{M_{2 n} (x)}$

Indiscernible Extraction in Theories with Bounded $k$ -splitting

Existence of a Model of $o (κ) = κ^{++}$ from Failure of GCH at a Measurable Cardinal