Answers are grounded in this paper and cite their sources.
John Steel's theory, MV, of the generic multiverse provides a foundation for mathematics that aims to neutralize the effects of incompleteness brought on by forcing arguments. Jouko Väänänen's development of internal categoricity arguments provides opportunities to argue that the subject matter of some theory is, in some sense, determined. This paper investigates whether MV is internally categorical.
No takes yet. Share an insight, caveat, or question.
Toby Meadows (2026) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: