Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Failure of Cartesian Closedness in NF.. J. Symb. Log., 57 (2): 555-556 (1992)Anti-foundation and self-reference.. J. Philosophical Logic, 22 (1): 19-28 (1993)Axiomatizing a Category of Categories.. J. Symb. Log., 56 (4): 1243-1260 (1991)Defining sets as sets of points of spaces.. J. Philosophical Logic, 17 (1): 75-90 (1988)What does it take to prove Fermat's Last Theorem? Grothendieck and the logic of number theory.. Bull. Symb. Log., 16 (3): 359-377 (2010)The Rising Sea: Grothendieck on Simplicity and Generality. (Mai 2003)Foundations as Truths which Organize Mathematics.. Rev. Symb. Log., 6 (1): 76-86 (2013)The large structures of Grothendieck founded on finite order arithmetic. (2011)cite http://arxiv.org/abs/1102.1773arxiv:1102.1773Comment: Adds the optimality observation: this is the weakest possible foundation for these tools. The exposition is clarified, the set theory better motivated, and some proofs made fuller.Elementary Categories, Elementary Toposes. Oxford Logic Guides Clarendon Press ; Oxford University Press, (1992)The last mathematician from Hilbert's Göttingen: Saunders Mac Lane as philosopher of mathematics. British J. Philos. Sci., 58 (1): 77--112 (2007)