Toposes and Local Set Theories: An Introduction - Couverture rigide

Bell, J. L.

 
9780198532743: Toposes and Local Set Theories: An Introduction
Couverture rigide
ISBN 10 : 0198532741 ISBN 13 : 9780198532743
Editeur : Clarendon Press, 1988

Synopsis

In recent years category theory has come to play a significant role in the foundations of mathematics. The invention by Lawvere and Tierney of the concept of (elementary) "topos" may be considered one of the most striking developments in this regard. This concept unites, in a simple way, a number of seemingly diverse notions from algebraic geometry, set theory and intuitionistic logic and has led to the forging of new links between classical and constructive mathematics. This book is an introduction to what may be termed the logical approach to topos theory, that is, the presentation of toposes as the models of theories - the so-called "local set theories" - formulated within a typed intuitionistic logic.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Clarendon Press
Date d'édition
1988
Langue
anglais
ISBN 10 
0198532741
ISBN 13 
9780198532743
Reliure
Relié
Nombre de pages
286
Coordonnées du fabricant
non disponible
Personne responsable
Messaggerie Libri
ufficio.anagrafiche@meli.it

Via Verdi, 8
Assago Milano
Italie

Autres éditions populaires du même titre

9780486462868: Toposes and Local Set Theories: An Introduction

Edition présentée

ISBN 10 :  0486462862 ISBN 13 :  9780486462868
Editeur : Dover Publications Inc., 2008
Couverture souple