Work

Constructive Functional Analysis

Year: 2023

Type: book-chapter

Source: Cambridge University Press eBooks

DOI: 10.1017/9781009039888.010

Authors: Douglas Bridges, Hajime Ishihara, Michael Rathjen, Helmut Schwichtenberg

Institutions: University of Canterbury, Japan Advanced Institute of Science and Technology, University of Leeds, Ludwig-Maximilians-Universität München

Language: English

Topic: Advanced Banach Space Theory

Subfield: Mathematical Physics

Field: Mathematics

Domain: Physical Sciences

Open Access status: closed

Funder: Japan Society for the Promotion of Science

Awards: Duality in Banach spaces and uniform spaces in constructive and predicative set theory, Constructive reverse mathematics and computational content of mathematical theorems

OpenAlex ID: W1599278240

FWCI: 16.18

Cites: 1

Cited by: 125

Related to: 10