Demostrar teoremas con forcing

Bosch, Roger (2003) Demostrar teoremas con forcing. Teorema, XXII (3). pp. 17-36.

Full text not available from this repository.


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

Actions (login required)

View Item
View Item