Foundational theories of classical and constructive mathematics

Repository | Book

Springer, Dordrecht

2011

314 Pages

ISBN 978-94-007-0430-5

Foundational theories of classical and constructive mathematics

Edited by

Giovanni Sommaruga

Publication details

Full citation:

Sommaruga, G. (ed) (2011). Foundational theories of classical and constructive mathematics, Springer, Dordrecht.

Table of Contents

Foundational frameworks

Hellman Geoffrey

53-69

The problem of mathematical objects

Hale Bob

71-84

Set theory as a foundation

Maddy Penelope

85-96

Foundations

Shapiro Stewart

97-110

From sets to types, to categories, to sets

Awodey Steve

113-125

Enriched stratified systems for the foundations of category theory

Feferman Solomon

127-143

Recent debate over categorical foundations

McLarty Colin

145-154

The axiom of choice in the foundations of mathematics

Bell John L.

157-169

Reflections on the categorical foundations of mathematics

Lambek Joachim; Scott Philip J.

171-186

Local constructive set theory and inductive definitions

Aczel Peter

189-207

Proofs and constructions

McCarty Charles

209-225

Euclidean arithmetic

Mayberry J.P.

227-243

Intentionality, intuition, and proof in mathematics

Tieszen Richard

245-263

Foundations for computable topology

Taylor Paul

265-310

Conclusion

Sommaruga Giovanni; Bell John L.

311-314

Is this table of contents incomplete? Click here to add the missing references

This document is unfortunately not available for download at the moment.