Concerning a generalized principle of constructive selection

DOI10.1090/TRANS2/099/04MaRDI QIDQ5661487zbMATH OpenOpenAlexFDO

Authors G. S. Tsejtin, I. D. Zaslavskii

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5661487)