scientific article; zbMATH DE number 7082967

zbMath1436.03313MaRDI QIDQ5224157

Iosif Petrakis

Publication date: 19 July 2019

Full work available at URL: http://logicandanalysis.org/index.php/jla/article/download/339/150

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

pseudometricsuniform spacesconstructive topologyBishop spaces

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Other constructive mathematics (03F65)

Related Items (5)

Proof-relevance in Bishop-style constructive mathematics ⋮ Direct spectra of Bishop spaces and their limits ⋮ Unnamed Item ⋮ Closed subsets in Bishop topological groups ⋮ Functions of Baire class one over a Bishop topology

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A predicative completion of a uniform space
• Uniform spaces and measures
• Relating Bishop's function spaces to neighbourhood spaces
• Intuitionism and proof theory. Proceedings of the summer conference at Buffalo N. Y. 1968
• Quasi-topologies
• Constructive set theory
• Constructive Mathematics in Theory and Programming Practice
• On the regular extension axiom and its variants
• A constructive function-theoretic approach to topological compactness
• Embeddings of Bishop spaces
• Localic completion of uniform spaces
• Category Theory
• Reuniting the antipodes---constructive and nonstandard views of the continuum. Symposium proceedings, San Servolo, Venice, Italy, May 16--22, 1999

This page was built for publication: