Imants Baruss, Robert E. Woodrow. A Reduction Theorem for the Kripke-Joyal Semantics: Forcing Over an Arbitrary Category can Always be Replaced by Forcing Over a Complete Heyting Algebra. Logica Universalis, 7(3):323-334, 2013. [doi]
@article{BarussW13, title = {A Reduction Theorem for the Kripke-Joyal Semantics: Forcing Over an Arbitrary Category can Always be Replaced by Forcing Over a Complete Heyting Algebra}, author = {Imants Baruss and Robert E. Woodrow}, year = {2013}, doi = {10.1007/s11787-013-0084-y}, url = {http://dx.doi.org/10.1007/s11787-013-0084-y}, researchr = {https://researchr.org/publication/BarussW13}, cites = {0}, citedby = {0}, journal = {Logica Universalis}, volume = {7}, number = {3}, pages = {323-334}, }