Annals of Pure and Applied Logic 172 (5):102904 (2021)

Abstract
In Part I of this series, we presented the microscopic approach to Souslin-tree constructions, and argued that all known ⋄-based constructions of Souslin trees with various additional properties may be rendered as applications of our approach. In this paper, we show that constructions following the same approach may be carried out even in the absence of ⋄. In particular, we obtain a new weak sufficient condition for the existence of Souslin trees at the level of a strongly inaccessible cardinal. We also present a new construction of a Souslin tree with an ascent path, thereby increasing the consistency strength of such a tree's nonexistence from a Mahlo cardinal to a weakly compact cardinal. Section 2 of this paper is targeted at newcomers with minimal background. It offers a comprehensive exposition of the subject of constructing Souslin trees and the challenges involved.
Keywords Souslin-tree construction  Parameterized proxy principle  xbox  Postprocessing function  Ascent path  Streamlined trees
Categories (categorize this paper)
DOI 10.1016/j.apal.2020.102904
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,489
External links

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

Set Theory: An Introduction to Large Cardinals.F. R. Drake & T. J. Jech - 1976 - British Journal for the Philosophy of Science 27 (2):187-191.
Some Exact Equiconsistency Results in Set Theory.Leo Harrington & Saharon Shelah - 1985 - Notre Dame Journal of Formal Logic 26 (2):178-188.
Constructibility.Keith J. Devlin - 1987 - Journal of Symbolic Logic 52 (3):864-867.
Introduction to Set Theory.K. Hrbacek & T. Jech - 2001 - Studia Logica 69 (3):448-449.
The Fine Structure of the Constructible Hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.

View all 21 references / Add more references

Citations of this work BETA

On the Ideal J[Κ].Assaf Rinot - 2022 - Annals of Pure and Applied Logic 173 (2):103055.

Add more citations

Similar books and articles

A Microscopic Approach to Souslin-Tree Constructions, Part I.Ari Meir Brodsky & Assaf Rinot - 2017 - Annals of Pure and Applied Logic 168 (11):1949-2007.
More Notions of Forcing Add a Souslin Tree.Ari Meir Brodsky & Assaf Rinot - 2019 - Notre Dame Journal of Formal Logic 60 (3):437-455.
An Variation for One Souslin Tree.Paul Larson - 1999 - Journal of Symbolic Logic 64 (1):81-98.
An $Mathbb{S}_{Max}$ Variation for One Souslin Tree.Paul Larson - 1999 - Journal of Symbolic Logic 64 (1):81-98.
Souslin Algebra Embeddings.Gido Scharfenberger-Fabian - 2011 - Archive for Mathematical Logic 50 (1-2):75-113.
On Guessing Generalized Clubs at the Successors of Regulars.Assaf Rinot - 2011 - Annals of Pure and Applied Logic 162 (7):566-577.
Square with Built-in Diamond-Plus.Assaf Rinot & Ralf Schindler - 2017 - Journal of Symbolic Logic 82 (3):809-833.
Chain Homogeneous Souslin Algebras.Gido Scharfenberger-Fabian - 2011 - Mathematical Logic Quarterly 57 (6):591-610.
Gap Structure After Forcing with a Coherent Souslin Tree.Carlos Martinez-Ranero - 2013 - Archive for Mathematical Logic 52 (3-4):435-447.
Club Degrees of Rigidity and Almost Kurepa Trees.Gunter Fuchs - 2013 - Archive for Mathematical Logic 52 (1-2):47-66.
Souslin Forcing.Jaime I. Ihoda & Saharon Shelah - 1988 - Journal of Symbolic Logic 53 (4):1188-1207.
On Iterating Semiproper Preorders.Tadatoshi Miyamoto - 2002 - Journal of Symbolic Logic 67 (4):1431-1468.
Μ-Complete Souslin Trees on Μ+.Menachem Kojman & Saharon Shelah - 1993 - Archive for Mathematical Logic 32 (3):195-201.
The Eightfold Way.James Cummings, Sy-David Friedman, Menachem Magidor, Assaf Rinot & Dima Sinapova - 2018 - Journal of Symbolic Logic 83 (1):349-371.
Souslin Trees at Successors of Regular Cardinals.Assaf Rinot - 2019 - Mathematical Logic Quarterly 65 (2):200-204.

Analytics

Added to PP index
2020-10-15

Total views
5 ( #1,208,245 of 2,520,806 )

Recent downloads (6 months)
1 ( #405,623 of 2,520,806 )

How can I increase my downloads?

Downloads

My notes