Some results in the effective descriptive set theory

DOI10.2977/prims/1195195654zbMath0178.32003OpenAlexW2088959087MaRDI QIDQ5567856

Hisao Tanaka

Publication date: 1967

Published in: Publications of the Research Institute for Mathematical Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2977/prims/1195195654

zbMATH Keywords

recursion theory, constructive mathematics

Related Items

Borel Parametrizations, The definable criterion for definability in Presburger arithmetic and its applications., Universal and complete sets in martingale theory, The lattice of definability: origins, recent developments, and further directions, Inductive definability: Measure and category, Measure-Theoretic Uniformity in Recursion Theory and Set Theory

Cites Work

• Arithmetical Predicates and Function Quantifiers
• Hierarchies of number-theoretic predicates
• Recursive well-orderings
• On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
• Separation principles in the hierarchies of classical and effective descriptive set theory
• Some consequences of the axiom of constructibility
• On a problem of Kleene’s
• Sur les propriétés des constituantes des ensembles analytiques
• Nicht konstruktiv beweisbare Sätze der Analysis
• Recursively enumerable sets of positive integers and their decision problems
• Elementarily definable analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item