10 results
THE LARGE STRUCTURES OF GROTHENDIECK FOUNDED ON FINITE-ORDER ARITHMETIC
-
- Journal:
- The Review of Symbolic Logic / Volume 13 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 02 August 2019, pp. 296-325
- Print publication:
- June 2020
-
- Article
- Export citation
FOUNDATIONS AS TRUTHS WHICH ORGANIZE MATHEMATICS
-
- Journal:
- The Review of Symbolic Logic / Volume 6 / Issue 1 / March 2013
- Published online by Cambridge University Press:
- 09 May 2012, pp. 76-86
- Print publication:
- March 2013
-
- Article
- Export citation
What Does it Take to Prove Fermat's Last Theorem? Grothendieck and the Logic of Number Theory
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 359-377
- Print publication:
- September 2010
-
- Article
- Export citation
Poor Taste as a Bright Character Trait: Emmy Noether and the Independent Social Democratic Party
-
- Journal:
- Science in Context / Volume 18 / Issue 3 / September 2005
- Published online by Cambridge University Press:
- 21 November 2005, pp. 429-450
- Print publication:
- September 2005
-
- Article
- Export citation
F. A. Muller. Sets, classes, and categories. British Journal for the Philosophy of Science, vol. 52 (2001), pp. 539–573.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 1 / March 2003
- Published online by Cambridge University Press:
- 15 January 2014, pp. 43-44
- Print publication:
- March 2003
-
- Article
- Export citation
J. P. Mayberry, The Foundations Of Mathematics In The Theory Of Sets. Encyclopedia Of Mathematics And Its Applications Ser., Vol. 82. Cambridge: Cambridge University Press (2000), xx+429 pp., index, cloth $80.00 (cloth).
-
- Journal:
- Philosophy of Science / Volume 69 / Issue 2 / June 2002
- Published online by Cambridge University Press:
- 01 January 2022, pp. 404-406
- Print publication:
- June 2002
-
- Article
- Export citation
Philip Ehrlich (ed.), Real Numbers, Generalizations of the Reals, & Theories of Continua. Synthese Library, vol. 235. Dordrecht: Kluwer Academic Publishers (1994), xxxii + 279, $137.50 (cloth).
-
- Journal:
- Philosophy of Science / Volume 66 / Issue 3 / September 1999
- Published online by Cambridge University Press:
- 01 April 2022, pp. 500-501
- Print publication:
- September 1999
-
- Article
- Export citation
Failure of Cartesian closedness in NF
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 2 / June 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 555-556
- Print publication:
- June 1992
-
- Article
- Export citation
Axiomatizing a category of categories
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1243-1260
- Print publication:
- December 1991
-
- Article
- Export citation
Elementary axioms for canonical points of toposes
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 1 / March 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 202-204
- Print publication:
- March 1987
-
- Article
- Export citation