Lecture Notes in Mathematics - Toposes, Algebraic Geometry and Logic
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540059202, 9783540376095

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Introduction

Lecture Notes in Mathematics - Toposes, Algebraic Geometry and Logic ◽

10.1007/bfb0073962 ◽

1972 ◽

pp. 1-12 ◽

Cited By ~ 18

Author(s):

F. William Lawvere

Download Full-text

Cotangent complex and deformations of torsors and group schemes

Lecture Notes in Mathematics - Toposes, Algebraic Geometry and Logic ◽

10.1007/bfb0073969 ◽

1972 ◽

pp. 159-189 ◽

Cited By ~ 3

Author(s):

Luc Illusie

Keyword(s):

Group Schemes ◽

Cotangent Complex

Download Full-text

The formalization of Bishop's constructive mathematics

Lecture Notes in Mathematics - Toposes, Algebraic Geometry and Logic ◽

10.1007/bfb0073966 ◽

1972 ◽

pp. 83-96 ◽

Cited By ~ 9

Author(s):

Nicolas D. Goodman ◽

John Myhill

Keyword(s):

Constructive Mathematics ◽

Bishop’S Constructive Mathematics

Download Full-text

Classifying topos

Lecture Notes in Mathematics - Toposes, Algebraic Geometry and Logic ◽

10.1007/bfb0073964 ◽

1972 ◽

pp. 43-56 ◽

Cited By ~ 3

Author(s):

Jean Giraud

Download Full-text

Sheaf theory and the continuum hypothesis

Lecture Notes in Mathematics - Toposes, Algebraic Geometry and Logic ◽

10.1007/bfb0073963 ◽

1972 ◽

pp. 13-42 ◽

Cited By ~ 22

Author(s):

Myles Tierney

Keyword(s):

Continuum Hypothesis ◽

Sheaf Theory ◽

The Continuum

Download Full-text

Deductive systems and categories III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logic

Lecture Notes in Mathematics - Toposes, Algebraic Geometry and Logic ◽

10.1007/bfb0073965 ◽

1972 ◽

pp. 57-82 ◽

Cited By ~ 33

Author(s):

Joachim Lambek

Keyword(s):

Propositional Calculus ◽

Combinatory Logic ◽

Deductive Systems ◽

Cartesian Closed Categories ◽

Cartesian Closed

Download Full-text

Continuous lattices

Lecture Notes in Mathematics - Toposes, Algebraic Geometry and Logic ◽

10.1007/bfb0073967 ◽

1972 ◽

pp. 97-136 ◽

Cited By ~ 275

Author(s):

Dana Scott

Keyword(s):

Continuous Lattices

Download Full-text

Some applications of the formalism of duality in algebraic geometry

Lecture Notes in Mathematics - Toposes, Algebraic Geometry and Logic ◽

10.1007/bfb0073968 ◽

1972 ◽

pp. 137-158

Author(s):

I. Bucur

Keyword(s):

Algebraic Geometry

Download Full-text

Lecture Notes in Mathematics - Toposes, Algebraic Geometry and LogicLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Introduction

Cotangent complex and deformations of torsors and group schemes

The formalization of Bishop's constructive mathematics

Classifying topos

Sheaf theory and the continuum hypothesis

Deductive systems and categories III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logic

Continuous lattices

Some applications of the formalism of duality in algebraic geometry

Lecture Notes in Mathematics - Toposes, Algebraic Geometry and Logic
Latest Publications