scientific article; zbMATH DE number 3216184

MaRDI QIDQ5343333zbMATH OpenFDO

Authors J. W. Addison

Publication date 1962

zbMATH Keywords

mathematical logic

Cited in

(7)

• Borel ideals vs. Borel sets of countable relations and trees
• Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces
• Well-Quasi Orders and Hierarchy Theory
• Fine hierarchies via Priestley duality
• The prehistory of the subsystems of second-order arithmetic
• Tarski's theory of definability: Common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic
• Fine hierarchies and m-reducibilities in theoretical computer science

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 Q5343333)