> Detailanzeige
Bucur, Ion
[Verfasser:in]
;
Giraud, J.
[Sonstige Person, Familie und Körperschaft];
Goodman, N.
[Sonstige Person, Familie und Körperschaft];
Myhill, J.
[Sonstige Person, Familie und Körperschaft];
Illusie, Luc
[Sonstige Person, Familie und Körperschaft];
Lambek, Joachim
[Sonstige Person, Familie und Körperschaft];
Scott, D. S.
[Sonstige Person, Familie und Körperschaft];
Tierney, Myles
[Sonstige Person, Familie und Körperschaft];
Lawvere, Francis W.
[Herausgeber:in]
Toposes, Algebraic Geometry and Logic
Teilen
Literatur-
verwaltung
Direktlink
Zur
Merkliste
Lösche von
Merkliste
Per Email teilen
Auf Twitter teilen
Auf Facebook teilen
Per Whatsapp teilen
- Medientyp: E-Book; Konferenzbericht
- Titel: Toposes, Algebraic Geometry and Logic : Dalhousie University, Halifax, January 16–19, 1971
- Beteiligte: Bucur, Ion [Verfasser:in]; Giraud, J. [Sonstige Person, Familie und Körperschaft]; Goodman, N. [Sonstige Person, Familie und Körperschaft]; Myhill, J. [Sonstige Person, Familie und Körperschaft]; Illusie, Luc [Sonstige Person, Familie und Körperschaft]; Lambek, Joachim [Sonstige Person, Familie und Körperschaft]; Scott, D. S. [Sonstige Person, Familie und Körperschaft]; Tierney, Myles [Sonstige Person, Familie und Körperschaft]; Lawvere, Francis W. [Herausgeber:in]
-
Erschienen:
Berlin, Heidelberg: Springer, 1972
-
Erschienen in:
Lecture notes in mathematics ; 274
Bücher
Mathematics and Statistics - Umfang: Online-Ressource (VI, 193 p, online resource)
- Sprache: Englisch
- DOI: 10.1007/BFb0073961
- ISBN: 9783540376095; 9783540059202
- Identifikator:
-
RVK-Notation:
SI 850 : Lecture notes in mathematics
-
Schlagwörter:
Algebraische Geometrie
>
Kategorientheorie
>
Intuitionistische Mathematik
Algebraische Geometrie > Logik
Geometrie
Algebra
Mathematische Logik
Algebraische Geometrie > Mathematische Logik
Algebraische Geometrie > Logik
Geometrie
Algebra
Mathematische Logik > Algebraische Geometrie > Mathematische Logik
- Entstehung:
- Anmerkungen:
- Beschreibung: Sheaf theory and the continuum hypothesis -- Classifying topos -- Deductive systems and categories III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logic -- The formalization of Bishop's constructive mathematics -- Continuous lattices -- Some applications of the formalism of duality in algebraic geometry -- Cotangent complex and deformations of torsors and group schemes.