15 citations · 29 across the 8 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016★ 15 cited
Generalised Information Systems Capture L-Domains
Dieter Spreen
A generalisation of Scott's information systems \cite{sco82} is presented that captures exactly all L-domains. The global consistency predicate in Scott's definition is relativised…
math.LO2016★ 1 cited
Some results related to the continuity problem
Dieter Spreen
The continuity problem, i.e., the question whether effective maps between effectively given topological spaces are effectively continuous, is reconsidered. In earlier work it was s…