Demostrar teoremas con forcing

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

[img]
Preview
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: Stefan Köstenbauer
Date Deposited: 15 Nov 2005
Last Modified: 08 Sep 2011 18:51
URI: http://sammelpunkt.philo.at/id/eprint/1127

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year