Reflections on the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

22

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Cambridge University Press

9781316755983

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Predicativity: The outer limits

Reflections on the Foundations of Mathematics ◽

10.1017/9781316755983.007 ◽

2017 ◽

pp. 130-136 ◽

Cited By ~ 2

Author(s):

Stephen G. Simpson

Download Full-text

Preface

Reflections on the Foundations of Mathematics ◽

10.1017/9781316755983.001 ◽

2017 ◽

pp. v-vi

Author(s):

Wilfried Sieg ◽

Rick Sommer ◽

Carolyn Talcott

Download Full-text

Internal finite tree embeddings

Reflections on the Foundations of Mathematics ◽

10.1017/9781316755983.004 ◽

2017 ◽

pp. 60-91 ◽

Cited By ~ 1

Author(s):

Harvey M. Friedman

Keyword(s):

Finite Tree

Download Full-text

Three processes in natural language interpretation

Reflections on the Foundations of Mathematics ◽

10.1017/9781316755983.011 ◽

2017 ◽

pp. 208-227

Author(s):

Tim Fernando

Keyword(s):

Natural Language ◽

Language Interpretation ◽

Natural Language Interpretation

Download Full-text

Explicit mathematics with monotone inductive definitions: A survey

Reflections on the Foundations of Mathematics ◽

10.1017/9781316755983.016 ◽

2017 ◽

pp. 329-346 ◽

Cited By ~ 2

Author(s):

Michael Rathjen

Keyword(s):

Inductive Definitions

Download Full-text

On the constructivity of proofs. A debate among Behmann, Bernays, Gödel, and Kaufmann

Reflections on the Foundations of Mathematics ◽

10.1017/9781316755983.017 ◽

2017 ◽

pp. 349-371

Author(s):

Paolo Mancosu

Download Full-text

Ordinal analysis without proofs

Reflections on the Foundations of Mathematics ◽

10.1017/9781316755983.002 ◽

2017 ◽

pp. 1-36

Author(s):

Jeremy Avigad

Keyword(s):

Ordinal Analysis

Download Full-text

A pragmatic interpretation of substructural logics

Reflections on the Foundations of Mathematics ◽

10.1017/9781316755983.008 ◽

2017 ◽

pp. 139-163 ◽

Cited By ~ 2

Author(s):

Gianluigi Bellin ◽

Carlo Dalla Pozza

Keyword(s):

Substructural Logics ◽

Pragmatic Interpretation

Download Full-text

Logical constants: the variable fortunes of an elusive notion

Reflections on the Foundations of Mathematics ◽

10.1017/9781316755983.021 ◽

2017 ◽

pp. 420-440

Author(s):

Johan van Benthem

Keyword(s):

Logical Constants

Download Full-text

The epsilon substitutionmethod and continuity

Reflections on the Foundations of Mathematics ◽

10.1017/9781316755983.006 ◽

2017 ◽

pp. 117-129

Author(s):

Grigori Mints

Download Full-text