1 citations · 1 across the 2 of their papers we have counts for
2 papers
math.LO2016
The random members of a class
Douglas Cenzer, Christopher P. Porter
We examine several notions of randomness for elements in a given class . Such an effectively closed subset of may be viewed as the set of i…
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…