axioms for toposes generalizing the concept of the Grothendieck topos (see history of topos theory) and worked with the algebraic topologist Myles Tierney...
9 KB (948 words) - 11:53, 12 April 2024
includes the study of constructive set theories such as CZF and the study of topos theory. Constructivism is often identified with intuitionism, although intuitionism...
19 KB (2,572 words) - 23:34, 2 June 2024
arguments. Category theorists have proposed topos theory as an alternative to traditional axiomatic set theory. Topos theory can interpret various alternatives...
41 KB (5,021 words) - 12:35, 2 July 2024
Google Books) Skolem, Thoralf (1929), "Über einige Grundlagenfragen der Mathematik", Skrifter Utgitt av Det Norske Videnskaps-Akademi I Oslo, I....
22 KB (2,767 words) - 08:16, 16 March 2024
Mayer, Walther (1929), "Über abstrakte Topologie", Monatshefte für Mathematik, 36 (1): 1–42, doi:10.1007/BF02307601, ISSN 0026-9255, S2CID 120803366...
26 KB (3,768 words) - 19:39, 8 March 2024
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...
25 KB (2,915 words) - 23:02, 27 March 2024
complement it. Closely linked to these cohomology theories, he originated topos theory as a generalisation of topology (relevant also in categorical logic)...
77 KB (8,255 words) - 07:11, 29 June 2024
Ruffini" [The beginnings of group theory and Paolo Ruffini]. Zeitschrift für Mathematik und Physik (in German). 37 (Supplement): 119–159. See: Lagrange (1770)...
31 KB (3,565 words) - 17:20, 17 November 2023
uk/HistTopics/Indian_numerals.html Juschkewitsch, A. P. (1964). Geschichte der Mathematik im Mittelalter. Teubner, Leipzig. Eves, Howard (1990). History of Mathematics...
138 KB (16,090 words) - 18:27, 18 June 2024
Marie-Françoise Coste-Roy, Michel Coste, Topologies for real algebraic geometry. Topos theoretic methods in geometry, pp. 37–100, Various Publ. Ser., 30, Aarhus...
26 KB (3,213 words) - 07:56, 3 May 2024