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 introduced with a recursive definition in [K00], leading to simple proofs of the principal properties of those functions. It is then also extended to the properties of local connectedness functions in the context of \( \kappa {\text{ - }}\mathbb{M} \)-proper forcing for successor κ. The functions are shown to enjoy substantial strengthenings of the properties (particularly the Δ-properties) hitherto proved for both the function 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 \( \kappa {\text{ - }}\mathbb{M} \)-proper forcing are then given.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
U. Abraham and S. Shelah, Forcing closed unbounded sets, Journal of Symbolic Logic, 48, (1983), pp. 643–657.
U. Abraham and R. Shore, Initial segements of the degrees of size ℵ1, Israel Journal of Mathematics, 53, (1986), pp. 1–51.
J. Buamgartner, Almost-disjoint sets, the dense set problem and the partition calculus, Annals of Mathematical Logic, 10, (1976), pp. 401–439.
J. Baumgartner and S. Shelah, Remarks on superatomic Boolean algebras, Annals of Pure and Applied Logic, 33, (1987), pp. 109–129.
P. Erdős and A. Hajnal, Unsolved and solved problems in set theory, Proceedings of the Symposia in Pure Mathematics, 25, (1974), pp. 267–287.
W. Gowers, The two cultures of mathematics, in Mathematics: frontiers and perspectives, ed. V.I. Arnold, M.A. Atiyah, P. Lax and B. Mazur, American Mathematical Society, Providence, Rhode Island, U.S.A., 2000, pp. 65–78.
P. Koepke and J.C. Martinez, Superatomic Boolean algebras constructed from morasses, Journal of Symbolic Logic, 60, (1995), pp. 940–951.
P. Komjath, A consistency results concerning set mappings, Acta Mathematica Hungarica, 64, (1994), pp. 93–99.
P. Koszmider, Semimorasses and nonreflection a singular cardinals, Annals of Pure and Applied Logic, 72, (1995), pp. 1–23.
P. Koszmider, On the existence of strong chains in P(ω 1)/Fin, Journal of Symbolic Logic, 63, (1998), pp. 1055–1062.
P. Koszmider, Models as side conditions, in Set theory, ed. C.A. Di Prisco, J. Larson, J. Bagaria and A.R.D. Mathias, Kluwer, Amsterdam, Holland, (1998), pp. 99–107.
P. Koszmider, On strong chains of uncountable functions, Israel Journal of Mathematics, 118, (2000), pp. 289–315.
C.J.G. Morgan, Morasses, square and forcing axioms, Annals of Pure and Applied Logic, 80, (1996), pp. 139–163.
C.J.G. Morgan, A gap cohomology group, II: the Abraham-Shore technique, Journal of Symbolic Logic, to appear.
C.J.G. Morgan, pcf-Structures, I: characterisation, preprint, (2001).
C.J.G. Morgan, The uses and abuses of historicised forcing, handwritten notes, (1992), revised preprint, (2001).
C.J.G. Morgan, pcf-Structures, II: the consistency of pcf structures on ω2, preprint, (2001).
C.J.G. Morgan, A few gentle stretching exercises, CRM preprint. bf 554, (2003).
C.J.G. Morgan, Adding club subsets of ω2 using conditions with finite working parts, CRM preprint, (2004).
C.J.G. Morgan, On the Velickovic Δ-property for the stepping up functions c and ρ, submitted.
C.J.G. Morgan, pcf-structures, III: structures below ω3, in preparation.
M. Rabus, An ω2-minimal Boolean algebra, Proceedings of The American Mathematical Society, 348, (1996), pp. 3235–3244.
J. Roitman, Height and width of superatomic Boolean algebras, Proceedings of the American Mathematical Society, 94, (1985), pp. 9–14.
S. Shelah, Not collapsing cardinals ≤ κ in (< κ)-support iterations, preprint.
S. Shelah, C. Laflamme and B. Hart, Models with second-order properties, V, a general principle, Annals of Pure and Applied Logic, 64, (1993), pp. 169–194.
S. Shelah, L. Stanley, A theorem and some consistency results in partition calculus, Annals of Pure and Applied Logic, 36, (1987), pp. 119–152.
S. Todorčević, Directed sets and cofinal types, Transactions of the American Mathematical Society, 290, (1985), pp. 711–723.
S. Todorčević, Partitioning pairs of countable ordinals, Acta Mathematica, 159, (1987), pp. 261–294.
S. Todorčević, Partition problems in topology, Contemporary Mathematics, 84, American Mathematical Society, Providence, Rhode Island, U.S.A., 1989.
D. Velleman, Simplified morasses, Journal of Symbolic Logic, 49, (1984), pp. 257–271.
B. Veličković, Forcing axioms and stationary sets, Advances in Mathematics, 94, (1992), pp. 256–284
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Birkhäuser Verlag Basel/Switzerland
About this chapter
Cite this chapter
Morgan, C. (2006). Local Connectedness and Distance Functions. In: Bagaria, J., Todorcevic, S. (eds) Set Theory. Trends in Mathematics. Birkhäuser Basel. https://doi.org/10.1007/3-7643-7692-9_14
Download citation
DOI: https://doi.org/10.1007/3-7643-7692-9_14
Publisher Name: Birkhäuser Basel
Print ISBN: 978-3-7643-7691-8
Online ISBN: 978-3-7643-7692-5
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)