Hyperanalytic Predicates

DOI10.2307/1994375zbMath0159.01101OpenAlexW4254181062MaRDI QIDQ5542099

Yiannis N. Moschovakis

Publication date: 1967

Full work available at URL: https://doi.org/10.2307/1994375

zbMATH Keywords

mathematical logic

Related Items (12)

Power set recursion ⋮ The limits of E-recursive enumerability ⋮ Inadmissible forcing ⋮ Unnamed Item ⋮ Hierarchies of Effective Descriptive Set Theory ⋮ A Property Equivalent to the Existence of Scales ⋮ Generalized computations over regular enumerations ⋮ On monotone vs. nonmonotone induction ⋮ Representability in some systems of second order arithmetic ⋮ A generalized constructable continuum ⋮ Reflection and forcing in E-recursion theory ⋮ Set recursion and \(\Pi ^ 1_ 2\)-logic

Cites Work

• On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
• Recursive Functionals and Quantifiers of Finite Types I
• Hierarchies of predicates of finite types
• Recursive Functionals and Quantifiers of Finite Types II
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Hyperanalytic Predicates