Choice principles in local mantles

Schlutzenberg, Farmer

Research article (journal) | Peer reviewed

Abstract

Assume ZFC. Let κ be a cardinal. A < κ-ground is a transitive proper class W modelling ZFC such that V is a generic extension of W via a forcing P in W of cardinality < κ. The κ-mantle is the intersection of all

Details about the publication

JournalMathematical Logic Quarterly (MLQ)
Volume68
Issue3
Page range264-278
StatusPublished
Release year2022 (01/08/2022)
Language in which the publication is writtenEnglish
DOI10.1002/malq.202000089
Link to the full texthttps://arxiv.org/abs/2006.01119
KeywordsAxiom of Choice; Forcing; Mantle; Ground

Authors from the University of Münster

Schlutzenberg, Farmer
Junior professorship for mathematical logic (Prof. Schlutzenberg)