Please use this identifier to cite or link to this item:
http://hdl.handle.net/11375/22828
Full 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.