2008arXiv (Cornell University)Open access

Morasses and finite support iterations

Bernhard Irrgang

Open full text 0 citations

Abstract

We introduce a method of constructing a forcing along a simplified $(κ,1)$-morass such that the forcing satisfies the $κ$-chain condition. Alternatively, this may be seen as a method to thin out a larger forcing to get a chain condition. As an application, we construct a ccc forcing that adds an $ω_2$-Suslin tree. Related methods are Shelah's historic forcing and Todorcevic's $ρ$-functions.

Open-access reader

About this research paper

What this paper is about

We introduce a method of constructing a forcing along a simplified $(κ,1)$-morass such that the forcing satisfies the $κ$-chain condition. Alternatively, this may be seen as a method to thin out a larger forcing to get a chain condition. As an application, we construct a ccc forcing that adds an $ω_2$-Suslin tree. Related methods are Shelah's historic forcing and Todorcevic's $ρ$-functions.

Why it matters

A significance statement is not available in the OpenAlex record.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

We introduce a method of constructing a forcing along a simplified $(κ,1)$-morass such that the forcing satisfies the $κ$-chain condition. Alternatively, this may be seen as a method to thin out a larger forcing to get a chain condition. As an application, we construct a ccc forcing that adds an $ω_2$-Suslin tree. Related methods are Shelah's historic forcing and Todorcevic's $ρ$-functions.

Key concepts: Computer science, Mathematics

Related papers

Back to paper searchBrowse research topicsOriginal source
Morasses and finite support iterations — Research Paper | ScholarLens