David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
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)
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
Françoise Longy (2013). Artifacts and Organisms: A Case for a New Etiological Theory of Functions. In Philippe Huneman (ed.), Functions: Selection and Mechanisms. Springer. 185--211.
George Bealer (1989). On the Identification of Properties and Propositional Functions. Linguistics and Philosophy 12 (1):1 - 14.
Berent Enc & Fred Adams (1992). Functions and Goal Directedness. Philosophy of Science 59 (4):635-654.
Zlatan Damnjanovic (1997). Elementary Realizability. Journal of Philosophical Logic 26 (3):311-339.
Gunter Mahler (2004). The Partitioned Quantum Universe: Entanglement and the Emergence of Functionality. Mind and Matter 2 (2):67-89.
Paul E. Griffiths (1993). Functional Analysis and Proper Functions. British Journal for the Philosophy of Science 44 (3):409-422.
Andreas Weiermann (1996). How to Characterize Provably Total Functions by Local Predicativity. Journal of Symbolic Logic 61 (1):52-69.
Added to index2009-01-28
Total downloads3 ( #304,280 of 1,099,996 )
Recent downloads (6 months)3 ( #127,210 of 1,099,996 )
How can I increase my downloads?