5 citations · 16 across the 20 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
math.LO2014★ 1 cited
Demuth's path to randomness
Antonín Kučera, André Nies, Christopher P. Porter
Osvald Demuth (1936--1988) studied constructive analysis from the viewpoint of the Russian school of constructive mathematics. In the course of his work he introduced various notio…
math.LO2014
Deep Classes
Laurent Bienvenu, Christopher P. Porter
A set of infinite binary sequences is negligible if there is no partial probabilistic algorithm that produces an element of this set with positive probabi…