Mean value theorems in constructive analysis

DOI10.1090/trans2/098/02zbMath0227.02017OpenAlexW4256342646MaRDI QIDQ5633980

G. S. Tsejtin

Publication date: 1971

Published in: Five Papers on Logic and Foundations (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/trans2/098/02

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

Related Items (3)

Rice’s Theorem in Effectively Enumerable Topological Spaces ⋮ Spectrum of the field of computable real numbers ⋮ Computable elements and functions in effectively enumerable topological spaces

This page was built for publication: Mean value theorems in constructive analysis