A Non-Uniformly C-Productive Sequence & Non-Constructive Disjunctions
DOI10.1142/9789814678001_0002zbMath1432.03075OpenAlexW2501478720MaRDI QIDQ2989962
Michael Ralston, Yohji Akama, John Case
Publication date: 9 June 2017
Published in: Proceedings of the 13th Asian Logic Conference (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/9789814678001_0002
index setsconstructivityrecursion theoremsarithmetically limited law of excluded middleclocked programming systemscomplete productivityuniformly computable
First-order arithmetic and fragments (03F30) Recursive functions and relations, subrecursive hierarchies (03D20) Recursively (computably) enumerable sets and degrees (03D25) Subsystems of classical logic (including intuitionistic logic) (03B20)
This page was built for publication: A Non-Uniformly C-Productive Sequence & Non-Constructive Disjunctions