Abstract:We study some connections between definability in generalized descriptive set theory and large cardinals, particularly measurable cardinals and limits thereof, working in ZFC. We show that if $\kappa$ is a limit of measurable cardinals then there is no $\Sigma_1(H_\kappa\cup\mathrm{OR})$ wellorder of a subset of $P(\kappa)$ of length $\geq\kappa^+$; this answers a question of Lücke and Müller. However, in $M_1$, the minimal proper class mouse with a Woodin cardinal, for every uncountable cardinal $\kappa$ which is not a limit of measurables, there is a $\Sigma_1(H_\kappa\cup\{\kappa\})$ good wellorder of $H_{\kappa^+}$. If $\kappa$ is a limit of measurables then there is no $\Sigma_1(H_\kappa\cup\mathrm{OR})$ mad family $F\subseteq P(\kappa)$ of cardinality $>\kappa$, and if also $\mathrm{cof}(\kappa)>\omega$ then there is no $\Sigma_1(H_\kappa\cup\mathrm{OR})$ almost disjoint family $F\subseteq P(\kappa)$ of cardinality $>\kappa$. However, relative to the consistency of large cardinals, $\Pi_1(\{\kappa\})$ mad families and maximal independent families $F\subseteq P(\kappa)$ can exist, when $\kappa$ is a limit of measurables, and even more. We also examine some of the features of $L[U]$, and answer another question of Lücke and Müller, showing that if $\kappa$ is a weakly compact cardinal such that every $\Sigma_1(H_\kappa\cup\{\kappa\})$ subset of $P(\kappa)$ of cardinality $>\kappa$ has a subset which is the range of a perfect function, then there is an inner model satisfying "there is a weakly compact limit of measurable cardinals".

The Kaufmann--Clote question on end extensions of models of arithmetic and the weak regularity principle

Partially-elementary end extensions of countable models of set theory

Every countable model of arithmetic or set theory has a pointwise-definable end extension

End extending models of set theory via power admissible covers

A Kunen-Like Model with a Critical Failure of the Continuum Hypothesis

On Non-standard Models of Arithmetic with Uncountable Standard Systems

Admissible extensions of subtheories of second order arithmetic

Neutrally Expandable Models of Arithmetic

Elementary submodels, coding strategies, and an infinite real number game

Models of Set Theory: Extensions and Dead-ends

Inner Models from Extended Logics: Part 2

Indiscernibles and satisfaction classes in arithmetic

Independence in Arithmetic: The Method of $(\mathcal L, n)$-Models

Constructing Ultrapowers from Elementary Extensions of Full Clones

Low level definability above large cardinals

Models for short sequences of measures in the cofinality-$ω$ constructible model

A restricted model for the bounded derived category of gentle algebras

Ketonen's question and other cardinal sins

On the consistency of ZF with an elementary embedding from into

ZFC without power set II: Reflection strikes back