Hyperanalytic Predicates
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3139751 (Why is no real title available?)
- scientific article; zbMATH DE number 3231083 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- Hierarchies of predicates of finite types
- On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
- Recursive Functionals and Quantifiers of Finite Types I
- Recursive Functionals and Quantifiers of Finite Types II
Cited in
(13)- Representability in some systems of second order arithmetic
- Hierarchies of Effective Descriptive Set Theory
- Computability and non-monotone induction
- A Property Equivalent to the Existence of Scales
- Power set recursion
- On monotone vs. nonmonotone induction
- scientific article; zbMATH DE number 3568670 (Why is no real title available?)
- Reflection and forcing in E-recursion theory
- Set recursion and \(\Pi ^ 1_ 2\)-logic
- The limits of E-recursive enumerability
- Inadmissible forcing
- Generalized computations over regular enumerations
- A generalized constructable continuum
This page was built for publication: Hyperanalytic Predicates
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5542099)
