Overview

Full Product Details

Author:   Laura Crosilla (Universite di Firenze) ,  Peter Schuster (Mathematical Institut, Universitaet Munich)
Publisher:   Oxford University Press
Imprint:   Oxford University Press
Volume:   48
Dimensions:   Width: 16.20cm , Height: 2.60cm , Length: 24.20cm
Weight:   0.691kg
ISBN:  

9780198566519

ISBN 10:   0198566514
Pages:   372
Publication Date:   06 October 2005
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   To order  
Stock availability from the supplier is unknown. We will order it for you and ship this item to you once it is received by us.

Table of Contents

Introduction Douglas Bridges: Errett Bishop 1: Michael Rathjen: Generalized Inductive Definitions in Constructive Set Theory 2: Alex Simpson: Constructive Set Theories and their Category-theoretic Models 3: Nicola Gambino: Presheaf models for Constructive Set Theories 4: Thomas Streicher: Universes in Toposes 5: Maria Emilia Maietti & Giovanni Sambin: Toward a minimalistic foundation for constructive mathematics 6: Peter Hancock & Anton Setzer: Interactive Programs and Weakly Final Coalgebras in Dependent Type Theory 7: Ulrich Berger and Monika Seisenberger: Applications of inductive definitions and choice principles to program synthesis 8: Sara Negri and Jan von Plato: The duality of lcassical and constructive notions and proofs 9: Erik Palmgren: Continuity on the real line and in formal spaces 10: Peter Aczel & Christopher Fox: Separation Properties in Constructive Topology 11: A. Bucalo & G. Rosolini: Spaces as comonoids 12: Maria Emilia Maietti: Predicative exponentiation of locally compact formal topologies over inductively generated ones 13: Stephen Vickers: Some constructive roads to Tychonoff 14: Thierry Coquand, Henri Lombardi & Marie-Francoise Roy: An elementary characterisation of Krull dimension 15: Hajime Ishihara: Constructive reverse mathematics: compactness properties 16: Bas Spitters: Approximating integrable sets by compacts constructively 17: Hiroki Takamura: An introduction to the theory of c*-algegras in constructive mathematics 18: Douglas Bridges & Robin Havea: Approximations to the numerical range of an element of a Banach algebra 19: Douglas Bridges & Luminita Vita: The constructive uniqueness of the locally convex topology on rn 20: Vasco Brattka: Computability on Non-Separable Banach Spaces and Landau's Theorem

Reviews

|s

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions