MLQ
2002
13 years 11 months ago
2002
MLQ
2002
13 years 11 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 11 months ago
2002
We study the Tychonoff Compactness Theorem for several different definitions of a compact space.
MLQ
2002
13 years 11 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 11 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 11 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...