On predicates expressible in the $1$-function quantifier forms in Kleene Hierarchy with free variables of type $2$

DOI10.3792/PJA/1195524146zbMath0097.24801OpenAlexW2033259317MaRDI QIDQ3276700

T. Tugue

Publication date: 1960

Published in: Proceedings of the Japan Academy, Series A, Mathematical Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3792/pja/1195524146

zbMATH Keywords

philosophy and foundations of mathematics

Cites Work

• Unnamed Item
• Arithmetical Predicates and Function Quantifiers
• Hierarchies of number-theoretic predicates
• Recursive well-orderings
• A Note on Function Quantification
• Recursive Functionals and Quantifiers of Finite Types I
• Separation principles in the hierarchies of classical and effective descriptive set theory
• Some consequences of the axiom of constructibility
• Sur les théorèmes de séparation dans la Théorie des ensembles
• Recursive Predicates and Quantifiers

This page was built for publication: On predicates expressible in the $1$-function quantifier forms in Kleene Hierarchy with free variables of type $2$