Stream: Miscellaneous

Topic: Tinkering with (very) basic model theory

view this post on Zulip Lessness (Oct 23 2020 at 16:50):

There is a gist: https://gist.github.com/LessnessRandomness/cc2b6fdadaa1127fa8264f1c1f2e9ea2

I can't prove Zoring_automorphism_on_zero and I believe it's because of faulty definitions (most probably 'embedding' or 'isomorphism'). Can someone check if they make sense, please?

Last updated: Sep 30 2023 at 15:01 UTC