Opening book details…
Can I read Toposes and Local Set Theories: An Introduction (Oxford Logic Guides, 14) on EtoBox?
Toposes and Local Set Theories: An Introduction (Oxford Logic Guides, 14) by John Lane Bell is a nonfiction available to read on EtoBox.
What is Toposes and Local Set Theories: An Introduction (Oxford Logic Guides, 14) about?
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.
Who reads Toposes and Local Set Theories: An Introduction (Oxford Logic Guides, 14)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- John Lane Bell
- Publisher
- Oxford University Press, USA
- Published
- 1988
- Language
- EN
- ISBN
- 9780486462868
- Category
- nonfiction
- Subjects
- Mathematics, Stem
More by John Lane Bell
Browse all works by John Lane Bell
Similar books
- Elementary Categories, Elementary Toposes (Oxford Logic Guides) — MacLarty, Colin (1992)
- Algebraic Methods in Philosophical Logic (Oxford Logic Guides, 41) — J. Michael Dunn and Gary M. Hardegree (2001)
- Relative Category Theory and Geometric Morphisms: A Logical Approach (Oxford Logic Guides) — Chapman, Jonathan; Rowbottom, Frederick (1992)
- Toposes, Triples and Theories (Grundlehren der mathematischen Wissenschaften) — Charles Wells Michael Barr (1985)
- Groups of Finite Morley Rank (Oxford Logic Guides) — Alexandre Borovik and Ali Nesin (1994)
- An Introduction to Stability Theory (Oxford Logic Guides) — Anand Pillay (1983)