Toposes, algebraic geometry and logic

Author(s)

• Bucur, Ion
• Lawvere, F. William
• Dalhousie University

Bibliographic Information

Toposes, algebraic geometry and logic

I. Bucur ... [et al.] ; edited by F.W. Lawvere

（Lecture notes in mathematics, 274）

Springer-Verlag, 1972

• : u.s.
• : gw

Note

Report of a conference held at Halifax, Nova Scotia January 16-19, 1971 under the sponsorship of Dalhousie University

Includes bibliographies

Description and Table of Contents

Table of Contents

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.

by "Nielsen BookData"

Details

• NCID: BA06810630
• ISBN:
  • 0387059202
  • 3540059202
• LCCN: 72086101
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin
• Pages/Volumes: 189 p.
• Size: 26 cm
• Classification:
  • LCC : QA3
  • LCC : QA169
  • DC : 510/.8 s
  • DC : 512/.55
• Subject Headings:
  • LCSH : Categories (Mathematics) -- Congresses
  • LCSH : Geometry, Algebraic -- Congresses
  • LCSH : Logic, Symbolic and mathematical -- Congresses
  • LCSH : Toposes
• Parent Bibliography ID:
  • BA00146586