From Sets and Types to Topology and Analysis
Latest Publications

TOTAL DOCUMENTS

21

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Oxford University Press

9780198566519

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

COMPUTABILITY ON NON-SEPARABLE BANACH SPACES AND LANDAU'S THEOREM

From Sets and Types to Topology and Analysis ◽

10.1093/acprof:oso/9780198566519.003.0021 ◽

2005 ◽

pp. 316-334 ◽

Author(s):

Vasco Brattka

Keyword(s):

Download Full-text

AN INTRODUCTION TO THE THEORY OF C*-ALGEBRAS IN CONSTRUCTIVE MATHEMATICS

From Sets and Types to Topology and Analysis ◽

10.1093/acprof:oso/9780198566519.003.0018 ◽

2005 ◽

pp. 280-292 ◽

Author(s):

Hiroki Takamura

Keyword(s):

Constructive Mathematics ◽

Download Full-text

GENERALIZED INDUCTIVE DEFINITIONS IN CONSTRUCTIVE SET THEORY

From Sets and Types to Topology and Analysis ◽

10.1093/acprof:oso/9780198566519.003.0002 ◽

2005 ◽

pp. 23-40 ◽

Author(s):

Michael Rathjen

Keyword(s):

Inductive Definitions ◽

Constructive Set Theory

Download Full-text

TOWARD A MINIMALIST FOUNDATION FOR CONSTRUCTIVE MATHEMATICS

From Sets and Types to Topology and Analysis ◽

10.1093/acprof:oso/9780198566519.003.0006 ◽

2005 ◽

pp. 91-111 ◽

Author(s):

Maria Emilia Maietti ◽

Giovanni Sambin

Keyword(s):

Constructive Mathematics

Download Full-text

APPROXIMATING INTEGRABLE SETS BY COMPACTS CONSTRUCTIVELY

From Sets and Types to Topology and Analysis ◽

10.1093/acprof:oso/9780198566519.003.0017 ◽

2005 ◽

pp. 268-279

Author(s):

Bas Spitters

Download Full-text

THE CONSTRUCTIVE UNIQUENESS OF THE LOCALLY CONVEX TOPOLOGY ON ℝ N

From Sets and Types to Topology and Analysis ◽

10.1093/acprof:oso/9780198566519.003.0020 ◽

2005 ◽

pp. 304-315

Author(s):

Douglas Bridges ◽

Luminita Vîtă

Keyword(s):

Convex Topology ◽

Locally Convex Topology ◽

Download Full-text

APPROXIMATIONS TO THE NUMERICAL RANGE OF AN ELEMENT OF A BANACH ALGEBRA

From Sets and Types to Topology and Analysis ◽

10.1093/acprof:oso/9780198566519.003.0019 ◽

2005 ◽

pp. 293-303 ◽

Author(s):

Douglas Bridges ◽

Robin Havea

Keyword(s):

Banach Algebra ◽

Numerical Range

Download Full-text

THE DUALITY OF CLASSICAL AND CONSTRUCTIVE NOTIONS AND PROOFS

From Sets and Types to Topology and Analysis ◽

10.1093/acprof:oso/9780198566519.003.0009 ◽

2005 ◽

pp. 149-162 ◽

Author(s):

Sara Negri ◽

Jan Von Plato

Download Full-text

CONSTRUCTIVE SET THEORIES AND THEIR CATEGORY-THEORETIC MODELS

From Sets and Types to Topology and Analysis ◽

10.1093/acprof:oso/9780198566519.003.0003 ◽

2005 ◽

pp. 41-61 ◽

Author(s):

Alex Simpson

Download Full-text

PRESHEAF MODELS FOR CONSTRUCTIVE SET THEORIES

From Sets and Types to Topology and Analysis ◽

10.1093/acprof:oso/9780198566519.003.0004 ◽

2005 ◽

pp. 62-77 ◽

Author(s):

Nicola Gambino

Download Full-text