Reconstruction results for first-order theories
| dc.contributor.advisor | Hart, Bradd | |
| dc.contributor.author | Han, Jesse | |
| dc.contributor.department | Mathematics | en_US |
| dc.date.accessioned | 2018-05-04T13:40:44Z | |
| dc.date.available | 2018-05-04T13:40:44Z | |
| dc.date.issued | 2018 | |
| dc.description.abstract | 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. | en_US |
| dc.description.degree | Master of Science (MSc) | en_US |
| dc.description.degreetype | Thesis | en_US |
| dc.identifier.uri | http://hdl.handle.net/11375/22828 | |
| dc.language.iso | en | en_US |
| dc.subject | logic | en_US |
| dc.subject | model theory | en_US |
| dc.subject | categorical logic | en_US |
| dc.subject | strong conceptual completeness | en_US |
| dc.subject | ultraproducts | en_US |
| dc.subject | ultracategory | en_US |
| dc.title | Reconstruction results for first-order theories | en_US |
| dc.type | Thesis | en_US |