Recursive Predicates and Quantifiers
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3024905 (Why is no real title available?)
- scientific article; zbMATH DE number 3032487 (Why is no real title available?)
- scientific article; zbMATH DE number 3106607 (Why is no real title available?)
- A Theory of Positive Integers in Formal Logic. Part I
- A note on recursive functions
- An Unsolvable Problem of Elementary Number Theory
- General recursive functions of natural numbers
- Gödel Theorems for Non-Constructive Logics
- On Computable Numbers, with an Application to the Entscheidungsproblem
- On notation for ordinal numbers
- On the Forms of the Predicates in the Theory of Constructive Ordinals
- On undecidable statements in enlarged systems of logic and the concept of truth
- Some Properties of Conversion
- Some aspects of the problem of mathematical rigor
- Systems of Logic Based on Ordinals†
- The constructive second number class
- The inconsistency of certain formal logics
- The inconsistency of certain formal logics
Cited in
(81)- Why Turing’s Thesis Is Not a Thesis
- Zur Theorie der konstruktiven Wohlordnungen
- An enumeration of the primitive recursive functions without repetition
- Péter on Church's thesis, constructivity and computers
- Some quantifiers require two-predicate scopes
- Toward a theory of intelligence
- All Quantifiers Versus the Quantifier All
- Existential Definability in Arithmetic
- Gödel's reception of Turing's model of computability: the shift of perception in 1934
- Effective topological spaces. I: A definability theory
- Effective topological spaces. II: A hierarchy
- An analysis of Tennenbaum's theorem in constructive type theory
- ``Upon this quote I will build my Church thesis
- Formalism and intuition in computability
- On effective convergence in Fekete's lemma and related combinatorial problems in information theory
- On the hardness of almost-sure termination
- Darstellungen der (im KALMÁR-CSILLAG'schen Sinne) Elementaren Funktionen
- The metamathematics of Stable Ramsey’s Theorem for Pairs
- Computation as an unbounded process
- Bemerkung über die Primpolynomzerlegung in endlich vielen Schritten
- On predicates expressible in the $1$-function quantifier forms in Kleene Hierarchy with free variables of type $2$
- Arithmetical Predicates and Function Quantifiers
- Hierarchies of number-theoretic predicates
- A SCHEMATIC DEFINITION OF QUANTUM POLYNOMIAL TIME COMPUTABILITY
- Simplicity, immunity, relativizations and nondeterminism
- Classes of Polish spaces under effective Borel isomorphism
- Automata theory and control theory - a rapprochement
- Hyperarithmetical Sets
- On the hardness of analyzing probabilistic programs
- Exotic quantifiers, complexity classes, and complete problems
- A second step toward the strong polynomial-time hierarchy
- Using computability to measure complexity of algebraic structures and classes of structures
- Kleene’s Amazing Second Recursion Theorem
- Levy and set theory
- My Life as a Logician
- An effectively closed set with no join property*
- Computing degrees of unsolvability
- Tarski's theory of definability: Common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic
- The incompleteness theorems after 70 years
- Characterizing parallel hierarchies by reducibilities
- Theoretical computer science: computability, decidability and logic
- A calculus for the specification, design, and verification of distributed concurrent systems
- The use of lists in the study of undecidable problems in automata theory
- Classes of Recursively Enumerable Sets and Their Decision Problems
- Theses for computation and recursion on concrete and abstract structures
- Parametric Church's thesis: synthetic computability without choice
- How to approximate fuzzy sets: mind-changes and the Ershov hierarchy
- Propositional Calculus and Realizability
- On simplicity of formulas
- The theory of recursive functions, approaching its centennial
- Multi-buffer simulations for trace language inclusion
- The Kleene-Post and Post's theorem in the calculus of inductive constructions
- Levels of undecidability in rewriting
- Turing oracle machines, online computing, and three displacements in computability theory
- Iterated priority arguments in descriptive set theory
- Expressing power of elementary quantum recursion schemes for quantum logarithmic-time computability
- Index sets and presentations of complexity classes
- Productive Sets
- Intermediate logics and the de Jongh property
- Conceptual Confluence in 1936: Post and Turing
- Approximating approximate reasoning: fuzzy sets and the Ershov hierarchy
- Recursive Functions and Intuitionistic Number Theory
- Elementary quantum recursion schemes that capture quantum polylogarithmic-time computability of quantum functions
- Recursive and Recursively Enumerable Orders
- The never-ending recursion
- Computable permutations and word problems
- Index sets related to prompt simplicity
- Effective topological spaces. III: Forcing and definability
- Leon Henkin the reviewer
- Definability, decidability, complexity
- On the degree spectrum of a ^0_1 class
- Can Church's thesis be viewed as a Carnapian explication?
- Specification and verification of concurrent systems by causality and realizability
- Recursive Functions and Intuitionistic Number Theory
- The many forms of hypercomputation
- The minimum degree of recursively representable choice functions
- Recursion-theoretic ranking and compression
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS
- On the realizations of predicate formulas
- The Church-Turing Thesis over Arbitrary Domains
- A second step toward the polynomial hierarchy
This page was built for publication: Recursive Predicates and Quantifiers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5843994)
