scientific article; zbMATH DE number 1301815

zbMath0932.03054MaRDI QIDQ4247033

Theodore A. Slaman

Publication date: 19 September 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

surveydefinabilityarithmetical hierarchyMartin's conjecturefirst-order arithmeticsecond-order arithmeticprojective hierarchyordering of real-valued functions

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) First-order arithmetic and fragments (03F30) Applications of computability and recursion theory (03D80) Second- and higher-order arithmetic and fragments (03F35) Hierarchies of computability and definability (03D55)

Related Items (1)

A note on the enumeration degrees of 1-generic sets

This page was built for publication: