Local connectedness and distance functions
| Abstract | Local connectedness functions for (κ, 1)-simplified morasses, localisations of the coupling function c studied in [M96, §1], are defined and their elementary properties discussed. Several different, useful, canonical ways of arriving at the functions are examined. This analysis is then used to give explicit formulae for generalisations of the local distance functions which were defined recursively in [K00], leading to simple proofs of the principal properties of those functions. It is then extended to the properties of local connectedness functions in the context of κ-M-proper forcing for sucessor κ. The functions are shown to enjoy substantial strengthenings of the properties (particularly the ∆-properties) hitherto proved for both c and for Todorcevic’s ρ-functions in the special case κ = ω1. A couple of examples of the use of local connectedness functions in consort with κ-M-proper forcing are then given. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesAndreas Weiermann (1996). How to Characterize Provably Total Functions by Local Predicativity. Journal of Symbolic Logic 61 (1):52-69.
Paul E. Griffiths (1993). Functional Analysis and Proper Functions. British Journal for the Philosophy of Science 44 (3):409-422.
Gunter Mahler (2004). The Partitioned Quantum Universe: Entanglement and the Emergence of Functionality. Mind and Matter 2 (2):67-89.
Zlatan Damnjanovic (1997). Elementary Realizability. Journal of Philosophical Logic 26 (3):311-339.
Berent Enc & Fred Adams (1992). Functions and Goal Directedness. Philosophy of Science 59 (4):635-654.
George Bealer (1989). On the Identification of Properties and Propositional Functions. Linguistics and Philosophy 12 (1):1 - 14.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
