2015
DOI: 10.1007/978-3-319-20028-6_31
|View full text |Cite
|
Sign up to set email alerts
|

Completely Regular Bishop Spaces

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1

Citation Types

0
10
0

Year Published

2015
2015
2022
2022

Publication Types

Select...
5
2

Relationship

2
5

Authors

Journals

citations
Cited by 10 publications
(10 citation statements)
references
References 7 publications
0
10
0
Order By: Relevance
“…As in the case of uniform spaces one can show that any Bishop topology F on some X is isomorphic as an algebra and a lattice to a separating topology ρF on ρX . If we define the equivalence relation 11), and if τ = π : X → X/≈, where x → [x] ≈ , then if ρX = X/≈ is endowed with the quotient Bishop topology ρF = {ρf | f ∈ F} = G π , where (ρf )([x] ≈ ) = f (x), for every [x] ≈ ∈ ρX , the following theorem is proved (see also [32]). Proof By definition ρD(F) = (ρX, ρD(F)) and D(ρF) = (ρX, D(ρF)), where since…”
Section: Petrakismentioning
confidence: 99%
See 1 more Smart Citation
“…As in the case of uniform spaces one can show that any Bishop topology F on some X is isomorphic as an algebra and a lattice to a separating topology ρF on ρX . If we define the equivalence relation 11), and if τ = π : X → X/≈, where x → [x] ≈ , then if ρX = X/≈ is endowed with the quotient Bishop topology ρF = {ρf | f ∈ F} = G π , where (ρf )([x] ≈ ) = f (x), for every [x] ≈ ∈ ρX , the following theorem is proved (see also [32]). Proof By definition ρD(F) = (ρX, ρD(F)) and D(ρF) = (ρX, D(ρF)), where since…”
Section: Petrakismentioning
confidence: 99%
“…Defining the notion of topological embedding of a Bishop spaces into another, and the notion of a Euclidean Bishop space R I in the obvious way, the same embedding e X : X → R F together with the corresponding -lifting of openness for Bishop morphisms show the Tychonoff embedding theorem for Bishop spaces (see [32]).…”
Section: Petrakismentioning
confidence: 99%
“…No negation of some sort is used in the definition of the inequality x ‰ pX,F q x 1 , in the proof of its extensionality, while the last implication above can be seen as completely positive formulation of its tightness. If F is a Bishop topology of functions (see [26,35,36,40,42]), then x ‰ pX,F q x 1 is the canonical inequality of a Bishop space. The inequality a ‰ R b is equivalent to such an inequality induced by functions, as a ‰ R b ô a ‰ pR,BicpRqq b, where BicpRq is the topology of Bishop-continuous functions of type R Ñ R (see [26], Proposition 5.1.2.).…”
Section: Definition 23 (Strong Negation In Bst)mentioning
confidence: 99%
“…Categorical approaches to Bishop sets are found e.g., in the work of Palmgren [21] and Coquand [10]. For all notions and results of BST that we use without explanation or proof we refer to [33,36,39,41]. For all notions and facts from constructive analysis that we use without explanation or proof, we refer to [2,6,7].…”
Section: Introductionmentioning
confidence: 99%
“…The concept of a family of sets indexed by a (discrete) set was asked to be defined in Bishop (1967, Exercise 2, p. 72), and a definition, attributed to Richman, was given in Bishop and Bridges (1985, Exercise 2, p. 78). An elaborate study though, of this concept within BISH, was missing, despite its central character in the measure theory of Bishop (1967), its extensive use in the theory of Bishop spaces (Petrakis 2015a(Petrakis ,b, 2016a(Petrakis ,b, 2019a(Petrakis ,b, 2020a(Petrakis ,b, 2021(Petrakis , to appear, 2022a and in abstract constructive algebra (Mines et al 1988). Actually, in Mines et al (1988) Richman introduced the more general notion of a family of objects of a category indexed by some set, but the categorical component in the resulting mixture of Bishop's set theory and category theory was not explained in constructive terms.…”
mentioning
confidence: 99%