Showing math.LOShow all
2 papers · 1 filter
math.LO2025
Computability of Separation Axioms in Countable Second Countable Spaces
Andrew DeLapo, David Gonzalez
We analyze the effective content of countable, second countable topological spaces by directly calculating the complexity of several topologically defined index sets. We focus on t…
math.LO2020
Bernoulli Randomness and Biased Normality
Andrew DeLapo
One can consider -Martin-Löf randomness for a probability measure on , such as the Bernoulli measure given . We study Bernoulli randomness of sequen…