Bases of Pseudocompact Bishop Spaces

DOI10.1017/9781009039888.015OpenAlexW4367837643MaRDI QIDQ6116077

Iosif Petrakis

Publication date: 11 August 2023

Published in: Handbook of Constructive Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/9781009039888.015

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Other constructive mathematics (03F65) Metamathematics of constructive systems (03F50)

Related Items (3)

Proof-relevance in Bishop-style constructive mathematics ⋮ Closed subsets in Bishop topological groups ⋮ Algebras of complemented subsets

This page was built for publication: Bases of Pseudocompact Bishop Spaces