1 citations · 3 across the 4 of their papers we have counts for
4 papers
Locales, the locally fine construction and formal spaces
Aarno Hohti
We investigate the connection between the spatiality of locale products and the earlier studies of the author on the locally fine coreflection of the products of uniform spaces. Af…
Recursive Synthesis and the Foundations of Mathematics
Aarno Hohti
This paper presents mathematics as a general science of computation in a way different from the tradition. It is based on the radical philosophical standpoint according to which th…
The Locally Fine Coreflection and Normal Covers in the Products of Partition-complete Spaces
Aarno Hohti, Miroslav Husek, Jan Pelant
We prove that the countable product of supercomplete spaces having a countable closed cover consisting of partition-complete subspaces is supercomplete with respect to its metric-f…
An Infinitary version of Sperner's lemma
Aarno Hohti
We prove an extension of the well-known combinatorial-topological lemma of E. Sperner to the case of infinite-dimensional cubes. It is obtained as a corollary to an infinitary exte…