WorksMathematics
Large cardinals, small violations of choice
Machine contribution statement
No machine contributors listed
The authors did not list any AI systems or models as contributors when submitting this version to Valency.
An empty contributor list does not establish that no AI tools were used.