A note on intuitionistic models of ZF
(1983) Notre Dame Journal of Formal Logic — Vol. 24, n° 1, p. 54-66 (1983)
Files
No attached file found for this publication.
Details
- Authors
- Abstract
- An analysis of the forcing construction of models of /b ZF/ by means of intuitionistic logic and Kripke semantics (or sheaf semantics) has been made by many authors. The authors feel however that some basic information is still available from this approach, the motto of which could be `think of a sheaf of structures as /b a/ structure, using intuitionistic logic'. They are not really interested in obtaining independence results, but want to sketch a set-theoretic forcing along lines which closely agree with that motto.
- Affiliations
Citations
Lavendhomme, R., & Lucas, T. (1983). A note on intuitionistic models of ZF. Notre Dame Journal of Formal Logic, 24(1), 54-66. https://hdl.handle.net/2078.5/148980 (Original work published 1983)