Cohesiveness


Authors
John L. Bell
University of Western Ontario
Abstract
ABSTRACT: It is characteristic of a continuum that it be “all of one piece”, in the sense of being inseparable into two (or more) disjoint nonempty parts. By taking “part” to mean open (or closed) subset of the space, one obtains the usual topological concept of connectedness . Thus a space S is defined to be connected if it cannot be partitioned into two disjoint nonempty open (or closed) subsets – or equivalently, given any partition of S into two open (or closed) subsets, one of the members of the partition must be empty. This holds, for example, for the space R of real numbers and for all of its open or closed intervals. Now a truly radical condition results from taking the idea of being “all of one piece” literally, that is, if it is taken to mean inseparability into any disjoint nonempty parts, or subsets, whatsoever . A space S satisfying this condition is called cohesive or indecomposable. While the law of excluded middle of classical logic reduces indecomposable spaces to the trivial empty space and one-point spaces, the use of intuitionistic logic makes it possible not only for nontrivial cohesive spaces to exist, but for every connected space to be cohesive.In this paper I describe the philosophical background to cohesiveness as well as some of the ways in which the idea is modelled in contemporary mathematics
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,483
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

The Classical Continuum Without Points.Geoffrey Hellman & Stewart Shapiro - 2013 - Review of Symbolic Logic 6 (3):488-512.

Add more citations

Similar books and articles

A Conjunction in Closure Spaces.Andrzej W. Jankowski - 1984 - Studia Logica 43 (4):341 - 351.
Recursive Constructions in Topological Spaces.Iraj Kalantari & Allen Retzlaff - 1979 - Journal of Symbolic Logic 44 (4):609-625.
A Coalgebraic View of Heyting Duality.Brian A. Davey & John C. Galati - 2003 - Studia Logica 75 (3):259 - 270.
Generalized Cohesiveness.Tamara Hummel & Carl G. Jockusch - 1999 - Journal of Symbolic Logic 64 (2):489-516.
Covering Analytic Sets by Families of Closed Sets.Sławomir Solecki - 1994 - Journal of Symbolic Logic 59 (3):1022-1031.
When Can Statistical Theories Be Causally Closed?Balazs Gyenis & Miklos Redei - 2002 - Foundations of Physics 34 (9):1285-1303.
Two Spaces Looking for a Geometer.Giorgio Parisi - 2003 - Bulletin of Symbolic Logic 9 (2):181-196.
A Hierarchy of Maps Between Compacta.Paul Bankston - 1999 - Journal of Symbolic Logic 64 (4):1628-1644.
Completeness and Super-Valuations.Gary M. Hardegree - 2005 - Journal of Philosophical Logic 34 (1):81 - 95.

Analytics

Added to PP index
2012-09-06

Total views
22 ( #425,940 of 2,286,546 )

Recent downloads (6 months)
1 ( #862,224 of 2,286,546 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature