I wrote a blog post about induction on the reals because I had a good example of it from a paper in working on:https://mattwthomas.com/blog/induction-on-reals/
@mwt You have two assumption A3s — you might want to fix that.
@11011110 thank you! The joy of copy and paste...
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!