Sufficient conditions for the forcing theorem, and turning proper classes into sets

DOI10.4064/fm530-9-2018zbMath1472.03061arXiv1710.10826OpenAlexW2963520499MaRDI QIDQ5376622

Peter Holy, Regula Krapf, Philipp Schlicht

Publication date: 13 May 2019

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1710.10826

zbMATH Keywords

proper classesclass forcingforcing theorem

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (2)

TAKING REINHARDT’S POWER AWAY ⋮ Forcing axioms via ground model interpretations

Cites Work

• CLASS FORCING, THE FORCING THEOREM AND BOOLEAN COMPLETIONS

This page was built for publication: Sufficient conditions for the forcing theorem, and turning proper classes into sets