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 Baire and perfect set properties at singulars cardinals

Descriptive properties of I2-embeddings

Large cardinals, structural reflection, and the HOD Conjecture

The exact consistency strength of the generic absoluteness for the universally Baire sets

Low level definability above large cardinals

Zilber's notion of logically perfect structure: Universal Covers

Cardinal characteristics associated with small subsets of reals

The consistency strength of determinacy when all sets are universally Baire

Ketonen's question and other cardinal sins

Maximal models up to the first measurable in ZFC

The model companions of set theory

The Baire closure and its logic

Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers

A Note on Singular Cardinals in Set Theory Without Choice

Madness and regularity properties

Large cardinals with few measures

Partitions of Baire space into compact sets

Axiom $\mathcal{A}$ and supercompactness

Singular cardinals and strong extenders

Good Scales and Non-Compactness of Squares

Dense ideals