In this thesis, we study problems related to the reconstruction (up to bi-interpretability) of first-order theories from various functorial invariants: automorphism groups, endomorphism monoids, (categories of) countable models, and (ultra)categories of models. / Thesis / Master of Science (MSc)
| Identifer | oai:union.ndltd.org:mcmaster.ca/oai:macsphere.mcmaster.ca:11375/22828 |
| Date | January 2018 |
| Creators | Han, Jesse |
| Contributors | Hart, Bradd, Mathematics |
| Source Sets | McMaster University |
| Language | English |
| Detected Language | English |
| Type | Thesis |
Page generated in 0.0608 seconds