activity
20102026
most citedThe exact strength of the class forcing theorem

19 citations · 68 across the 29 of their papers we have counts for

collaborators
Showing 2016 · math.LOShow all

1 paper · 2 filters

math.LO2016★ 1 cited

Randomness via infinite computation and effective descriptive set theory

Merlin Carl, Philipp Schlicht

We study randomness beyond -randomness and its Martin-Löf type variant, introduced in \cite{MR2340241} and further studied in \cite{Continuous-higher-randomness}. The class…