Advertisement

The λ-Technique

Chapter
  • 1.1k Downloads
Part of the Universitext book series (UTX)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media, LLC 2006

Personalised recommendations