Zur Konstruktiven Differenzierbarkeit von Monotonen Berechenbaren Funktionen

DOI10.1007/BF02276802zbMath0337.02022MaRDI QIDQ4103515

Hanke Bremer, Conrad H. H. Reynvaan

Publication date: 1976

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137916

Mathematics Subject Classification ID

Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable (26A15) Nondifferentiability (nondifferentiable functions, points of nondifferentiability), discontinuous derivatives (26A27) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Proof theory and constructive mathematics (03F99)

Cites Work

• On constructive mappings of a disk into itself
• Nicht konstruktiv beweisbare Sätze der Analysis
• Unnamed Item
• Unnamed Item

This page was built for publication: Zur Konstruktiven Differenzierbarkeit von Monotonen Berechenbaren Funktionen