Definability and reducibility in higher types over the reals

zbMATH Open1102.03042MaRDI QIDQ5477359FDOQ5477359

Authors Dag Normann

Publication date 3 July 2006

zbMATH Keywords

topological spaceshierarchiesPolish spacesreducible setscontinuous functionals of finite type over the realsdefinable subspaces

Mathematics Subject Classification ID

Descriptive set theory (03E15) Higher-type and set recursion theory (03D65)

Recommendations

• scientific article; zbMATH DE number 4053594
• scientific article; zbMATH DE number 1531372
• Definability in function spaces
• Three topological reducibilities for discontinuous functions
• Publication:4729775

Cited in

(2)

• MINIMAL AXIOMATIC FRAMEWORKS FOR DEFINABLE HYPERREALS WITH TRANSFER
• Definability and undefinability with real order at the background

This page was built for publication: Definability and reducibility in higher types over the reals

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