Argitalpenak (11) ROGER BOSCH BASTARDES argitalpenak

2009

  1. 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

  1. Generic absoluteness under projective forcing

    Fundamenta Mathematicae, Vol. 194, Núm. 2, pp. 95-120

2004

  1. 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

  2. Proper forcing extensions and Solovay models

    Archive for Mathematical Logic, Vol. 43, Núm. 6, pp. 739-750

  3. Solovay models and forcing extensions

    Journal of Symbolic Logic, Vol. 69, Núm. 3, pp. 742-766

2003

  1. Demostrar teoremas con forcing

    Teorema: Revista internacional de filosofía, Vol. 22, Núm. 3, pp. 17-36

  2. Volume of abstracts

    Universidad de Oviedo

1998

  1. 4th Barcelona Logic Meeting

    Teorema: Revista internacional de filosofía, Vol. 17, Núm. 2, pp. 145-148

1997

  1. 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]

  2. Projective forcing

    Annals of Pure and Applied Logic, Vol. 86, Núm. 3, pp. 237-266

1990

  1. 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)