Cohesiveness

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
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index Translate to english
 
Download options
PhilPapers Archive


Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 12,068
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.

Citations of this work BETA

No citations found.

Similar books and articles
Giorgio Parisi (2003). Two Spaces Looking for a Geometer. Bulletin of Symbolic Logic 9 (2):181-196.
Paul Bankston (1999). A Hierarchy of Maps Between Compacta. Journal of Symbolic Logic 64 (4):1628-1644.
Gary M. Hardegree (2005). Completeness and Super-Valuations. Journal of Philosophical Logic 34 (1):81 - 95.
Analytics

Monthly downloads

Added to index

2012-09-06

Total downloads

14 ( #120,382 of 1,101,810 )

Recent downloads (6 months)

1 ( #306,516 of 1,101,810 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Start a new thread
Order:
There  are no threads in this forum
Nothing in this forum yet.