White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

Omega-categorical simple theories

Aranda López, Andrés (2013) Omega-categorical simple theories. PhD thesis, University of Leeds.

[img]
Preview
Text
Aranda Lopez_A_Mathematics_PhD_2013.pdf - Final eThesis - complete (pdf)
Available under License Creative Commons Attribution-Noncommercial-Share Alike 2.0 UK: England & Wales.

Download (649Kb) | Preview

Abstract

This thesis touches on many different aspects of homogeneous relational structures. We start with an introductory chapter in which we present all the background from model theory and homogeneity necessary to understand the results in the main chapters. The second chapter is a list of examples. We present examples of binary and ternary homogeneous relational stuctures, and prove the simplicity or non-simplicity of their theory. Many of these examples are well-known structures (the ordered rational numbers, random graphs and hypergraphs, the homogeneous Kn-free graphs), while others were constructed during the first stages of research. In the same chapter, we present some combinatorial results, including a proof of the TP2 in the Fraïssé limit of semifree amalgamation classes in the language of n-graphs, such that all the minimal forbidden configurations of the class of size at least 3 are all triangles. The third chapter contains the main results of this thesis. We prove that supersimple finitely homogeneous binary relational structures cannot have infinite monomial SU-rank, show that primitive binary supersimple homogeneous structures of rank 1 are “random” in the sense that all their minimal forbidden configurations are of size at most 2, and partially classify the supersimple 3-graphs under the assumption of stable forking in the theories of finitely homogeneous structures with supersimple theory. The fourth chapter is a proof of the directed-graph version of a well-known result by Erdős, Kleitman and Rothschild. Erdős et al. prove that almost all finite labelled trianglefree simple graphs are bipartite, and we prove that almost all finite labelled directed graphs in which any three distinct vertices span at least one directed arc consist of two disjoint tournaments, possibly with some directed arcs from one to the other.

Item Type: Thesis (PhD)
Academic Units: The University of Leeds > Faculty of Maths and Physical Sciences (Leeds) > School of Mathematics (Leeds)
Identification Number/EthosID: uk.bl.ethos.634255
Depositing User: Leeds CMS
Date Deposited: 21 Jan 2015 13:59
Last Modified: 25 Nov 2015 13:47
URI: http://etheses.whiterose.ac.uk/id/eprint/7838

Actions (repository staff only: login required)