DOIAbstract
AbstractWe give a construction of the square principle □ω1 by means of forcing with finite conditions
AbstractWe give a construction of the square principle □ω1 by means of forcing with finite conditions
Abstract. We present two applications of forcing with finite sequences of models as side conditions,...
We introduce a new method for building models of CH, together with $\Pi_2$ statements over $H(\omega...
We investigate the consistency strength of the forcing axiom for Σ13 formulas, for various classes o...
AbstractWe give a construction of the square principle □ω1 by means of forcing with finite condition...
Abstract. We give a construction of the square principle □ω1 forcing with finite conditions. by mean...
AbstractWe define □Pκλ, a square principle in the context of Pκλ, and prove its consistency relative...
Abstract. We develop a version of Namba forcing which is useful for con-structing models with no goo...
Die vorliegende Dissertation verwendet die forcing Methode für Untersuchungen an den reellen Zahlen ...
AbstractWe define □Pκλ, a square principle in the context of Pκλ, and prove its consistency relative...
AbstractIn recent work, the second author extended combinatorial principles due to Jech and Magidor ...
AbstractWe present a technique for destroying stationary subsets of Pκκ+ using partial square sequen...
AbstractThe paper discusses various relationships between the concepts mentioned in the title. In Se...
In this paper we provide a general tool to prove the consistency of with various combinatorial prope...
AbstractIn recent work, the second author extended combinatorial principles due to Jech and Magidor ...
Abstract. We present a general framework for forcing on ω2 with finite con-ditions using countable m...
Abstract. We present two applications of forcing with finite sequences of models as side conditions,...
We introduce a new method for building models of CH, together with $\Pi_2$ statements over $H(\omega...
We investigate the consistency strength of the forcing axiom for Σ13 formulas, for various classes o...
AbstractWe give a construction of the square principle □ω1 by means of forcing with finite condition...
Abstract. We give a construction of the square principle □ω1 forcing with finite conditions. by mean...
AbstractWe define □Pκλ, a square principle in the context of Pκλ, and prove its consistency relative...
Abstract. We develop a version of Namba forcing which is useful for con-structing models with no goo...
Die vorliegende Dissertation verwendet die forcing Methode für Untersuchungen an den reellen Zahlen ...
AbstractWe define □Pκλ, a square principle in the context of Pκλ, and prove its consistency relative...
AbstractIn recent work, the second author extended combinatorial principles due to Jech and Magidor ...
AbstractWe present a technique for destroying stationary subsets of Pκκ+ using partial square sequen...
AbstractThe paper discusses various relationships between the concepts mentioned in the title. In Se...
In this paper we provide a general tool to prove the consistency of with various combinatorial prope...
AbstractIn recent work, the second author extended combinatorial principles due to Jech and Magidor ...
Abstract. We present a general framework for forcing on ω2 with finite con-ditions using countable m...
Abstract. We present two applications of forcing with finite sequences of models as side conditions,...
We introduce a new method for building models of CH, together with $\Pi_2$ statements over $H(\omega...
We investigate the consistency strength of the forcing axiom for Σ13 formulas, for various classes o...
Add to ORKG