Showing math.LOShow all
3 papers · 1 filter
math.LO2020
Model Theory for -theorists
Clovis Hamel, Franklin D. Tall
We survey discrete and continuous model-theoretic notions which have important connections to general topology. We present a self-contained exposition of several interactions betwe…
math.LO2020
Pseudocompactness and the Uniform Metastability Principle in Model Theory
Clovis Hamel, Franklin D. Tall
We prove that uniform metastability is equivalent to all closed subspaces being pseudocompact and use this to provide a topological proof of the metatheorem introduced by Caicedo,…
math.LO2019
Turing Invariant Sets and the Perfect Set Property
Clovis Hamel, Haim Horowitz, Saharon Shelah
We show that "all Turing invariant sets of reals have the perfect set property" implies that all sets of reals have the perfect set property. We also show that this result…