Toposes and Local Set Theories: An Introduction: 14 - Rilegato

Bell, John L.

Rilegato

ISBN 10: 0198532741 ISBN 13: 9780198532743

Casa editrice: Clarendon Pr, 1988

Riassunto

The author introduces Lawvere and Tierney's concept of topos theory, a striking development in category theory that unites a number of important but seemingly diverse notions from algebraic geometry, set theory, and intuitionistic logic. Topos theory has led to the forging of surprising new links between classical and constructive mathematics. Bell presents toposes as the models of theories--the so-called local set theories--formulated within a typed intuitionistic logic.

Su questa edizione

• Editore: Clarendon Pr
• Data di pubblicazione: 1988
• ISBN 10: 0198532741
• ISBN 13: 9780198532743
• Rilegatura: Copertina rigida
• Numero di pagine: 286