Direct spectra of Bishop spaces and their limits
We apply fundamental notions of Bishop set theory (BST), an informal theory that complements Bishop's theory of sets, to the theory of Bishop spaces, a function-theoretic approach to constructive topology. Within BST we develop the notions of a direct family of sets, of a direct spectrum of Bis...
Main Author: | Iosif Petrakis |
---|---|
Format: | Article |
Language: | English |
Published: |
Logical Methods in Computer Science e.V.
2021-04-01
|
Series: | Logical Methods in Computer Science |
Subjects: | |
Online Access: | https://lmcs.episciences.org/5615/pdf |
Similar Items
-
McShane-Whitney extensions in constructive analysis
by: Iosif Petrakis
Published: (2020-02-01) -
A Cubical Language for Bishop Sets
by: Jonathan Sterling, et al.
Published: (2022-03-01) -
Limits of real numbers in the binary signed digit representation
by: Franziskus Wiesnet, et al.
Published: (2022-08-01) -
Computably regular topological spaces
by: Klaus Weihrauch
Published: (2013-08-01) -
Probability Logic for Harsanyi Type Spaces
by: Chunlai Zhou
Published: (2014-06-01)