Diagonal reflections on squares

Archive for Mathematical Logic 58 (1-2):1-26 (2019)
  Copy   BIBTEX

Abstract

The effects of the forcing axioms \, \ and \ on the failure of weak threaded square principles of the form \\) are analyzed. To this end, a diagonal reflection principle, \, and it implies the failure of \\) if \. It is also shown that this result is sharp. It is noted that \/\ imply the failure of \\), for every regular \, and that this result is sharp as well.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/s00153-018-0614-7

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,024

External links

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

Through your library

My notes

Similar books and articles

The Diagonal Strong Reflection Principle and its Fragments.C. O. X. Sean D. & Gunter Fuchs - 2023 - Journal of Symbolic Logic 88 (3):1281-1309.
Hierarchies of forcing axioms, the continuum hypothesis and square principles.Gunter Fuchs - 2018 - Journal of Symbolic Logic 83 (1):256-282.
The subcompleteness of diagonal Prikry forcing.Kaethe Minden - 2020 - Archive for Mathematical Logic 59 (1-2):81-102.
The weakly compact reflection principle need not imply a high order of weak compactness.Brent Cody & Hiroshi Sakai - 2020 - Archive for Mathematical Logic 59 (1-2):179-196.
Bounded forcing axioms as principles of generic absoluteness.Joan Bagaria - 2000 - Archive for Mathematical Logic 39 (6):393-401.
Diamonds, compactness, and measure sequences.Omer Ben-Neria - 2019 - Journal of Mathematical Logic 19 (1):1950002.
Strong downward Löwenheim–Skolem theorems for stationary logics, II: reflection down to the continuum.Sakaé Fuchino, André Ottenbreit Maschio Rodrigues & Hiroshi Sakai - 2021 - Archive for Mathematical Logic 60 (3):495-523.
Separating diagonal stationary reflection principles.Gunter Fuchs & Chris Lambie-Hanson - 2021 - Journal of Symbolic Logic 86 (1):262-292.
Some remarks on supplementation principles in the absence of antisymmetry.Lidia Obojska - 2013 - Review of Symbolic Logic 6 (2):343-347.
P-ideal dichotomy and weak squares.Dilip Raghavan - 2013 - Journal of Symbolic Logic 78 (1):157-167.

Analytics

Added to PP
2018-02-19

Downloads
35 (#672,320)

6 months
5 (#718,261)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Aronszajn tree preservation and bounded forcing axioms.Gunter Fuchs - 2021 - Journal of Symbolic Logic 86 (1):293-315.

Add more citations

References found in this work

Squares, scales and stationary reflection.James Cummings, Matthew Foreman & Menachem Magidor - 2001 - Journal of Mathematical Logic 1 (01):35-98.
Set mapping reflection.Justin Tatch Moore - 2005 - Journal of Mathematical Logic 5 (1):87-97.
Resurrection axioms and uplifting cardinals.Joel David Hamkins & Thomas A. Johnstone - 2014 - Archive for Mathematical Logic 53 (3-4):463-485.
Separating stationary reflection principles.Paul Larson - 2000 - Journal of Symbolic Logic 65 (1):247-258.

View all 11 references / Add more references