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:

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: Aug 19 2022 at 20:03 UTC