Please use this identifier to cite or link to this item:
http://hdl.handle.net/11375/18934
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Hart, Bradd | - |
dc.contributor.author | Albert, Jean-Martin | - |
dc.date.accessioned | 2016-03-14T18:42:12Z | - |
dc.date.available | 2016-03-14T18:42:12Z | - |
dc.date.issued | 2010 | - |
dc.identifier.uri | http://hdl.handle.net/11375/18934 | - |
dc.description.abstract | <p>In this thesis we prove a strong conceptual completeness result for first-order continuous logic. Strong conceptual completeness was proved in 1987 by Michael Makkai for classical first-order logic, and states that it is possible to recover a first-order theory T by looking at functors originating from the category Mod(T) of its models. </p> <p> We then give a brief account of simple theories in continuous logic, and give a proof that the characterization of simple theories using dividing holds in continuous structures. These results are a specialization of well established results for thick cats which appear in [Ben03b] and in [Ben03a].</p> <p> Finally, we turn to the study of non-archimedean Banach spaces over non-trivially valued fields. We give a natural language and axioms to describe them, and show that they admit quantifier elimination, and are N0-stable. We also show that the theory of non-archimedean Banach spaces has only one N 1-saturated model in any cardinality. </p> | en_US |
dc.language.iso | en | en_US |
dc.subject | continuous model theory | en_US |
dc.subject | first-order theory t | en_US |
dc.subject | non-archimedean banach | en_US |
dc.subject | mathematic logic | en_US |
dc.subject | axiom | en_US |
dc.subject | quantifier elimination | en_US |
dc.title | Strong conceptual completeness and various stability theoretic results in continuous model theory | en_US |
dc.contributor.department | Mathematics | en_US |
dc.description.degreetype | Thesis | en_US |
dc.description.degree | Doctor of Philosophy (PhD) | en_US |
Appears in Collections: | Open Access Dissertations and Theses |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Albert_Jean-Martin_2010_Phd.pdf | 4.02 MB | Adobe PDF | View/Open |
Items in MacSphere are protected by copyright, with all rights reserved, unless otherwise indicated.