- Abstract.[author unknown] - 1998 - Studies in History and Philosophy of Science Part A 29 (2):299-303.details
|
|
Foundations of Unlimited Category Theory: What Remains to Be Done.Solomon Feferman - 2013 - Review of Symbolic Logic 6 (1):6-15.details
|
|
The genetic versus the axiomatic method: Responding to Feferman 1977: The genetic versus the axiomatic method: Responding to Feferman 1977.Elaine Landry - 2013 - Review of Symbolic Logic 6 (1):24-51.details
|
|
Foundations of Constructive Analysis.Errett Bishop - 1967 - New York, NY, USA: Mcgraw-Hill.details
|
|
Univalent foundations as structuralist foundations.Dimitris Tsementzis - 2017 - Synthese 194 (9):3583-3617.details
|
|
Towards a Philosophy of Real Mathematics.David Corfield - 2003 - New York: Cambridge University Press.details
|
|
Foundations as truths which organize mathematics.Colin Mclarty - 2013 - Review of Symbolic Logic 6 (1):76-86.details
|
|
Categorical foundations of mathematics or how to provide foundations for abstract mathematics.Jean-Pierre Marquis - 2013 - Review of Symbolic Logic 6 (1):51-75.details
|
|
Mathematical Forms and Forms of Mathematics: Leaving the Shores of Extensional Mathematics.Jean-Pierre Marquis - 2013 - Synthese 190 (12):2141-2164.details
|
|
What Scientific Theories Could Not Be.Hans Halvorson - 2012 - Philosophy of Science 79 (2):183-206.details
|
|
From Kant to Hilbert: a source book in the foundations of mathematics.William Ewald (ed.) - 1996 - New York: Oxford University Press.details
|
|
The formulæ-as-types notion of construction.W. A. Howard - 1995 - In Philippe De Groote (ed.), The Curry-Howard isomorphism. Louvain-la-Neuve: Academia.details
|
|
What numbers could not be.Paul Benacerraf - 1965 - Philosophical Review 74 (1):47-73.details
|
|
Towards a Philosophy of Real Mathematics.David Corfield - 2003 - Studia Logica 81 (2):285-289.details
|
|
Structuralism, Invariance, and Univalence.Steve Awodey - 2014 - Philosophia Mathematica 22 (1):1-11.details
|
|
Expressing ‘the structure of’ in homotopy type theory.David Corfield - 2017 - Synthese 197 (2):681-700.details
|
|
On the Structure of Classical Mechanics.Thomas William Barrett - 2015 - British Journal for the Philosophy of Science 66 (4):801-828.details
|
|
From a Geometrical Point of view: a study in the history and philosophy of category theory.Jean-Pierre Marquis - 2009 - Springer.details
|
|
Homotopy theoretic models of identity types.Steve Awodey & Michael A. Warren - unknowndetails
|
|
Does category theory provide a framework for mathematical structuralism?Geoffrey Hellman - 2003 - Philosophia Mathematica 11 (2):129-157.details
|
|
An answer to Hellman's question: ‘Does category theory provide a framework for mathematical structuralism?’.Steve Awodey - 2004 - Philosophia Mathematica 12 (1):54-64.details
|
|
Per Martin-Löf. Intuitionistic type theory. Studies in proof theory. Bibliopolis, Naples1984, ix + 91 pp. [REVIEW]W. A. Howard - 1986 - Journal of Symbolic Logic 51 (4):1075-1076.details
|
|
Voevodsky’s Univalence Axiom in Homotopy Type Theory.Steve Awodey, Alvaro Pelayo & Michael A. Warren - unknowndetails
|
|
Theoretical equivalence in classical mechanics and its relationship to duality.Nicholas J. Teh & Dimitris Tsementzis - 2017 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 59:44-54.details
|
|
Categories of scientific theories.Hans Halvorson & Dimitris Tsementzis - 2017 - In Elaine M. Landry (ed.), Categories for the Working Philosopher. Oxford, England: Oxford University Press.details
|
|
Categories for the Working Mathematician.Saunders Maclane - 1971 - Springer.details
|
|
Constructivist and structuralist foundations: Bishop’s and Lawvere’s theories of sets.Erik Palmgren - 2012 - Annals of Pure and Applied Logic 163 (10):1384-1399.details
|
|
Propositions as [Types].Steve Awodey & Andrej Bauer - unknowndetails
|
|
General covariance and the foundations of general relativity: Eight decades of dispute.John D. Norton - 1993 - Reports of Progress in Physics 56:791--861.details
|
|
Numbers can be just what they have to.Colin McLarty - 1993 - Noûs 27 (4):487-498.details
|
|
Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.details
|
|
Die Grundlagen der Arithmetik. Eine logisch mathematische Untersuchung über den Begriff der Zahl.Gottlob Frege - 1884 - Wittgenstein-Studien 3 (2):993-999.details
|
|
Type Theory and Homotopy.Steve Awodey - unknowndetails
|
|
Exploring Categorical Structuralism.C. Mclarty - 2004 - Philosophia Mathematica 12 (1):37-53.details
|
|
How to be a structuralist all the way down.Elaine Landry - 2011 - Synthese 179 (3):435 - 454.details
|
|
Abstract.[author unknown] - 2011 - Dialogue and Universalism 21 (4):447-449.details
|
|
On Constructive Axiomatic Method.Andrei Rodin - unknowndetails
|
|
Putting structuralism in its place.John P. Burgess - unknowndetails
|
|
Category Theory.S. Awodey - 2007 - Bulletin of Symbolic Logic 13 (3):371-372.details
|
|
Abstract.[author unknown] - 2004 - Journal for the Theory of Social Behaviour 34 (4):447-449.details
|
|
Category Theory.[author unknown] - 2007 - Studia Logica 86 (1):133-135.details
|
|