MLQ
2002
13 years 5 months ago
2002
MLQ
2002
13 years 5 months ago
2002
We generalize the notion of a monadic algebra to that of a pseudomonadic algebra. In the same way as monadic algebras serve as algebraic models of epistemic modal system S5, pseudo...
MLQ
2002
13 years 5 months ago
2002
We study the Tychonoff Compactness Theorem for several different definitions of a compact space.
MLQ
2002
13 years 5 months ago
2002
Abstract. In this paper I compare two well studied approaches to topological semantics-the domain-theoretic approach, exemplified by the category of countably based equilogical spa...
MLQ
2002
13 years 5 months ago
2002
The 1-consistency of arithmetic is shown to be equivalent to the existence of fixed points of a certain type of update procedure, which is implicit in the epsilon-substitution met...
MLQ
2002
13 years 5 months ago
2002
The theory of apartness spaces, and their relation to topological spaces (in the point--set case) and uniform spaces (in the set--set case), is sketched. New notions of local decom...