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

zbMATH Keywords

index setsconstructivityrecursion theoremsarithmetically limited law of excluded middleclocked programming systemscomplete productivityuniformly computable

Mathematics Subject Classification ID

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