13 citations · 15 across the 2 of their papers we have counts for
2 papers
math.LO2012★ 2 cited
Structural connections between a forcing class and its modal logic
Joel David Hamkins, George Leibman, Benedikt Löwe
The modal logic of forcing arises when one considers a model of set theory in the context of all its forcing extensions, interpreting necessity as "in all forcing extensions" and p…
math.LO2004★ 13 cited
Consistency Strengths of Modified Maximality Principles
George Leibman
The Maximality Principle MP is a scheme which states that if a sentence of the language of ZFC is true in some forcing extension V^P, and remains true in any further forcing extens…