We study connections between definability in generalized descriptive set theory and large cardinals, under ZFC. We show that if is a limit of measurables then there is no wellorder of a subset of of length which is , answering a question of Lücke and Müller. However, consistently, a Woodin cardinal exists and for every uncountable cardinal which is not a limit of measurables, there is a -good wellorder of . If is a limit of measurables and has uncountable cofinality then there is no almost disjoint family of cardinality . Consistently, mad families and maximal independent families exist, is a limit of measurables, and more. If is weakly compact and every subset of of cardinality contains a perfect subset of the right kind, then there is an inner model with a weakly compact limit of measurables. We prove some related facts regarding when holds. These depend on an analysis of fixed points of linear iterations involving -extenders.

生成讲解博客的中文版本

生成AI智能校验的中文版本