Respuestas al mensaje #101
-
🔧 Site instability resolved. You can report double-posts and broken attachments. For bigger issues, use the Technical Grievances thread.
🇵🇦 Nuestro primer dominio localizado está en español en kiwifarms.pa. Our first localized domain is on Spanish on kiwifarms.pa.
KF Math Thread - Discuss Math
AFAIK said models assume the existence of inaccesible cardinals which is IMO a very bold axiom. The Axiom of Choice has some nasty consequences...
KF Math Thread - Discuss Math
For the working mathematician, just saying "okay it's actually a class, my bad" and adding "locally small" to your categories works well enough...