Improving Cauchy's Theorem in Constructive Analysis

Autor:	Bridges, Douglas S.
Rok vydání:	2024
Předmět:	Mathematics - Logic 03F60
Druh dokumentu:	Working Paper
Popis:	In his constructive development of complex analysis, Errett Bishop used restrictive notions of homotopy and simple connectedness. Working in Bishop-style constructive mathematics, we prove Cauchy's integral theorem using the standard notions of such properties. In consequence, Bishop's theorems in Chapters 5 of [1, 2] hold under our more normal, less restrictive, definitions.
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2410.11058 Zobrazit plný text záznamu View this record from Arxiv