Constructing Banaschewski compactification without Dedekind completeness axiom

The main aim of this paper is to provide a construction of the Banaschewski compactification of a zero-dimensional Hausdorff topological space as a structure space of a ring of ordered field-valued continuous functions on the space, and thereby exhibit the independence of the construction from any completeness axiom for an ordered field. In the process of describing this construction we have generalized the classical versions of M. H. Stone's theorem, the Banach-Stone theorem, and the Gelfand-Kolmogoroff theorem. The paper is concluded with a conjecture of a split in the class of all zero-dimensional but not strongly zero-dimensional Hausdorff topological spaces into three classes that are labeled by inequalities between three compactifications ofX, namely, the Stone-Čech compactificationβX, the Banaschewski compactificationβ0X, and the structure space𝔐X,Fof the lattice-ordered commutative ringℭ(X,F)of all continuous functions onXtaking values in the ordered fieldF, equipped with its order topology. Some open problems are also stated.

A uniform approach to domain theory in realizability models

We propose a uniform way of isolating a subcategory of predomains within the category of modest sets determined by a partial combinatory algebra (PCA). Given a divergence on a PCA (which determines a notion of partiality), we identify a candidate category of predomains, the well-complete objects. We show that, whenever a single strong completeness axiom holds, the category satisfies appropriate closure properties. We consider a range of examples of PCAs with associated divergences and show that in each case the axiom does hold. These examples encompass models allowing a ‘parallel’ style of computation (for example, by interleaving), as well as models that seemingly allow only ‘sequential’ computation, such as those based on term-models for the lambda-calculus. Thus, our approach provides a uniform approach to domain theory across a wide class of realizability models. We compare our treatment with previous approaches to domain theory in realizability models. It appears that no other approach applies across such a wide range of models.