Full Text Available
Note: Clicking the button above will open the full text document at the original institutional repository in a new window.
Ultraproducts and Los’s Theorem: A Category-Theoretic Analysis
Thesis (MSc)--Stellenbosch University, 2017
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | en_ZA |
| Published: |
Stellenbosch : Stellenbosch University
2017
|
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
| _version_ | 1867613921267941376 |
|---|---|
| access_status_str | Open Access |
| author | Chimes, Mark Jonathan |
| author2 | Boxall, Gareth John |
| author_browse | Boxall, Gareth John Chimes, Mark Jonathan |
| author_facet | Boxall, Gareth John Chimes, Mark Jonathan |
| author_sort | Chimes, Mark Jonathan |
| collection | Thesis |
| dc_rights_str_mv | Stellenbosch University |
| description | Thesis (MSc)--Stellenbosch University, 2017 |
| format | Thesis |
| id | oai:scholar.sun.ac.za:10019.1/101202 |
| institution | Stellenbosch University (South Africa) |
| language | en_ZA |
| last_indexed | 2026-06-10T12:43:49.382Z |
| license_str | Other — see source repository |
| provenance_str_mv | Harvested via OAI-PMH from SUNScholar — Stellenbosch University Repository |
| publishDate | 2017 |
| publishDateRange | 2017 |
| publishDateSort | 2017 |
| publisher | Stellenbosch : Stellenbosch University |
| publisherStr | Stellenbosch : Stellenbosch University |
| record_format | dspace |
| source_str | SUNScholar — Stellenbosch University Repository |
| spelling | oai:scholar.sun.ac.za:10019.1/101202 Ultraproducts and Los’s Theorem: A Category-Theoretic Analysis Chimes, Mark Jonathan Boxall, Gareth John Stellenbosch University. Faculty of Science. Dept. of Mathematical Sciences Algebra, Abstract Ultraproduct (Mathematics) Category theory (Mathematics) Model theory Codensity Categorical logic (Mathematics) Ultrafilter (Mathematics) Los's theorem (Mathematics) Los's lemma (Mathematics) Algebraic logic UCTD Thesis (MSc)--Stellenbosch University, 2017 ENGLISH ABSTRACT : Ultraproducts are an important construction in model theory, especially as applied to algebra. Given some family of structures of a certain type, an ultraproduct of this family is a single structure which, in some sense, captures the important aspects of the family, where “important” is defined relative to a set of sets called an ultrafilter, which encodes which subfamilies are considered “large”. This follows from Lo´s’s Theorem, namely, the Fundamental Theorem of Ultraproducts, which states that every first-order sentence is true of the ultraproduct if, and only if, there is some “large” subfamily of the family such that it is true of every structure in this subfamily. In this dissertation, ultraproducts are examined both from the standard model-theoretic, as well as from the category-theoretic view. Some potential problems with the categorytheoretic definition of ultraproducts are pointed out, and it is argued that these are not as great an issue as first perceived. A general version of Lo´s’s Theorem is shown to hold for category-theoretic ultraproducts in general. This makes use of the concept of injectivity of a (compact) tree, which is intended to generalize truth of first-order formulae (under given assignments of variables), and, in the category of relational structures, corresponds exactly to first-order formulae. This type of thinking leads to a means of characterizing fields in the category of rings, and a new proof that every ultraproduct of fields is a field, which takes place entirely in the category of rings (along with the inclusion of the category of fields). Finally, the family of all (category-theoretic) ultraproducts on a given family is shown to arise from the “codensity monad" of the functor which includes the category of finite families into the category of families. In this sense, it is shown that ultraproducts are a rather natural construction category-theoretically speaking. AFRIKAANSE OPSOMMING : Ultraprodukte is ’n belangrike konstruksie in modelteorie, veral in hul toepassings in algebra. Gegewe ’n reeks strukture van ’n sekere tipe, is ’n ultraproduk van hierdie reeks ’n enkele struktuur wat, op ’n manier, die belangrikste aspekte van die reeks bevat, waar “belangrik” hier gedefinie¨er word met betrekking tot ’n versameling reekse wat ’n ultrafilter genoem word. Hierdie ultrafilter verteenwoordig watter subreekse deur die ultraproduk as “groot” beskou word. Dit is ’n gevolgtrekking van Lo´s se Stelling, dit wil sˆe, ’n eersteorde stelling is waar met betrekking tot die ultraproduk as, en slegs as, daar ’n “groot” subreeks (van die hoofreeks) bestaan sodat die stelling waar is met betrekking tot elke struktuur in di´e subreeks. In hierdie tesis word ultraprodukte uit die standarde model-teoretiese oogpunt behandel, sowel as uit die oogpunt van kategorie teorie. Potentie¨ele probleme met die kategorie-teoretiese ultraproduk word uitgelig, maar dit word geargumenteer dat hul nie so ’n groot probleem veroorsaak as wat dit blyk nie. ’n Algmene weergawe van Lo´s se stelling is bewys vir alle kategorie¨e. D´ıt maak gebruik van die konsep van injektiwiteit van ’n (kompakte) boom. Die bedoeling hiervan is om die waarheid van ’n eerste-orde stelling (onder ’n gegewe toedeling van veranderlikes) te veralgemeen. Hierdie idee ly tot ’n metode om liggame in die kategorie van groepe uit te lig, sowel as ’n nuwe bewys dat elke ultraproduk van liggame weer self ’n liggaam is. Hierdie bewys neem heeltemaal in die kategorie van groepe plaas (tesame met die funktor wat die kategorie van liggame in die kategorie van groepe insluit). Laastens, word dit angevoer dat die reeks van alle (kategorie-teoretiese) ultraprodukte van ’n gegewe reeks bestaan uit die “codigtheids monade” van die funktor wat die kategorie van eindige reekse insluit in die kategorie van oneindige reekse. Hierdie is dan ’n oortuiging dat ultraprodukte redelik natuurlik bestaan, ten minste uit die oogpunt van kategorie-teorie. 2017-02-21T06:38:31Z 2017-03-29T12:19:59Z 2017-02-21T06:38:31Z 2017-03-29T12:19:59Z 2017-03 Thesis http://hdl.handle.net/10019.1/101202 en_ZA Stellenbosch University x, 183 pages application/pdf Stellenbosch : Stellenbosch University |
| spellingShingle | Algebra, Abstract Ultraproduct (Mathematics) Category theory (Mathematics) Model theory Codensity Categorical logic (Mathematics) Ultrafilter (Mathematics) Los's theorem (Mathematics) Los's lemma (Mathematics) Algebraic logic UCTD Chimes, Mark Jonathan Ultraproducts and Los’s Theorem: A Category-Theoretic Analysis |
| title | Ultraproducts and Los’s Theorem: A Category-Theoretic Analysis |
| title_full | Ultraproducts and Los’s Theorem: A Category-Theoretic Analysis |
| title_fullStr | Ultraproducts and Los’s Theorem: A Category-Theoretic Analysis |
| title_full_unstemmed | Ultraproducts and Los’s Theorem: A Category-Theoretic Analysis |
| title_short | Ultraproducts and Los’s Theorem: A Category-Theoretic Analysis |
| title_sort | ultraproducts and los s theorem a category theoretic analysis |
| topic | Algebra, Abstract Ultraproduct (Mathematics) Category theory (Mathematics) Model theory Codensity Categorical logic (Mathematics) Ultrafilter (Mathematics) Los's theorem (Mathematics) Los's lemma (Mathematics) Algebraic logic UCTD |
| url | http://hdl.handle.net/10019.1/101202 |
| work_keys_str_mv | AT chimesmarkjonathan ultraproductsandlosstheoremacategorytheoreticanalysis |