Abstract
In this chapter we discuss a peculiarly constructive technique that, normally under the hypothesis that one or more of the metric spaces under consideration is complete, enables us to prove results that otherwise would require some nonconstructive principle such as LPO, LLPO, or Markov’s principle.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2006 Springer Science+Business Media, LLC
About this chapter
Cite this chapter
(2006). The λ-Technique. In: Techniques of Constructive Analysis. Universitext. Springer, New York, NY. https://doi.org/10.1007/978-0-387-38147-3_3
Download citation
DOI: https://doi.org/10.1007/978-0-387-38147-3_3
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-33646-6
Online ISBN: 978-0-387-38147-3
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)