Timeline for Forcing in Constructive Set Theories
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 23, 2019 at 13:02 | comment | added | Erfan Khaniki | @HanulJeon, thanks a lot for the comment. | |
| Nov 23, 2019 at 2:21 | comment | added | Hanul Jeon | @ErfanKhaniki It may be a too late answer, but works by Robert Lubarsky heavily use a (variant of) Kripke model. | |
| Mar 4, 2017 at 4:46 | vote | accept | Erfan Khaniki | ||
| Mar 4, 2017 at 3:54 | history | edited | Mohammad Golshani | CC BY-SA 3.0 |
added 422 characters in body
|
| Mar 3, 2017 at 18:35 | comment | added | Erfan Khaniki | @UlrikBuchholtz: Thank you very much for the link. | |
| Mar 3, 2017 at 18:12 | comment | added | Ulrik Buchholtz | In Gambino's thesis he does sheaf interpretation in two steps: first for presheaves and then for a local operator, so the first step is like Kripke models. It is not very topos-theoretic. The work is also interesting as it works for CZF. cs.le.ac.uk/people/ngambino/Publications/thesis.pdf | |
| Mar 3, 2017 at 17:14 | comment | added | Erfan Khaniki | Thank you very much. Is there any work using Kripke models instead of toposes? | |
| Mar 3, 2017 at 15:20 | history | answered | Mohammad Golshani | CC BY-SA 3.0 |