#mathinduction — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #mathinduction, aggregated by home.social.
-
(3/7)
- Large cardinal axioms in #SetTheory are often equivalent to asserting that there exists *well-founded* models with various properties, which gives you access to more induction.
- In Predicative Arithmetic by Edward Nelson (https://web.math.princeton.edu/~nelson/books.html) it's shown that by severely weakening induction and then considering what numbers still satisfy inductive properties, you can get a system that might be acceptable in #ultrafinitism.