Foundational frameworks

Geoffrey Hellman

53-69

The problem of mathematical objects

Bob Hale

71-84

Set theory as a foundation

Penelope Maddy

85-96

Foundations

structures, sets, and categories

Stewart Shapiro

97-110

From sets to types, to categories, to sets

Steve Awodey

113-125

Enriched stratified systems for the foundations of category theory

Solomon Feferman

127-143

Recent debate over categorical foundations

Colin McLarty

145-154

The axiom of choice in the foundations of mathematics

John L. Bell

157-169

Reflections on the categorical foundations of mathematics

Joachim Lambek, Philip J. Scott

171-186

Local constructive set theory and inductive definitions

Peter Aczel

189-207

Proofs and constructions

Charles McCarty

209-225

Euclidean arithmetic

the finitary theory of finite sets

J.P. Mayberry

227-243

Intentionality, intuition, and proof in mathematics

Richard Tieszen

245-263

Foundations for computable topology

Paul Taylor

265-310

Conclusion

a perspective on future research in fom

Giovanni Sommaruga, John L. Bell

311-314