Unary Borel functions and second-order arithmetic

DOI10.1016/0001-8708(83)90037-3zbMath0543.03034OpenAlexW2043070162MaRDI QIDQ795831

Harvey M. Friedman

Publication date: 1983

Published in: Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0001-8708(83)90037-3

zbMATH Keywords

Borel functionsdiagonalizationprovabilitysecond order arithmeticomega modelstatements of descriptive set theorythird order arithmetic

Mathematics Subject Classification ID

Descriptive set theory (03E15)

Related Items (1)

Necessary uses of abstract set theory in finite mathematics

Cites Work

• Unnamed Item

This page was built for publication: Unary Borel functions and second-order arithmetic