A fragment of formalized analysis

DOI10.1007/BF00969203zbMath0636.03050OpenAlexW2025982194MaRDI QIDQ1097881

E. G. Nikiforova

Publication date: 1986

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00969203

zbMATH Keywords

functionalsrelative computabilityformal analysisformalization for a fragment of analysismany-sorted languagenumerical zero-one functionsrestricted reduction scheme

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Functionals in proof theory (03F10)

Cites Work

• Unnamed Item

This page was built for publication: A fragment of formalized analysis