Cargando…
Topoi : the categorial analysis of logic /
The first of its kind, this book presents a widely accessible exposition of topos theory, aimed at the philosopher-logician as well as the mathematician. It is suitable for individual study or use in class at the graduate level (it includes 500 exercises). It begins with a fully motivated introducti...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; New York ; North-Holland :
Elsevier Science Publishers,
1984.
|
| Edición: | Revised edition. |
| Colección: | Studies in logic and the foundations of mathematics ;
v. 98. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn884340719 | ||
| 003 | OCoLC | ||
| 005 | 20231120111704.0 | ||
| 006 | m o d | ||
| 007 | cr cnu|||||||| | ||
| 008 | 140722s1984 ne ob 001 0 eng | ||
| 040 | |a LGG |b eng |e rda |e pn |c LGG |d LGG |d OPELS |d OCLCF |d OCLCQ |d COO |d OCLCQ |d IUP |d WAU |d UAB |d UKAHL |d S2H |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 52175484 |a 871516274 | ||
| 020 | |a 9781483299211 |q (e-book) | ||
| 020 | |a 148329921X |q (e-book) | ||
| 020 | |z 0444867112 | ||
| 020 | |z 9780444867117 | ||
| 035 | |a (OCoLC)884340719 |z (OCoLC)52175484 |z (OCoLC)871516274 | ||
| 050 | 4 | |a QA169 |b .G64 1984 | |
| 082 | 0 | 4 | |a 512.55 |
| 100 | 1 | |a Goldblatt, Robert, |e author. | |
| 245 | 1 | 0 | |a Topoi : |b the categorial analysis of logic / |c Robert Goldblatt. |
| 250 | |a Revised edition. | ||
| 264 | 1 | |a Amsterdam ; |a New York ; |a North-Holland : |b Elsevier Science Publishers, |c 1984. | |
| 264 | 2 | |a New York, N.Y. : |b Elsevier North-Holland, |c [1984] | |
| 300 | |a 1 online resource (xvi, 551 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file | ||
| 347 | |b PDF | ||
| 490 | 1 | |a Studies in logic and the foundations of mathematics ; |v v. 98 | |
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 520 | |a The first of its kind, this book presents a widely accessible exposition of topos theory, aimed at the philosopher-logician as well as the mathematician. It is suitable for individual study or use in class at the graduate level (it includes 500 exercises). It begins with a fully motivated introduction to category theory itself, moving always from the particular example to the abstract concept. It then introduces the notion of elementary topos, with a wide range of examples and goes on to develop its theory in depth, and to elicit in detail its relationship to Kripke's intuitionistic semantics, models of classical set theory and the conceptual framework of sheaf theory (``localization'' of truth). Of particular interest is a Dedekind-cuts style construction of number systems in topoi, leading to a model of the intuitionistic continuum in which a ``Dedekind-real'' becomes represented as a ``continuously-variable classical real number''. | ||
| 650 | 0 | |a Toposes. | |
| 650 | 6 | |a Topos (Math�ematiques) |0 (CaQQLa)201-0070505 | |
| 650 | 7 | |a Toposes |2 fast |0 (OCoLC)fst01152703 | |
| 776 | 0 | 8 | |i Print version: |a Goldblatt, Robert. |t Topoi. |b Rev. ed. |d Amsterdam ; New York ; North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1984 |z 0444867112 |w (DLC) 83011599 |w (OCoLC)12448917 |
| 830 | 0 | |a Studies in logic and the foundations of mathematics ; |v v. 98. | |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/bookseries/0049237X/98 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780444867117 |z Texto completo |