Foundational theories of classical and constructive mathematics

Giovanni Sommaruga

Table of Contents
Download
Other Editions

Open Access Link
53-69
Foundational frameworks

Hellman Geoffrey

Open Access Link
71-84
The problem of mathematical objects

Hale Bob

Open Access Link
85-96
Set theory as a foundation

Maddy Penelope

Open Access Link
97-110
Foundations

Shapiro Stewart

Open Access Link
113-125
From sets to types, to categories, to sets

Awodey Steve

Open Access Link
127-143
Enriched stratified systems for the foundations of category theory

Feferman Solomon

Open Access Link
145-154
Recent debate over categorical foundations

McLarty Colin

Open Access Link
157-169
The axiom of choice in the foundations of mathematics

Bell John L.

Open Access Link
171-186
Reflections on the categorical foundations of mathematics

Lambek Joachim; Scott Philip J.

Open Access Link
189-207
Local constructive set theory and inductive definitions

Aczel Peter

Open Access Link
209-225
Proofs and constructions

McCarty Charles

Open Access Link
227-243
Euclidean arithmetic

Mayberry J.P.

Open Access Link
245-263
Intentionality, intuition, and proof in mathematics

Tieszen Richard

Open Access Link
265-310
Foundations for computable topology

Taylor Paul

Open Access Link
311-314
Conclusion

Sommaruga Giovanni; Bell John L.

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

Not implemented yet !