Please use this identifier to cite or link to this item:
http://hdl.handle.net/11375/22828Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.advisor | Hart, Bradd | - |
| dc.contributor.author | Han, Jesse | - |
| dc.date.accessioned | 2018-05-04T13:40:44Z | - |
| dc.date.available | 2018-05-04T13:40:44Z | - |
| dc.date.issued | 2018 | - |
| dc.identifier.uri | http://hdl.handle.net/11375/22828 | - |
| 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.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 |
| dc.contributor.department | Mathematics | en_US |
| dc.description.degreetype | Thesis | en_US |
| dc.description.degree | Master of Science (MSc) | en_US |
| Appears in Collections: | Open Access Dissertations and Theses | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Han_Jesse_M_201804_MSc.pdf | 685.86 kB | Adobe PDF | View/Open |
Items in MacSphere are protected by copyright, with all rights reserved, unless otherwise indicated.
