Mathias and silver forcing parametrized by density

Laguzzi, G; Mildenberger, H; Stuber-Rousselle, B

Stuber-Rousselle, B (通讯作者),Albert Ludwigs Univ Freiburg, Freiburg, Germany.

ARCHIVE FOR MATHEMATICAL LOGIC, 2023; 62 (7-8): 965

Abstract

We define and investigate versions of Silver and Mathias forcing with respect to lower and upper density. We focus on properness, Axiom A, chain condi......

Full Text Link