Showing math.LOShow all
3 papers · 1 filter
math.LO2019
Construction and Set Theory
Andrew Powell
This paper argues that mathematical objects are constructions and that constructions introduce a flexibility in the ways that mathematical objects are represented (as sets of binar…
math.LO2018
Topology, Metric Spaces and the Generalized Continuum Hypothesis
Andrew Powell
This is a paper that aims to interpret the cardinality of a set in terms of Baire Category, i.e. how many closed nowhere dense sets can be deleted from a set before the set itself…
math.LO2018
A Universal Hypercomputer
Andrew Powell
This paper describes a type of infinitary computer (a hypercomputer) capable of computing truth in initial levels of the set theoretic universe, V. The proper class of such hyperco…