ROGER
BOSCH BASTARDES
Profesor Titular de Universidad
Publicaciones (11) Publicaciones de ROGER BOSCH BASTARDES
2009
-
La lógica matemática en España
El legado filosófico español e hispanoamericano del siglo XX (Cátedra), pp. 973-1010
2007
-
Generic absoluteness under projective forcing
Fundamenta Mathematicae, Vol. 194, Núm. 2, pp. 95-120
2004
-
Cardinales definiblemente grandes y conjuntos proyectivos
Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Valladolid, 3-6 de Noviembre de 2004
-
Proper forcing extensions and Solovay models
Archive for Mathematical Logic, Vol. 43, Núm. 6, pp. 739-750
-
Solovay models and forcing extensions
Journal of Symbolic Logic, Vol. 69, Núm. 3, pp. 742-766
2003
-
Demostrar teoremas con forcing
Teorema: Revista internacional de filosofía, Vol. 22, Núm. 3, pp. 17-36
-
Volume of abstracts
Universidad de Oviedo
1998
-
4th Barcelona Logic Meeting
Teorema: Revista internacional de filosofía, Vol. 17, Núm. 2, pp. 145-148
1997
-
Grandes Cardinales y la teorñia de los reales en extenciones de Forcing CCC
Actas del II Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: [Bellaterra 6-8 de febrero de 1997]
-
Projective forcing
Annals of Pure and Applied Logic, Vol. 86, Núm. 3, pp. 237-266
1990
-
Sobre la teoría del lenguaje de D. Lewis: la gramática transformacional de base categorial
Lenguajes naturales y lenguajes formales : actas del V congreso de lenguajes naturales y lenguajes formales : (Villafranca del Penedès-Barcelona, 18-22 de septiembre de 1989)