Bosch, Roger (2003) Demostrar teoremas con forcing. Teorema, XXII (3). pp. 17-36.
Full text not available from this repository.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: | Users 387 not found. |
Date Deposited: | 06 Dec 2020 13:46 |
Last Modified: | 06 Dec 2020 13:46 |
URI: | http://sammelpunkt.philo.at/id/eprint/2677 |