Gleason's theorem is not constructively provable. - Geoffrey Hellman (J. Philos. Log., 1993)

Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem. - Geoffrey Hellman (J. Philos. Log., 1993)

Predicative foundations of arithmetic. - Solomon Feferman; Geoffrey Hellman (J. Philos. Log., 1995)

Quantum Mechanical Unbounded Operators and Constructive Mathematics - a Rejoinder to Bridges. - Geoffrey Hellman (J. Philos. Log., 1997)

Mathematical Pluralism: The Case of Smooth Infinitesimal Analysis. - Geoffrey Hellman (J. Philos. Log., 2006)

Structuralism. - Geoffrey Hellman (The Oxford Handbook of Philosophy of Mathematics and Logic, 2007)

Neither Categorical NOR Set-Theoretic Foundations. - Geoffrey Hellman (Rev. Symb. Log., 2013)

The Classical continuum without Points. - Geoffrey Hellman; Stewart Shapiro (Rev. Symb. Log., 2013)

The Classical Continuum without Points - CORRIGENDUM. - Geoffrey Hellman; Stewart Shapiro (Rev. Symb. Log., 2013)