The Western Ontario Series in Philosophy of Science - Foundational Theories of Classical and Constructive Mathematics
Latest Publications

TOTAL DOCUMENTS

29

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Springer Netherlands

9789400704305, 9789400704312

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Set Theory as a Foundation

The Western Ontario Series in Philosophy of Science - Foundational Theories of Classical and Constructive Mathematics ◽

10.1007/978-94-007-0431-2_3 ◽

2011 ◽

pp. 85-96 ◽

Author(s):

Penelope Maddy

Keyword(s):

Download Full-text

Foundational Frameworks

The Western Ontario Series in Philosophy of Science - Foundational Theories of Classical and Constructive Mathematics ◽

10.1007/978-94-007-0431-2_1 ◽

2011 ◽

pp. 53-69

Author(s):

Geoffrey Hellman*

Download Full-text

Enriched Stratified Systems for the Foundations of Category Theory

The Western Ontario Series in Philosophy of Science - Foundational Theories of Classical and Constructive Mathematics ◽

10.1007/978-94-007-0431-2_6 ◽

2011 ◽

pp. 127-143

Author(s):

Solomon Feferman

Keyword(s):

Category Theory

Download Full-text

Local Constructive Set Theory and Inductive Definitions

The Western Ontario Series in Philosophy of Science - Foundational Theories of Classical and Constructive Mathematics ◽

10.1007/978-94-007-0431-2_10 ◽

2011 ◽

pp. 189-207

Author(s):

Peter Aczel

Keyword(s):

Inductive Definitions ◽

Constructive Set Theory

Download Full-text

Foundations: Structures, Sets, and Categories

The Western Ontario Series in Philosophy of Science - Foundational Theories of Classical and Constructive Mathematics ◽

10.1007/978-94-007-0431-2_4 ◽

2011 ◽

pp. 97-110

Author(s):

Stewart Shapiro

Download Full-text

Proofs and Constructions

The Western Ontario Series in Philosophy of Science - Foundational Theories of Classical and Constructive Mathematics ◽

10.1007/978-94-007-0431-2_11 ◽

2011 ◽

pp. 209-225 ◽

Author(s):

Charles McCarty

Download Full-text

Recent Debate over Categorical Foundations

The Western Ontario Series in Philosophy of Science - Foundational Theories of Classical and Constructive Mathematics ◽

10.1007/978-94-007-0431-2_7 ◽

2011 ◽

pp. 145-154

Author(s):

Colin McLarty

Keyword(s):

Download Full-text

Reflections on the Categorical Foundations of Mathematics

The Western Ontario Series in Philosophy of Science - Foundational Theories of Classical and Constructive Mathematics ◽

10.1007/978-94-007-0431-2_9 ◽

2011 ◽

pp. 171-186 ◽

Author(s):

Joachim Lambek ◽

Philip J. Scott

Keyword(s):

Foundations Of Mathematics

Download Full-text

The Problem of Mathematical Objects

The Western Ontario Series in Philosophy of Science - Foundational Theories of Classical and Constructive Mathematics ◽

10.1007/978-94-007-0431-2_2 ◽

2011 ◽

pp. 71-84

Author(s):

Bob Hale

Keyword(s):

Mathematical Objects

Download Full-text

Conclusion: A Perspective on Future Research in FOM

The Western Ontario Series in Philosophy of Science - Foundational Theories of Classical and Constructive Mathematics ◽

10.1007/978-94-007-0431-2_15 ◽

2011 ◽

pp. 311-314

Author(s):

Giovanni Sommaruga ◽

John Bell

Keyword(s):

Future Research

Download Full-text