Large cardinals and definable well-orders, without the GCH (Q487691)

Let \(\kappa>\omega\) be a regular cardinal. The \textit{generalized Baire space for \(\kappa\)} is the set \(^\kappa\kappa\) which consists of all functions \(f:\kappa\to\kappa\). The authors investigate the definable subsets of this space when \(\kappa\) is a large cardinal. In Theorem 1.1, of the paper, the authors show that there is a class forcing \(\mathbb{P}\) that preserves ZFC, supercompact cardinals, inaccessible cardinals, and preserves the value of \(2^\kappa\) (cardinal exponentiation) for all inaccessible cardinals \(\kappa\). In addition, when \(\kappa\) is an inaccessible cardinal and \(A\) is a subset of \(^\kappa\kappa\), then there is \(\mathbb{P}\)-generic extension \(V[G]\) in which \(A\) is definable over \(\langle H(\kappa^+),\in\rangle\) by a \(\Sigma_1\)-formula with parameters. The authors then use Theorem 1.1 to show, without assuming the GCH, that there is a class forcing \(\mathbb{P}\) with the same preservation properties as that of Theorem 1.1 such that \(\mathbb{P}\)-forcing produces a generic extension \(V[G]\) in which there is a well-ordering of \(V[G]\) whose restriction to \(H(\kappa^+)\), for any uncountable regular cardinal \(\kappa\), is definable over the structure \(\langle H(\kappa^+),\in\rangle\) by a formula with parameters. The paper ends with five related open problems.