Timeline for Set theory and forcing from the point of view of a formal system $G^+$ of Gentzen type
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 15, 2020 at 7:27 | history | edited | CommunityBot |
Commonmark migration
|
|
| Feb 12, 2016 at 17:41 | comment | added | Thomas Benjamin | @Mohammad Golshani: What is your motivation for asking this question? As can be seen by your "Remark" the paper presents "proofs of theorems" (about forcing, I presume) "in the form of trees of a formal system $G^+$ of Gentzen type" (natural deduction?) "in the Zermelo-Frankel and Morse axiom systems." If $G^+$ is a system of natural deduction then you might want to take a look at Avigad's paper "Forcing in Proof Theory" and make the necessary translations between Hilbert-type deduction systems and systems of natural deduction to get the desired results. | |
| Jan 25, 2016 at 5:21 | comment | added | Morteza Azad | (+1) It is very interesting. But my search on key words in this thread often leads me to unrelated topics! Maybe because proof theorists and modal logic use the term "forcing" in another context. | |
| Jan 24, 2016 at 9:36 | history | asked | Mohammad Golshani | CC BY-SA 3.0 |