scientific article; zbMATH DE number 3230250

MaRDI QIDQ5518360zbMATH OpenFDO

Authors Joseph R. Shoenfield

Publication date 1962

zbMATH Keywords

mathematical logic

Cited in

(4)

• A complete classification of the Δ₂¹-functions
• Constructive transfinite number classes
• Tarski's theory of definability: Common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic
• A Hierarchy Based on a Type Two Object

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