Work

Reverse Mathematics in Bishop’s Constructive Mathematics

Year: 2006

Type: article

Abstract: We will overview the results in an informal approach to constructive reverse mathematics, that is reverse mathematics in Bishop’s constructive mathematics, especially focusing on compactness properties and continuous properties.

Source: Philosophia Scientae

DOI: 10.4000/philosophiascientiae.406

Author: Hajime Ishihara

Institution: Japan Advanced Institute of Science and Technology

Language: English

Topic: Computability, Logic, AI Algorithms

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W1974355866

FWCI: 5.527

Cites: 29

Cited by: 92

Related to: 10