THE LARGE STRUCTURES OF GROTHENDIECK FOUNDED ON FINITE-ORDER ARITHMETIC
From MaRDI portal
Publication:5107535
DOI10.1017/S1755020319000340zbMath1484.03106arXiv1102.1773WikidataQ127408882 ScholiaQ127408882MaRDI QIDQ5107535
Publication date: 27 April 2020
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1102.1773
Topoi (18B25) Foundations of classical theories (including reverse mathematics) (03B30) Axiomatics of classical set theory and its fragments (03E30) Foundations of algebraic geometry (14A99) Derived categories, triangulated categories (18G80) Foundations, relations to logic and deductive systems (18A15)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Set theory. An introduction to independence proofs. 2nd print
- Proof theory. 2nd ed
- Sheaves in geometry and logic: a first introduction to topos theory
- Toposes without points
- Introduction to étale cohomology. Translated by Manfred Kolster
- Grothendieck duality and base change
- Modular elliptic curves and Fermat's Last Theorem
- Foundations of Grothendieck duality for diagrams of schemes
- Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Première partie). Rédigé avec la colloboration de J. Dieudonné
- Schémas en groupes. II: Groupes de type multiplicatif, et structure des schémas en groupes généraux. Exposés VIII à XVIII. Séminaire de Géométrie Algébrique du Bois Marie 1962/64 (SGA 3) dirigé par Michel Demazure et Alexander Grothendieck. Revised reprint
- Residues and duality. Lecture notes of a seminar on the work of A. Grothendieck, given at Havard 1963/64. Appendix: Cohomology with supports and the construction of the \(f^!\) functor by P. Deligne
- Introduction to Grothendieck duality theory
- Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
- Séminaire de géométrie algébrique du Bois Marie 1960/61 (SGA 1), dirigé par Alexander Grothendieck. Augmenté de deux exposés de M. Raynaud. Revêtements étales et groupe fondamental. Exposés I à XIII. (Seminar on algebraic geometry at Bois Marie 1960/61 (SGA 1), directed by Alexander Grothendieck. Enlarged by two reports of M. Raynaud. Ètale coverings and fundamental group)
- Sur quelques points d'algèbre homologique
- Über injektive Moduln
- Exact completions and small sheaves
- Injectivity, Projectivity, and the Axiom of Choice
- Homological Algebra in Topoi
- Two Applications of Logic to Mathematics
- Abelian groups that are direct summands of every containing abelian group
- The strength of Mac Lane set theory
This page was built for publication: THE LARGE STRUCTURES OF GROTHENDIECK FOUNDED ON FINITE-ORDER ARITHMETIC
