A cumulative hierarchy of predicates

DOI10.1002/malq.19750210137zbMath0324.02060OpenAlexW2114656407MaRDI QIDQ4087181

Harvey M. Friedman

Publication date: 1975

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19750210137

Mathematics Subject Classification ID

Descriptive set theory (03E15)

Related Items (1)

Recurrence and transience of Gaussian diffusion processes

This page was built for publication: A cumulative hierarchy of predicates