scientific article; zbMATH DE number 1301815

zbMATH Open0932.03054MaRDI QIDQ4247033FDOQ4247033

Authors: Theodore A. Slaman 

Publication date: 19 September 1999

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

surveydefinabilitysecond-order arithmeticarithmetical hierarchyprojective hierarchyfirst-order arithmeticMartin's conjectureordering of real-valued functions

Mathematics Subject Classification ID

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

Cited In (2)

• Title not available (Why is that?)
• A note on the enumeration degrees of 1-generic sets

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)