Results 1 
4 of
4
A Relationship between Equilogical Spaces and Type Two Effectivity
"... In this paper I compare two well studied approaches to topological semantics the domaintheoretic approach, exemplied by the category of countably based equilogical spaces, Equ, and Type Two Eectivity, exemplied by the category of Baire space representations, Rep(B ). These two categories are both ..."
Abstract

Cited by 17 (0 self)
 Add to MetaCart
In this paper I compare two well studied approaches to topological semantics the domaintheoretic approach, exemplied by the category of countably based equilogical spaces, Equ, and Type Two Eectivity, exemplied by the category of Baire space representations, Rep(B ). These two categories are both locally cartesian closed extensions of countably based T 0 spaces. A natural question to ask is how they are related.
Exact Completions and Toposes
 University of Edinburgh
, 2000
"... Toposes and quasitoposes have been shown to be useful in mathematics, logic and computer science. Because of this, it is important to understand the di#erent ways in which they can be constructed. Realizability toposes and presheaf toposes are two important classes of toposes. All of the former and ..."
Abstract

Cited by 14 (4 self)
 Add to MetaCart
(Show Context)
Toposes and quasitoposes have been shown to be useful in mathematics, logic and computer science. Because of this, it is important to understand the di#erent ways in which they can be constructed. Realizability toposes and presheaf toposes are two important classes of toposes. All of the former and many of the latter arise by adding &quot;good &quot; quotients of equivalence relations to a simple category with finite limits. This construction is called the exact completion of the original category. Exact completions are not always toposes and it was not known, not even in the realizability and presheaf cases, when or why toposes arise in this way. Exact completions can be obtained as the composition of two related constructions. The first one assigns to a category with finite limits, the &quot;best &quot; regular category (called its regular completion) that embeds it. The second assigns to
Mathematical Logic Quarterly
"... Abstract. In this paper I compare two well studied approaches to topological semantics— ..."
Abstract
 Add to MetaCart
(Show Context)
Abstract. In this paper I compare two well studied approaches to topological semantics—
Injective Convergence Spaces and Equilogical Spaces via Pretopological Spaces
 MFPS 2005
, 2005
"... ..."
(Show Context)