|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)|
No categories specified
(categorize this paper)
|Through your library||Only published papers are available at libraries|
Similar books and articles
Andreas 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.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?