On constructive functions

DOI10.1090/trans2/029/05zbMath0128.01306OpenAlexW4231335873MaRDI QIDQ5335318

A. A. jun. Markoff

Publication date: 1963

Published in: American Mathematical Society Translations: Series 2 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/trans2/029/05

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03Fxx)

Related Items (7)

Prime subspaces in free topological groups ⋮ Uniform free topological groups and Samuel compactifications ⋮ Topological methods for algebraic specification ⋮ Discontinuities of provably correct operators on the provably recursive real numbers ⋮ Church's thesis without tears ⋮ Coproducts of topological Abelian groups ⋮ Suitable sets for topological groups

This page was built for publication: On constructive functions