Simplified gap-2 morasses

DOI10.1016/0168-0072(87)90070-4MaRDI QIDQ580337zbMATH OpenOpenAlexFDO

Authors Dan Velleman

Publication date 1987

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(87)90070-4

zbMATH Keywords

gap-2 morassesgap-3 theorem of model theorysimplified gap-2 morass

Mathematics Subject Classification ID

Set-theoretic model theory (03C55) Other combinatorial set theory (03E05) Consistency and independence results (03E35)

Review text

In a previous paper [J. Symb. Logic 49, 257-271 (1984; Zbl 0575.03035)], the author inroduced a simplified version of gap-1 morasses and he has shown that applications of gap-1 morasses can generally be derived more easily using this simplified structure. In this paper, he extends these ideas to gap-2 morasses by defining a structure he calls a simplified gap-2 morass. In a simplified gap-1 morass whose height is a regular cardinal \(\kappa\), the cardinal number \(\kappa^+\) is built up in \(\kappa\) steps from pieces of size less than \(\kappa\). Analogously, a simplified gap-2 morass of height \(\kappa\) describes a construction in which a simplified gap-1 morass of height \(\kappa^+\) is built up in a similar way from small pieces. There are two main theorems in the paper. Firstly, the existence of a simplified gap-2 morass is shown to be consistent with ZFC. (This is proved with a two stage forcing argument.) Secondly, it is shown that simplified gap-2 morasses can be used to prove the gap-3 theorem of model theory.

Recommendations

• Simplified morasses
• scientific article; zbMATH DE number 3948251
• Gap-2 morasses of height ω
• An inductive definition of higher gap simplified morasses
• scientific article; zbMATH DE number 5973779
• Simplified morasses with linear limits
• Higher gap morasses, Ia: Gap-two morasses and condensation
• A simpler GMRES
• scientific article; zbMATH DE number 269585
• Mason: morphological simplification

Cites work

• A Note on the Two Cardinal Problem
• scientific article; zbMATH DE number 3889517 (Why is no real title available?)
• Simplified morasses
• Simplified morasses with linear limits

Cited in

(16)

• Morasses, square and forcing axioms
• On constructions with 2-cardinals
• An inductive definition of higher gap simplified morasses
• Forcings constructed along morasses
• On the equi-consistency of the failure of the GAP-1 transfer property and an inaccessible cardinal
• Morasses and finite support iterations
• Simplified morasses with linear limits
• scientific article; zbMATH DE number 3948251 (Why is no real title available?)
• Gap-2 morasses of height ω
• Higher gap morasses, Ia: Gap-two morasses and condensation
• MITCHELL-INSPIRED FORCING, WITH SMALL WORKING PARTS AND COLLECTIONS OF MODELS OF UNIFORM SIZE AS SIDE CONDITIONS, AND GAP-ONE SIMPLIFIED MORASSES
• A \(\kappa\)-rough morass under \(2^{{<}\kappa}=\kappa\) and various applications
• scientific article; zbMATH DE number 269585 (Why is no real title available?)
• Hyperfine structure theory and gap 1 morasses
• Gap‐2 morass‐definable η₁‐orderings
• The short extenders gap three forcing using a morass

This page was built for publication: Simplified gap-2 morasses

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q580337)