Applications of cohomology to set theory I: Hausdorff gaps

Annals of Pure and Applied Logic 71 (1):69-106 (1995)
  Copy   BIBTEX

Abstract

We explore an application of homological algebra to set theoretic objects by developing a cohomology theory for Hausdorff gaps. This leads to a natural equivalence notion for gaps about which we answer questions by constructing many simultaneous gaps. The first result is proved in ZFC while new combinatorial hypotheses generalizing ♣ are introduced to prove the second result. The cohomology theory is introduced with enough generality to be applicable to other questions in set theory. Additionally, the notion of an incollapsible gap is introduced and the existence of such a gap is shown to be independent of ZFC

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Projective Hausdorff gaps.Yurii Khomskii - 2014 - Archive for Mathematical Logic 53 (1-2):57-64.
Applications of cohomology to set theory II: Todorčević trees.Daniel E. Talayco - 1996 - Annals of Pure and Applied Logic 77 (3):279-299.
A Gap Cohomology Group.Charles Morgan - 1995 - Mathematical Logic Quarterly 41 (4):564-570.
Ladder Gaps over Stationary Sets.Uri Abraham & Saharon Shelah - 2004 - Journal of Symbolic Logic 69 (2):518 - 532.
Cohomology for Anyone.David A. Rabson, John F. Huesman & Benji N. Fisher - 2003 - Foundations of Physics 33 (12):1769-1796.
O-Minimal Spectra, Infinitesimal Subgroups and Cohomology.Alessandro Berarducci - 2007 - Journal of Symbolic Logic 72 (4):1177 - 1193.
Moving Intersticial Gaps.James H. Schmerl - 2002 - Mathematical Logic Quarterly 48 (2):283-296.
Hausdorff measure on o-minimal structures.A. Fornasiero & E. Vasquez Rifo - 2012 - Journal of Symbolic Logic 77 (2):631-648.
Theories of truth and truth-value gaps.Philip Hugly & Charles Sayward - 1993 - Linguistics and Philosophy 16 (6):551 - 559.

Analytics

Added to PP
2014-01-16

Downloads
24 (#639,942)

6 months
11 (#222,787)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A forcing axiom for a non-special Aronszajn tree.John Krueger - 2020 - Annals of Pure and Applied Logic 171 (8):102820.
An algebra whose subalgebras are characterized by density.Alessandro Vignati - 2015 - Journal of Symbolic Logic 80 (3):1066-1074.
Applications of cohomology to set theory II: Todorčević trees.Daniel E. Talayco - 1996 - Annals of Pure and Applied Logic 77 (3):279-299.
Ladder Gaps over Stationary Sets.Uri Abraham & Saharon Shelah - 2004 - Journal of Symbolic Logic 69 (2):518 - 532.
Ladder gaps over stationary sets.Uri Abraham & Saharon Shelah - 2004 - Journal of Symbolic Logic 69 (2):518-532.

Add more citations

References found in this work

Variations on ◊.Keith J. Devlin - 1979 - Journal of Symbolic Logic 44 (1):51 - 58.

Add more references