**Matthew Wildrick Thomas** @mwt@mathstodon.xyz · 2021-03-09T22:03:20Z

Matthew Wildrick Thomas @mwt@mathstodon.xyz

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/

**0xDE** @11011110@mathstodon.xyz · Mar 10, 2021, 07:45

**0xDE** @11011110@mathstodon.xyz · Mar 10, 2021, 07:45

0xDE @11011110@mathstodon.xyz

@mwt You have two assumption A3s — you might want to fix that.

**Matthew Wildrick Thomas** @mwt@mathstodon.xyz · Mar 10, 2021, 12:13

**Matthew Wildrick Thomas** @mwt@mathstodon.xyz · Mar 10, 2021, 12:13

Matthew Wildrick Thomas @mwt@mathstodon.xyz

@11011110 thank you! The joy of copy and paste...

**Matthew Wildrick Thomas** @mwt@mathstodon.xyz · Mar 10, 2021, 17:23

**Matthew Wildrick Thomas** @mwt@mathstodon.xyz · Mar 10, 2021, 17:23

Matthew Wildrick Thomas @mwt@mathstodon.xyz