Separation principles in the hierarchies of classical and effective descriptive set theory
From MaRDI portal
Publication:3265770
DOI10.4064/fm-46-2-123-135zbMath0091.05201OpenAlexW883393071MaRDI QIDQ3265770
Publication date: 1959
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/213497
Related Items
The axiom of determinateness and reduction principles in the analytical hierarchy, Some results in the effective descriptive set theory, Descriptive set theory, from Cantor to Wadge and beyond, Tarski's theory of definability: Common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic, Proof of a theorem of Lusin, Axiom of comparable choice and uniformizability of projective classes, Hierarchies of Effective Descriptive Set Theory, Kuratowski reduction in a \(\sigma \)-frame, Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy, On predicates expressible in the $1$-function quantifier forms in Kleene Hierarchy with free variables of type $2$, Factoring Solovay-random extensions, with application to the reduction property, Well-Quasi Orders and Hierarchy Theory, Hyperarithmetical Sets, Fine hierarchies and m-reducibilities in theoretical computer science, Topological complexity of graphs and their spanning trees, Computable numberings of families of infinite sets, On an effective hierarchy of communicating processes: Separation principle and testing, Kleene’s Amazing Second Recursion Theorem, Definable elements of definable Borel sets, Descriptive complexity of subsets of the space of finitely generated groups, La théorie des fonctions récursives et ses applications. (Exposé d'information générale), THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC