Glueing continuous functions constructively (Q982187)

From MaRDI portal





scientific article; zbMATH DE number 5730943
Language Label Description Also known as
default for all languages
No label defined
    English
    Glueing continuous functions constructively
    scientific article; zbMATH DE number 5730943

      Statements

      Glueing continuous functions constructively (English)
      0 references
      0 references
      0 references
      6 July 2010
      0 references
      The glueing of continuous functions that coincide on the intersection of their closed domains is examined in the light of Bishop-style constructive analysis.
      0 references
      0 references
      constructive mathematics
      0 references
      continuity
      0 references
      glueing
      0 references
      reverse mathematics
      0 references

      Identifiers