Toposes and Local Set Theories: An Introduction

Main
Mathematics
Toposes and Local Set Theories: An...

Toposes and Local Set Theories: An Introduction

Name: Toposes and Local Set Theories: An Introduction
ISBN: 9780198532743

J. L. Bell

0 / 0

0 comments

دا کتاب تاسو ته څنګه خواښه شوه؟

د بار شوي فایل کیفیت څه دئ؟

تر څو چې د کتاب کیفیت آزمایښو وکړئ، بار ئې کړئ

د بار شوو فایلونو کیفیتی څه دئ؟

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.

درجه (قاطیغوری(:

Mathematics

کال:

1988

خپرندویه اداره:

Oxford University Press, USA

ژبه:

english

صفحه:

282

ISBN 10:

0198532741