Add to ORKGNew constructive definition of compactness in the form of the existence of a continuous ”uni-versal quantifier”. Construction and compactness of Cantor space. Baire space is not definable (locally compact). Examination of the (non-) impact of a counterexample due to Kleene that has previously undermined other attempts to define and prove compactness of Cantor space constructively.
Let X be a connected, locally connected Tychonoff space. Let r(X) (respectively r(0)(X)) denote the ...
Update: fixed an error on the applicability of thm 1, added some acks and a refWe prove in construct...
The space $S_\kappa$ is the Stone space of the $\kappa$-saturated Boolean algebra of cardinality $\k...
I present a basic result about Cantor space in the context of com-putability theory: the computable ...
AbstractAbstract Stone Duality is a re-axiomatisation of general topology intended to make it recurs...
The aim of this thesis is to understand the constructive scope of compactness. We show that it is ...
The aim of this thesis is to understand the constructive scope of compactness. We show that it is po...
Abstract Stone Duality is a re-axiomatisation of general topology in which the topology on a space i...
(compact Hausdorff zero-dimensional spaces) and continuous maps. De Vries [12] generalized Stone dua...
The formulation of the Baire category theorem found in most elementary topology texts deals with two...
Dinca George. Duality mappings on infinite dimensional reflexive and smooth Banach spaces are not co...
In this paper, we give a method to construct a zero-dimensional Wallman compactication for a zero-di...
In [G. Curi, "Exact approximations to Stone-Cech compactification'', Ann. Pure Appl. Logic, 146, 2-3...
AbstractFor every compact metrizable space X there is a metrizable compactification μ(X) of ω whose ...
In this paper, we prove new versions of Stone Duality. The main version is the following: the catego...
Let X be a connected, locally connected Tychonoff space. Let r(X) (respectively r(0)(X)) denote the ...
Update: fixed an error on the applicability of thm 1, added some acks and a refWe prove in construct...
The space $S_\kappa$ is the Stone space of the $\kappa$-saturated Boolean algebra of cardinality $\k...
I present a basic result about Cantor space in the context of com-putability theory: the computable ...
AbstractAbstract Stone Duality is a re-axiomatisation of general topology intended to make it recurs...
The aim of this thesis is to understand the constructive scope of compactness. We show that it is ...
The aim of this thesis is to understand the constructive scope of compactness. We show that it is po...
Abstract Stone Duality is a re-axiomatisation of general topology in which the topology on a space i...
(compact Hausdorff zero-dimensional spaces) and continuous maps. De Vries [12] generalized Stone dua...
The formulation of the Baire category theorem found in most elementary topology texts deals with two...
Dinca George. Duality mappings on infinite dimensional reflexive and smooth Banach spaces are not co...
In this paper, we give a method to construct a zero-dimensional Wallman compactication for a zero-di...
In [G. Curi, "Exact approximations to Stone-Cech compactification'', Ann. Pure Appl. Logic, 146, 2-3...
AbstractFor every compact metrizable space X there is a metrizable compactification μ(X) of ω whose ...
In this paper, we prove new versions of Stone Duality. The main version is the following: the catego...
Let X be a connected, locally connected Tychonoff space. Let r(X) (respectively r(0)(X)) denote the ...
Update: fixed an error on the applicability of thm 1, added some acks and a refWe prove in construct...
The space $S_\kappa$ is the Stone space of the $\kappa$-saturated Boolean algebra of cardinality $\k...