Bosch, Roger (2003) Demostrar teoremas con forcing. Teorema, XXII (3). pp. 17-36.
![[thumbnail of Bosch.pdf]](http://sammelpunkt.philo.at:8080/style/images/fileicons/application_pdf.png "Bosch.pdf")
PDF
Bosch.pdf
Download (325kB)
Abstract
Since the method of forcing appeared in the early 60's, a vast array of relative consistency results--results stating that "if a theory T is consistent, then so is the theory T'"--have been obtained. However, we also can use forcing arguments to prove theorems. In this paper, we explain the philosophy behind this type of arguments.
| Item Type: | Article |
|---|---|
| Uncontrolled Keywords: | Amplitude; Forcing; Logic; Proof; Theorem |
| Subjects: | Philosophie > Philosophische Journale, Kongresse, Vereinigungen > Teorema. Revista internacional de filosofia > Volume XXII (2003) Philosophie > Philosophische Disziplinen > Logik, analytische Philosophie |
| Depositing User: | Wolfgang Heuer |
| Date Deposited: | 06 Dec 2020 13:46 |
| Last Modified: | 06 Dec 2020 13:46 |
| URI: | http://sammelpunkt.philo.at:8080/id/eprint/2677 |
Actions (login required)
- View Item