Constructive analysis and thermodynamics formulations.
Constructive Coordinatization of Desarguesian Planes.
Constructive dimension theory
Constructive irrational space.
Correció a l'article: "Analisi formalment recursiva".
Corrección del artículo del autor "Anàlisi formalment recursiva", publicado en Publicacions de la Secció de Matemàtiques de la UAB, 30 (2-3), p. 35-75 (1986).
Counting sets
Cut elimination for impredicative infinitary systems. Part II Ordinal analysis for iterated inductive definitions.
Cut-elimination for impredicative infinitary systems. Part I. Ordinal-analysis for ID1.
Cлабая сходимость в конструктивной математике