About this product

Product Identifiers

PublisherOxford University Press, Incorporated

ISBN-100198566514

ISBN-139780198566519

eBay Product ID (ePID)46825579

Product Key Features

Number of Pages376 Pages

Publication NameFrom Sets and Types to Topology and Analysis : Towards Practicable Foundations for Constructive Mathematics

LanguageEnglish

Publication Year2005

SubjectGeneral, Logic

TypeTextbook

Subject AreaMathematics

AuthorPeter Schuster

SeriesOxford Logic Guides

FormatHardcover

Dimensions

Item Height1 in

Item Weight22.2 Oz

Item Length9.2 in

Item Width6.1 in

Additional Product Features

Intended AudienceScholarly & Professional

LCCN2006-296109

Dewey Edition22

Series Volume Number48

IllustratedYes

Dewey Decimal511.36

Table Of ContentIntroductionErrett Bishop1. Generalized Inductive Definitions in Constructive Set Theory2. Constructive Set Theories and their Category-theoretic Models3. Presheaf models for Constructive Set Theories4. Universes in Toposes5. Toward a minimalistic foundation for constructive mathematics6. Interactive Programs and Weakly Final Coalgebras in Dependent Type Theory7. Applications of inductive definitions and choice principles to program synthesis8. The duality of lcassical and constructive notions and proofs9. Continuity on the real line and in formal spaces10. Separation Properties in Constructive Topology11. Spaces as comonoids12. Predicative exponentiation of locally compact formal topologies over inductively generated ones13. Some constructive roads to Tychonoff14. An elementary characterisation of Krull dimension15. Constructive reverse mathematics: compactness properties16. Approximating integrable sets by compacts constructively17. An introduction to the theory of c*-algegras in constructive mathematics18. Approximations to the numerical range of an element of a Banach algebra19. The constructive uniqueness of the locally convex topology on rn20. Computability on Non-Separable Banach Spaces and Landau's Theorem

SynopsisThis edited collection bridges the foundations and practice of constructive mathematics and focusses on the contrast between the theoretical developments, which have been most useful for computer science (eg constructive set and type theories), and more specific efforts on constructive analysis, algebra and topology. Aimed at academic logicians, mathematicians, philosophers and computer scientists Including, with contributions from leading researchers, it is up-to-date, highly topical and broad in scope. This is the latest volume in the Oxford Logic Guides, which also includes: 41. J.M. Dunn and G. Hardegree: Algebraic Methods in Philosophical Logic 42. H. Rott: Change, Choice and Inference: A study of belief revision and nonmonotoic reasoning 43. Johnstone: Sketches of an Elephant: A topos theory compendium, volume 1 44. Johnstone: Sketches of an Elephant: A topos theory compendium, volume 2 45. David J. Pym and Eike Ritter: Reductive Logic and Proof Search: Proof theory, semantics and control 46. D.M. Gabbay and L. Maksimova: Interpolation and Definability: Modal and Intuitionistic Logics 47. John L. Bell: Set Theory: Boolean-valued models and independence proofs, third edition, This edited collection bridges the foundations and practice of constructive mathematics and focusses on the contrast between the theoretical developments, which have been most useful for computer science (eg constructive set and type theories), and more specific efforts on constructive analysis, algebra and topology. Aimed at academic logicians, mathematicians, philosophers and computer scientists Including, with contributions from leading researchers, it is up-to-date, highly topical and broad in scope.This is the latest volume in the Oxford Logic Guides, which also includes: 41. J.M. Dunn and G. Hardegree: Algebraic Methods in Philosophical Logic42. H. Rott: Change, Choice and Inference: A study of belief revision and nonmonotoic reasoning43. Johnstone: Sketches of an Elephant: A topos theory compendium, volume 144. Johnstone: Sketches of an Elephant: A topos theory compendium, volume 245. David J. Pym and Eike Ritter: Reductive Logic and Proof Search: Proof theory, semantics and control46. D.M. Gabbay and L. Maksimova: Interpolation and Definability: Modal and Intuitionistic Logics47. John L. Bell: Set Theory: Boolean-valued models and independence proofs, third edition, This edited collection bridges the foundations and practice of constructive mathematics and focuses on the contrast between the theoretical developments, which have been most useful for computer science (ie: constructive set and type theories), and more specific efforts on constructive analysis, algebra and topology. Aimed at academic logician, mathematicians, philosophers and computer scientists with contributions from leading researchers, it is up to date, highly topical and broad in scope.

LC Classification NumberQA9.56