Forcing in Intuitionistic Systems Without Power-Set
Grayson, R. J.
J. Symbolic Logic, Tome 48 (1983) no. 1, p. 670-682 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
It is shown how to define forcing semantics within metatheories not containing the power-set construction, in particular, how to construct exponents assuming only (a slightly strengthened form of) exponents in the metatheory. Some straightforward applications (consistency and independence results, and derived rules) are obtained for such systems.
Publié le : 1983-09-14
Classification:  
@article{1183741326,
     author = {Grayson, R. J.},
     title = {Forcing in Intuitionistic Systems Without Power-Set},
     journal = {J. Symbolic Logic},
     volume = {48},
     number = {1},
     year = {1983},
     pages = { 670-682},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183741326}
}

Grayson, R. J. Forcing in Intuitionistic Systems Without Power-Set. J. Symbolic Logic, Tome 48 (1983) no. 1, pp.  670-682. http://gdmltest.u-ga.fr/item/1183741326/