Abstract
Bishop’s notion of a function space, here called a Bishop space, is a constructive function-theoretic analogue to the classical set-theoretic notion of a topological space. Here we introduce the quotient, the pointwise exponential and the completely regular Bishop spaces. For the latter we present results which show their correspondence to the completely regular topological spaces, including a generalized version of the Tychonoff embedding theorem for Bishop spaces. All our proofs are within Bishop’s informal system of constructive mathematics \(\mathrm {BISH}\).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)
Bishop, E., Bridges, D.: Constructive Analysis. Grundlehren der Mathematischen Wissenschaften 279. Springer, Heidelberg (1985)
Bridges, D., Reeves, S.: Constructive mathematics in theory and programming practice. Philosophia Mathe. 3, 65–104 (1999)
Bridges, D.S.: Reflections on function spaces. Ann. Pure Appl. Logic 163, 101–110 (2012)
Gillman, L., Jerison, M.: Rings of Continuous Functions. Van Nostrand, Princeton (1960)
Ishihara, H.: Relating bishop’s function spaces to neighborhood spaces. Ann. Pure Appl. Logic 164, 482–490 (2013)
Ishihara, H., Palmgren, E.: Quotient topologies in constructive set theory and type theory. Ann. Pure Appl. Logic 141, 257–265 (2006)
Petrakis, I.: Bishop spaces: constructive point-function topology. In: Mathematisches Forschungsinstitut Oberwolfach Report No. 52/2014, Mathematical Logic: Proof Theory, Constructive Mathematics, pp. 26–27. doi:10.4171/OWR/2014/52
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Petrakis, I. (2015). Completely Regular Bishop Spaces. In: Beckmann, A., Mitrana, V., Soskova, M. (eds) Evolving Computability. CiE 2015. Lecture Notes in Computer Science(), vol 9136. Springer, Cham. https://doi.org/10.1007/978-3-319-20028-6_31
Download citation
DOI: https://doi.org/10.1007/978-3-319-20028-6_31
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-20027-9
Online ISBN: 978-3-319-20028-6
eBook Packages: Computer ScienceComputer Science (R0)