Timeline for Forcing in Constructive Set Theories
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 4, 2017 at 4:46 | vote | accept | Erfan Khaniki | ||
| Mar 3, 2017 at 15:20 | answer | added | Mohammad Golshani | timeline score: 8 | |
| Mar 3, 2017 at 14:28 | comment | added | Erfan Khaniki | @AsafKaragila: Actually I could not find anything at all by searching subjects like forcing in constructive set theory. Thank you for your comment. | |
| Mar 3, 2017 at 14:24 | comment | added | Asaf Karagila♦ | I think that most of the forcing in constructive settings is done via toposes and whatnot in a more categorical setting. I know that David Roberts has done some work on the topic. Not sure if you'll find it useful or not. | |
| Mar 3, 2017 at 13:44 | comment | added | Maxime Ramzi | I think John L Bell introduces at the end of Set theory - Boolean Valued models and independence proofs a sort of forcing theory in IZF, where instead of creating a Boolean valued model, one creates a Heyting-valued model. You may want to take a look at it | |
| Mar 3, 2017 at 13:11 | history | asked | Erfan Khaniki | CC BY-SA 3.0 |