Forcing Square_{omega_1} with finite conditions

TL;DR

This paper presents a forcing method using finite conditions to establish the square principle on omega_1, contributing to set theory by providing a new construction technique.

Contribution

It introduces a novel forcing construction with finite conditions to force the square principle on omega_1, expanding the toolkit for set-theoretic consistency results.

Findings

Successfully forces the square principle on omega_1

Uses finite domain conditions in the forcing construction

Provides a new approach to square principles in set theory

Abstract

We give a forcing construction of the square principle on omega_1 using forcing with conditions whose domain is finite.