2022/04/12 by Supakun Panasawatwong, Panasawatwong, Supakun, J K Truss +1 · 1 citation
Mathematics · Computer Science · #Advanced Topology and Set Theory #Mathematical and Theoretical Analysis #Computability, Logic, AI Algorithms
paper · pdf · doi:10.48550/arxiv.2204.05700
We study the possible structures which can be carried by sets which have no countable subset, but which fail to be `surjectively Dedekind finite', in two possible senses, that there is a surjection to ω, or alternatively, that there is no surjection to a proper superset.