Constructing new higher-gap morasses

TL;DR

This paper constructs new higher-gap morasses within an inner model that satisfies certain set-theoretic properties, advancing the understanding of complex combinatorial structures in set theory.

Contribution

It develops a method to construct $(eta,eta)$-morasses in models with amenability, coherence, and condensation, extending previous notions of morasses.

Findings

Successfully constructs higher-gap morasses in specific inner models

Demonstrates the compatibility of morass construction with model properties

Provides a framework for further exploration of combinatorial set theory

Abstract

In a previous paper I proposed a notion of $(\omega_1,\beta)$-morasses for $\omega_1 \leq \beta$. In the present paper such morasses are constructed in an inner model which satisfies amenability, coherence and condensation.