Carnegie Mellon University
Browse

Definable combinatorics in descriptive set theory, computability theory, and beyond

Download (1.12 MB)
thesis
posted on 2024-11-14, 18:16 authored by Felix WeilacherFelix Weilacher

This thesis is about finding solutions to combinatorial problems on graphs such as proper coloring or perfect matching in the presence of extra definability constraints. For  example,  we  might  ask  that  a  coloring  of  a  graph  on  the  natural  numbers  be computable, or that a coloring of a graph on the real numbers be measurable, or that a coloring of a finite graph be presented by some efficient algorithm. 

We give new positive and negative results on the existence of such solutions for several natural problems, but especially those related to edge colorings and matchings. 

Furthermore, we consider these problems in the abstract, and prove several theorems relating the existence of solutions in one setting to the existence of solutions in another.  This has been an active area of research in the last few years, but our work is among the first to include the computable setting in this discussion.

History

Date

2024-05-02

Degree Type

  • Dissertation

Department

  • Mathematical Sciences

Degree Name

  • Doctor of Philosophy (PhD)

Advisor(s)

Clinton Conley

Usage metrics

    Licence

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC