2 papers
math.LO2023
Nearly Computable Real Numbers
Peter Hertling, Philip Janicki
In this article we call a sequence of elements of a metric space nearly computably Cauchy if for every strictly increasing computable function …
cs.LO2016
Two Counterexamples Concerning the Scott Topology on a Partial Order
Peter Hertling
We construct a complete lattice such that the binary supremum function is discontinuous with respect to the product topology on of the Scott t…