DIRECT SPECTRA OF BISHOP SPACES AND THEIR LIMITS von Petrakis, Iosif

Volltext

MCSHANE-WHITNEY EXTENSIONS IN CONSTRUCTIVE ANALYSIS von Petrakis, Iosif

Volltext

Closed subsets in Bishop topological groups von Petrakis, Iosif

Volltext

Proof-relevance in Bishop-style constructive mathematics von Petrakis, Iosif

Volltext

Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory von Petrakis, Iosif, Zeuner, Max

Volltext

Constructive uniformities of pseudometrics and Bishop topologies von Petrakis, Iosif

Volltext

Limit spaces with approximations von Petrakis, Iosif

Volltext

Computability Models over Categories and Presheaves von Petrakis, Iosif

Volltext

Borel and Baire Sets in Bishop Spaces von Petrakis, Iosif

Volltext

A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces von Petrakis, Iosif

Volltext

Completely Regular Bishop Spaces von Petrakis, Iosif

Volltext

Functions of Baire Class One over a Bishop Topology von Petrakis, Iosif

Volltext

Algebras of Complemented Subsets von Petrakis, Iosif, Wessel, Daniel

Volltext

The Urysohn Extension Theorem for Bishop Spaces von Petrakis, Iosif

Volltext

Topologies of open complemented subsets von Petrakis, Iosif

Volltext bestellen

McShane-Whitney Pairs von Petrakis, Iosif

Volltext

Categories with dependent arrows von Petrakis, Iosif

Volltext bestellen

A Density Theorem for Hierarchies of Limit Spaces over Separable Metric Spaces von Petrakis, Iosif

Volltext

The Role of the Fifth Postulate in the Euclidean Construction of Parallels von Petrakis, Iosif

Volltext bestellen

Sets completely separated by functions in Bishop Set Theory von Petrakis, Iosif

Volltext bestellen