scientific article; zbMATH DE number 3231082
From MaRDI portal
Publication:5519133
zbMath0143.25501MaRDI QIDQ5519133
Publication date: 1962
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Tarski's theory of definability: Common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic ⋮ Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces ⋮ Hierarchies of Effective Descriptive Set Theory ⋮ Well-Quasi Orders and Hierarchy Theory ⋮ Fine hierarchies and m-reducibilities in theoretical computer science ⋮ The Craig interpolation theorem in abstract model theory
This page was built for publication:
