Skip to main content
Download PDF
- Main
Interactions between computability theory and set theory
- Schweber, Noah
- Advisor(s): Montalban, Antonio
Abstract
In this thesis, we explore connections between computability theory and set theory. We investigate an extension of reverse mathematics to a higher-order context, focusing in particular on determinacy principles, and an extension of computable structure theory to uncountable structures via set-theoretic forcing. We also look at computability-theoretic operations induced by ultrafilters, and the classical computable structure theory of ordinals as clarified by set-theoretic results.
Main Content
For improved accessibility of PDF content, download the file to your device.
If you recently published or updated this item, please wait up to 30 minutes for the PDF to appear here.
Enter the password to open this PDF file:
File name:
-
File size:
-
Title:
-
Author:
-
Subject:
-
Keywords:
-
Creation Date:
-
Modification Date:
-
Creator:
-
PDF Producer:
-
PDF Version:
-
Page Count:
-
Page Size:
-
Fast Web View:
-
Preparing document for printing…
0%