Concerning a generalized principle of constructive selection

DOI10.1090/trans2/099/04zbMath0249.02017OpenAlexW4253757483MaRDI QIDQ5661487

G. S. Tsejtin, I. D. Zaslavskiĭ

Publication date: 1972

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

Full work available at URL: https://doi.org/10.1090/trans2/099/04

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Proof theory and constructive mathematics (03F99)

This page was built for publication: Concerning a generalized principle of constructive selection