Skip to search formSkip to main contentSkip to account menu

Computable topology

Computable topology is a discipline in mathematics that studies the topological and algebraic structure of computation. Computable topology is not to… 
Wikipedia (opens in a new tab)

Related topics

Related topics

14 relations
Beta normal formBöhm treeChurch–Turing thesisCombinatory logic

Broader (2)

Computational complexity theoryComputational science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Weak Reduction Principle and Computable Metric Spaces
This paper is a part of the ongoing research on developing a foundation for studying arithmetical and descriptive complexity of… 
2016
2016
A topological and domain theoretical study of total computable functions
O conjunto de funcoes totais computaveis somente tem sido estudado topologicamente como um subespaco de um espaco de Baire. Onde… 
2014
2014
A Topological Approach in the Extended Fraenkel-Mostowski Model of Set Theory
Abstract Lattices of subgroups are presented as algebraic domains. Given an arbitrary group, we define the Scott topology over… 
2012
2012
2005 Summer Meeting of the Association for Symbolic Logic Logic Colloquium '05 Abstracts of Invited Plenary Talks Abstract of Invited Talk in the Short Course on Computer Science Logic
s of invited plenary talks ◮ JAN A. BERGSTRA, INGE BETHKE, AND ALBAN PONSE, Decision problems for pushdown threads. Department of… 
2008
2008
Topology Proceedings
An injective space is a topological space with a strong extension property for continuous maps with values on it. A certain… 
2008
2008
On degree-preserving homeomorphisms between trees in computable topology
In this paper we first give a variant of a theorem of Jockusch–Lewis– Remmel on existence of a computable, degree-preserving… 
2002
2002
Safety and Liveness Properties for Real Traces and a Direct Translation from LTL to Monoids
For infinite words there are well-known characterizations of safety and liveness properties. We extend these results to real… 
2002
2002
Remarks on the sobriety of Scott topology and weak topology on posets
We give some necessary and sufficient conditions for the Scott topology on a complete lattice to be sober, and a sufficient… 
1997
1997
Injective spaces and the filter monad
An injective space is a topological space with a strong extension property for continuous maps with values on it. A certain… 
1995
1995
Alexandro and Scott Topologies forGeneralized
Both preorders and ordinary ultrametric spaces are instances of generalized ul-trametric spaces. Every generalized ultrametric… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)