Levels of uniformity

DOI10.1215/00294527-2018-0024MaRDI QIDQ6828547zbMATH OpenFDO

Authors Rutger Kuyper

Publication date 29 May 2019

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1215/00294527-2018-0024

zbMATH Keywords

algorithmic randomnessMedvedev degreesMuchnik degrees

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Other degrees and reducibilities in computability and recursion theory (03D30) Algorithmic randomness and dimension (03D32) Logical aspects of lattices and related structures (03G10)

This page was built for publication: Levels of uniformity

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