research
∙
09/22/2022
Machine Space I: Weak exponentials and quantification over compact spaces
Topology may be interpreted as the study of verifiability, where opens c...
research
∙
08/13/2021