Topics in Measurability and Integrability in Constructive Analysis

Please enable javascript in your browser.

Ghafouri, Zahra | 2018

512 Viewed

Type of Document: Ph.D. Dissertation
Language: Farsi
Document No: 51453 (02)
University: Sharif University of Technology
Department: Mathematical Sciences
Advisor(s): Ardeshir, Mohammad
Abstract:
In this thesis, we investigate constructive measure theory in two schools of constructivism; intuitionistic mathematics and Bishop’s constructive mathematics.In this regard, first, we examine some classical propositions on measurability in both schools. Then we give a comparison between measurability in the two schools
Keywords:
Constructive Mathematics ; Bishop's Constructive Mathematics ; Intuitionistic Mathemathics ; Constractive Analysis ; Intuitionistic Measure Theory