Add to ORKGSince the method of forcing appeared in the early 60's, a vast array of relative consistency results--results stating that "if a theory T is consistent, then so is the theory T'"--have been obtained. However, we also can use forcing arguments to prove theorems. In this paper, we explain the philosophy behind this type of arguments
In a previous work, we showed the uniform continuity of definable functionals in intuitionistic type...
Abstract In a previous work, we showed the uniform continuity of definable functionals in intuitioni...
This book presents the theory of proper forcing and its relatives from the beginning. No prior knowl...
Since the method of forcing appeared in the early 60's, a vast array of relative consistency results...
Abstract. Paul Cohen's method of forcing, together with Saul Kripke's related semantics fo...
summary:The technique of forcing is developed for the alternative set theory (AST) and similar weak ...
Abstract. Paul Cohen's method of forcing, together with Saul Kripke's related semantics fo...
In 1963 P. Cohen established various fundamental independence results in set theory using a new tech...
A set theoretical assertion psi is forceable or possible, written lozenge psi, if psi holds in some ...
We survey some classical and some recent results in the theory of forcing axioms, aiming to present ...
Every definable forcing class Γ gives rise to a corresponding forcing modality □Γ where □Γφ means th...
Abstract: We develop the machinery for performing forcing over an arbitrary (possibly non-wellfounde...
We investigate the consistency strength of the forcing axiom for Σ13 formulas, for various classes o...
Exponsition of forcing and the independence of the continuum hypothesisThe independence of the conti...
summary:By the technique of forcing, some new independence results are proved for the alternative se...
In a previous work, we showed the uniform continuity of definable functionals in intuitionistic type...
Abstract In a previous work, we showed the uniform continuity of definable functionals in intuitioni...
This book presents the theory of proper forcing and its relatives from the beginning. No prior knowl...
Since the method of forcing appeared in the early 60's, a vast array of relative consistency results...
Abstract. Paul Cohen's method of forcing, together with Saul Kripke's related semantics fo...
summary:The technique of forcing is developed for the alternative set theory (AST) and similar weak ...
Abstract. Paul Cohen's method of forcing, together with Saul Kripke's related semantics fo...
In 1963 P. Cohen established various fundamental independence results in set theory using a new tech...
A set theoretical assertion psi is forceable or possible, written lozenge psi, if psi holds in some ...
We survey some classical and some recent results in the theory of forcing axioms, aiming to present ...
Every definable forcing class Γ gives rise to a corresponding forcing modality □Γ where □Γφ means th...
Abstract: We develop the machinery for performing forcing over an arbitrary (possibly non-wellfounde...
We investigate the consistency strength of the forcing axiom for Σ13 formulas, for various classes o...
Exponsition of forcing and the independence of the continuum hypothesisThe independence of the conti...
summary:By the technique of forcing, some new independence results are proved for the alternative se...
In a previous work, we showed the uniform continuity of definable functionals in intuitionistic type...
Abstract In a previous work, we showed the uniform continuity of definable functionals in intuitioni...
This book presents the theory of proper forcing and its relatives from the beginning. No prior knowl...