Arithmetical Predicates and Function Quantifiers
From MaRDI portal
Publication:3226750
Cites work
- scientific article; zbMATH DE number 3025664 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- A problem concerning the notion of definability
- A set of postulates for the foundation of logic
- Arithmetic with creative definitions by induction
- Certain predicates defined by induction schemata
- Die Definition durch vollständige Induktion
- Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit
- Hierarchies of number-theoretic predicates
- On definable sets of positive integers
- On notation for ordinal numbers
- On the Forms of the Predicates in the Theory of Constructive Ordinals
- On the Interpretation of Non-Finitist Proofs--Part I
- Recursive Predicates and Quantifiers
- Recursive well-orderings
- Recursively enumerable sets of positive integers and their decision problems
- The upper semi-lattice of degrees of recursive unsolvability
- Über den Zusammenhang der verschiedenen Begriffe der rekursiven Funktion
Cited in
(35)- A recursion theoretic characterization of the topological Vaught conjecture in the Zermelo-Fraenkel set theory
- Effective topological spaces. I: A definability theory
- Effective topological spaces. II: A hierarchy
- Recursive Functions Over Well Ordered Partial Orderings
- On Minimal and Almost-Minimal Systems of Notations
- A complete classification of the Δ₂¹-functions
- Real recursive functions and their hierarchy
- On predicates expressible in the $1$-function quantifier forms in Kleene Hierarchy with free variables of type $2$
- Hierarchies of number-theoretic predicates
- Classes of Polish spaces under effective Borel isomorphism
- Hyperarithmetical Sets
- A Note on Function Quantification
- Kleene’s Amazing Second Recursion Theorem
- Constructive Versions of Ordinal Number Classes
- scientific article; zbMATH DE number 3139751 (Why is no real title available?)
- The Forcing Method and the Upper Semilattice of Hyperdegrees
- Some results in the effective descriptive set theory
- A Property of Arithmetic Sets
- Hierarchies in Recursive Function Theory
- La prédicativité
- On a problem of Kleene’s
- The theory of recursive functions, approaching its centennial
- Levels of undecidability in rewriting
- Turing oracle machines, online computing, and three displacements in computability theory
- On a Subrecursive Hierarchy and Primitive Recursive Degrees
- Notation Systems and an Effective Fixed Point Property
- Classical descriptive set theory as a refinement of effective descriptive set theory
- On the ‘definability of definable’ problem of Alfred Tarski, Part II
- Measure-Theoretic Uniformity in Recursion Theory and Set Theory
- Algorithmic complexity for theories of commutative Kleene algebras
- Effective topological spaces. III: Forcing and definability
- A Recursion-Theoretic Characterization of the Ramified Analytical Hierarchy
- On Hierarchies and Systems of Notations
- Recursive nets
- Classifications of Recursive Functions by Means of Hierarchies
This page was built for publication: Arithmetical Predicates and Function Quantifiers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3226750)
