S-forcing. I: a ''black-box'' theorem for morasses, with applications to super-Souslin trees
type: Item
instance of: scholarly article
title: S-forcing. I: a ''black-box'' theorem for morasses, with applications to super-Souslin trees
zbMATH Open document ID: 0513.03023
DOI: 10.1007/BF02761942
author: S. Shelah
author: Lee J. Stanley
published in: Israel Journal of Mathematics
publication date: 1982-01-01T00:00:00Z
Mathematics Subject Classification ID: 03E05
Mathematics Subject Classification ID: 03E45
Mathematics Subject Classification ID: 03E40
Mathematics Subject Classification ID: 03E35
zbMATH DE Number: 3809543
zbMATH Keywords: combinatorial principles
zbMATH Keywords: consistent
zbMATH Keywords: forcing
zbMATH Keywords: constructible universe
zbMATH Keywords: morass
zbMATH Keywords: tree
zbMATH Keywords: super-Souslin tree
zbMATH Keywords: Souslin subtrees
zbMATH Keywords: combinatorial set theory
MaRDI profile type: Publication
cites work: Consistency proofs in model theory: A contribution to Jensenlehre
cites work: Aspects of constructibility
cites work: Higher Souslin trees and the generalized continuum hypothesis
cites work: Q3919494
cites work: The fine structure of the constructible hierarchy
cites work: Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
cites work: The ℵ 2 \1-Souslin Hypothesis
cites work: Models with second order properties. IV. A general method and eliminating diamonds
cites work: Generalized Martin's axiom and Souslin's hypothesis for higher cardinals
full work available at URL: https://doi.org/10.1007/bf02761942
OpenAlex ID: W2003575709
description: scientific article; zbMATH DE number 3809543