Differentiation of Constructive Functions of a Real Variable and Relative Computability

Osvald Demuth and Pavel Filipec
Additional contact information
Osvald Demuth: Charles University, Department of Conputer Science
Pavel Filipec: Charles University, Department of Conputer Science

A chapter in Mathematical Logic and Its Applications, 1987, pp 81-106 from Springer

Abstract: Abstract The paper belongs to constructive mathematics of Markov school. The aim of it is to show an introducing of sane relativized notions into constructive mathematical analysis (CMA) and to present a few results concerning differentiability of constructive real-valued functions of a real variable as an example of the utilization of the relativization.

Keywords: Real Variable; Recursive Function; Double Negation; Constructive Function; Existential Quantifier (search for similar items in EconPapers)
Date: 1987
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-1-4613-0897-3_6

Ordering information: This item can be ordered from
http://www.springer.com/9781461308973

DOI: 10.1007/978-1-4613-0897-3_6

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().