scientific article; zbMATH DE number 1301815

MaRDI QIDQ4247033zbMATH OpenFDO

Authors Theodore A. Slaman

Publication date 19 September 1999

zbMATH Keywords

arithmetical hierarchydefinabilityfirst-order arithmeticMartin's conjectureordering of real-valued functionsprojective hierarchysecond-order arithmeticsurvey

Mathematics Subject Classification ID

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

Recommendations

• Martin's maximum and definability in \(H(\aleph_2\))
• scientific article; zbMATH DE number 4108753
• \(\Delta_ 1\)-definability
• Regularity properties of definable sets of reals

Cited in

(4)

• \(\Delta_ 1\)-definability
• A note on the enumeration degrees of 1-generic sets
• scientific article; zbMATH DE number 6984345 (Why is no real title available?)
• Artificial intelligence and inherent mathematical difficulty

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4247033)