Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Online Resource
    Online Resource
    Amsterdam : North-Holland
    UID:
    gbv_822016125
    Format: 1 Online-Ressource (xiv, 551 Seiten) , Illustrationen, Diagramme
    Edition: Revised edition
    Edition: Online-Ausgabe
    ISBN: 0444867112 , 9780444867117 , 9781483299211 , 148329921X
    Series Statement: Studies in logic and the foundations of mathematics volume 98
    Content: 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''
    Content: 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''
    Note: Includes bibliographical references (p) and index. - Description based on print version record
    Additional Edition: ISBN 9781483299211
    Additional Edition: ISBN 148329921X
    Additional Edition: ISBN 0444867112
    Additional Edition: ISBN 9780444867117
    Additional Edition: ISBN 0444867112
    Additional Edition: Erscheint auch als Druck-Ausgabe Goldblatt, Robert, 1949 - Topoi Amsterdam [u.a.] : North-Holland, 1984 ISBN 0444867112
    Language: English
    Subjects: Mathematics
    RVK:
    Keywords: Topos ; Mathematische Logik ; Electronic books ; Electronic books
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages