axioms for toposes generalizing the concept of the Grothendieck topos (see history of topos theory) and worked with the algebraic topologist Myles Tierney...

arguments. Category theorists have proposed topos theory as an alternative to traditional axiomatic set theory. Topos theory can interpret various alternatives...

forcefully expressed by David Hilbert in 1928, when he wrote in Grundlagen der Mathematik, "Taking the principle of excluded middle from the mathematician would...

Scharlau, Winfried (2007), Wer ist Alexander Grothendieck?: Anarchie, Mathematik, Spiritualität First part of planned four-volume biography. Scharlau,...

der Schönen Künste in Moskau. Quellen und Studien zur Geschichte der Mathematik; Abteilung A: Quellen 1. Berlin: J. Springer Van der Waerden, B.L. 1961...

Google Books) Skolem, Thoralf (1929), "Über einige Grundlagenfragen der Mathematik", Skrifter Utgitt av Det Norske Videnskaps-Akademi I Oslo, I....

Mayer, Walther (1929), "Über abstrakte Topologie", Monatshefte für Mathematik, 36 (1): 1–42, doi:10.1007/BF02307601, ISSN 0026-9255, S2CID 120803366...

Ruffini" [The beginnings of group theory and Paolo Ruffini]. Zeitschrift für Mathematik und Physik (in German). 37 (Supplement): 119–159. See: Lagrange (1770)...

from the 1987 French original. Revised by the authors. Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)]...

Excluded Middle". Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. 24: 461. doi:10.1002/malq.19780242514. E. Bishop, Foundations of constructive...