scientific article; zbMATH DE number 6741910

zbMath1367.03091MaRDI QIDQ5271394

Yimu Yin, Peter LeFanu Lumsdaine, Paul B. Larson

Publication date: 11 July 2017

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

\(\mathbb{P}_{\max}\) forcing\(\Pi_2\) maximality

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40)

This page was built for publication: