Repository | Buch

COPR Bookmark Link
188655

Foundational theories of classical and constructive mathematics

herausgegeben vonGiovanni Sommaruga

Details | Inhaltsverzeichnis

Foundational frameworks Geoffrey Hellman

pp.53-69

https://doi.org/10.1007/978-94-007-0431-2_1
The problem of mathematical objects Bob Hale

pp.71-84

https://doi.org/10.1007/978-94-007-0431-2_2
Set theory as a foundation Penelope Maddy

pp.85-96

https://doi.org/10.1007/978-94-007-0431-2_3
Foundations

structures, sets, and categories

Stewart Shapiro

pp.97-110

https://doi.org/10.1007/978-94-007-0431-2_4
From sets to types, to categories, to sets Steve Awodey

pp.113-125

https://doi.org/10.1007/978-94-007-0431-2_5
Enriched stratified systems for the foundations of category theory Solomon Feferman

pp.127-143

https://doi.org/10.1007/978-94-007-0431-2_6
Recent debate over categorical foundations Colin McLarty

pp.145-154

https://doi.org/10.1007/978-94-007-0431-2_7
The axiom of choice in the foundations of mathematics John L. Bell

pp.157-169

https://doi.org/10.1007/978-94-007-0431-2_8
Reflections on the categorical foundations of mathematics Joachim Lambek Philip J. Scott

pp.171-186

https://doi.org/10.1007/978-94-007-0431-2_9
Local constructive set theory and inductive definitions Peter Aczel

pp.189-207

https://doi.org/10.1007/978-94-007-0431-2_10
Proofs and constructions Charles McCarty

pp.209-225

https://doi.org/10.1007/978-94-007-0431-2_11
Euclidean arithmetic

the finitary theory of finite sets

J.P. Mayberry

pp.227-243

https://doi.org/10.1007/978-94-007-0431-2_12
Intentionality, intuition, and proof in mathematics Richard Tieszen

pp.245-263

https://doi.org/10.1007/978-94-007-0431-2_13
Foundations for computable topology Paul Taylor

pp.265-310

https://doi.org/10.1007/978-94-007-0431-2_14
Conclusion

a perspective on future research in fom

Giovanni Sommaruga John L. Bell

pp.311-314

https://doi.org/10.1007/978-94-007-0431-2_15

Publication details

Publisher: Springer

Ort: Dordrecht

Year: 2011

Seiten: 314

ISBN (hardback): 978-94-007-0430-5

ISBN (digital): 978-94-007-0431-2

Referenz:

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