Monadic binary relations and the monad systems at near-standard points

Journal of Symbolic Logic 52 (3):689-697 (1987)
  Copy   BIBTEX

Abstract

Let ( * X, * T) be the nonstandard extension of a Hausdorff space (X, T). After Wattenberg [6], the monad m(x) of a near-standard point x in * X is defined as m(x) = μ T (st(x)). Consider the relation $R_{\mathrm{ns}} = \{\langle x, y \rangle \mid x, y \in \mathrm{ns} (^\ast X) \text{and} y \in m(x)\}.$ Frank Wattenberg in [6] and [7] investigated the possibilities of extending the domain of R ns to the whole of * X. Wattenberg's extensions of R ns were required to be equivalence relations, among other things. Because the nontrivial ways of constructing such extensions usually produce monadic relations, the said condition practically limits (to completely regular spaces) the class of spaces for which such extensions are possible. Since symmetry and transitivity are not, after all, characteristics of the kind of nearness that is obtained in a general topological space, it may be expected that if these two requirements are relaxed, then a monadic extension of R ns to * X should be possible in any topological space. A study of such extensions of R ns is the purpose of the present paper. We call a binary relation $W \subseteq ^\ast X \times ^\ast X$ an infinitesimal on * X if it is monadic and reflexive on * X. We prove, among other things, that the existence of an infinitesimal on * X that extends R ns is equivalent to the condition that the space (X, T) be regular

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Elementary polyhedral mereotopology.Ian Pratt-Hartmann & Dominik Schoop - 2002 - Journal of Philosophical Logic 31 (5):469-498.
Leibniz and Monadic Domination.Shane Duarte - 2013 - Oxford Studies in Early Modern Philosophy 6:209-48.
Rabin's uniformization problem.Yuri Gurevich & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (4):1105-1119.
Groups and algebras of binary relations.Steven Givant & Hajnal Andréka - 2002 - Bulletin of Symbolic Logic 8 (1):38-64.
Perceptual space is monadic.Albert Casullo - 1989 - Philosophy and Phenomenological Research 50 (September):131-134.

Analytics

Added to PP
2009-01-28

Downloads
29 (#474,441)

6 months
1 (#1,040,386)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Applied Nonstandard Analysis.Martin Davis - 1978 - Journal of Symbolic Logic 43 (2):383-384.

Add more references