Topological and Category-Theoretic Aspects of Abstract Elementary Classes.
dc.contributor.author | Lieberman, Michael Joseph | en_US |
dc.date.accessioned | 2009-09-03T14:55:37Z | |
dc.date.available | NO_RESTRICTION | en_US |
dc.date.available | 2009-09-03T14:55:37Z | |
dc.date.issued | 2009 | en_US |
dc.date.submitted | en_US | |
dc.identifier.uri | https://hdl.handle.net/2027.42/63854 | |
dc.description.abstract | We consider the behavior of Galois types in abstract elementary classes (AECs), and introduce several new techniques for use in the analysis of the associated stability spectra. More broadly, we develop novel perspectives on AECs---topological and category-theoretic---from which these techniques flow, and which hold considerable promise as lines of future investigation. After a presentation of the preliminaries in Chapter 2, we give a method of topologizing sets of Galois types over structures in AECs with amalgamation. The resulting spaces---analogues of the Stone spaces of syntactic types---support, among other things, natural correspondences between their topological properties and semantic properties of the AEC (tameness, for example, emerges as a separation principle). In Chapter 4, we note that the newfound topological structure yields a family of Morley-like ranks, along with a new notion of total transcendence. We show that in tame AECs, total transcendence follows from stability in certain cardinals, and that total transcendence, in turn, allows us to bound the number of types over large models. This leads to several upward stability transfer results, one of which generalizes a result of Baldwin, Kueker and VanDieren. The same analysis works in weakly tame AECs provided that they are also weakly stable, a notion that arises in the context of accessible categories. In Chapter 5, we analyze the category-theoretic structure of AECs, and give an axiomatization of AECs as accessible subcategories of their ambient categories of structures. We also give a dictionary for translating notions from the theory of accessible categories into the language of AECs, and vice versa. Weak stability occurs in any accessible category---hence in any AEC---and, since this is what we require to conclude stability in weakly tame AECs, we get the beginnings of a stability spectrum in this context. We close with a curious result: an equivalence between the class of large structures in a categorical AEC and a category of sets with actions of the monoid of endomorphisms of the categoricity structure, effectively reducing the AEC to a simple concrete category. | en_US |
dc.format.extent | 465395 bytes | |
dc.format.extent | 1373 bytes | |
dc.format.mimetype | application/octet-stream | |
dc.format.mimetype | text/plain | |
dc.language.iso | en_US | en_US |
dc.subject | Model Theory | en_US |
dc.subject | Nonelementary Classes | en_US |
dc.subject | Abstract Elementary Classes | en_US |
dc.subject | Mathematical Logic | en_US |
dc.subject | Accessible Categories | en_US |
dc.subject | Category Theory | en_US |
dc.title | Topological and Category-Theoretic Aspects of Abstract Elementary Classes. | en_US |
dc.type | Thesis | en_US |
dc.description.thesisdegreename | PhD | en_US |
dc.description.thesisdegreediscipline | Mathematics | en_US |
dc.description.thesisdegreegrantor | University of Michigan, Horace H. Rackham School of Graduate Studies | en_US |
dc.contributor.committeemember | Blass, Andreas R. | en_US |
dc.contributor.committeemember | Dorais, Francois Gilbert | en_US |
dc.contributor.committeemember | Hinman, Peter G. | en_US |
dc.contributor.committeemember | Mummert, Carl Beckhorn | en_US |
dc.contributor.committeemember | Tappenden, James P. | en_US |
dc.subject.hlbsecondlevel | Mathematics | en_US |
dc.subject.hlbtoplevel | Science | en_US |
dc.description.bitstreamurl | http://deepblue.lib.umich.edu/bitstream/2027.42/63854/1/liebermm_1.pdf | |
dc.owningcollname | Dissertations and Theses (Ph.D. and Master's) |
Files in this item
Remediation of Harmful Language
The University of Michigan Library aims to describe library materials in a way that respects the people and communities who create, use, and are represented in our collections. Report harmful or offensive language in catalog records, finding aids, or elsewhere in our collections anonymously through our metadata feedback form. More information at Remediation of Harmful Language.
Accessibility
If you are unable to use this file in its current format, please select the Contact Us link and we can modify it to make it more accessible to you.