Search results
From MaRDI portal
- Relational and Kleene-Algebraic Methods in Computer Science 2005-12-23 Paper Logic versus Approximation 2005-12-23 Paper A non-arithmetical Gödel logic 2005-11-08...10 bytes (15 words) - 23:10, 8 December 2023
- reducibility for the dot-depth hierarchy A note on parallel queries and the symmetric-difference hierarchy. FINE HIERARCHY OF REGULAR APERIODIC ω-LANGUAGES...15 bytes (1,298 words) - 18:41, 30 January 2024
- unexpected complexity. We prove that higher-order arithmetic, which is the union of full nth-order arithmetic for all n, cannot prove the existence of such...15 bytes (392 words) - 21:56, 8 February 2024
- models of Peano arithmetic. II In memory of Andrzej Mostowski Representability of recursively enumerable sets in formal theories HIERARCHICAL INCOMPLETENESS...15 bytes (240 words) - 10:26, 4 February 2024
- entrenchment and arithmetical hierarchy Models of noncontradictory formulas and the Ershov hierarchy Bounded query classes and the difference hierarchy Toward a...15 bytes (776 words) - 03:47, 7 March 2024
- representations. The Arithmetical Hierarchy of Real Numbers Trial and error predicates and the solution to a problem of Mostowski Classical recursion theory...15 bytes (503 words) - 06:57, 8 February 2024
- In memory of Andrzej Mostowski All Quantifiers Versus the Quantifier All Arithmetical Predicates and Function Quantifiers Hierarchies of number-theoretic...15 bytes (211 words) - 05:18, 7 March 2024
- A proper hierarchy of propositional sequent calculi 👍 👎 The logic of arithmetical hierarchy 👍 👎 Arity and alternation: a proper hierarchy in higher...15 bytes (260 words) - 02:47, 31 January 2024
- machinesChurch's thesisrecursive realizabilitydemand correspondencesKleene-Mostowski arithmetic hierarchyrecursive metric spacerecursive space of alternativesrecursive...15 bytes (560 words) - 00:10, 31 January 2024
- Correction Grammars in the Ershov Hierarchy ``Viral Turing machines, computation from noise and combinatorial hierarchies Why Turing’s Thesis Is Not a Thesis...15 bytes (692 words) - 22:25, 30 January 2024
- learning: Some results and intuitions 👍 👎 LEARNING THEORY IN THE ARITHMETIC HIERARCHY 👍 👎 Self-Sustaining Iterated Learning 👍 👎 Learned Infinite Elements...15 bytes (526 words) - 18:51, 6 February 2024
- mathematics Cited In (5) In memory of Andrzej Mostowski Anzahlquantoren in der Kleene-Hierarchie Arithmetical hierarchy and complexity of computation Computing...15 bytes (105 words) - 21:58, 3 February 2024
- complexity classes of sets in the Kleene arithmetical hierarchy 👍 👎 Representation of De Morgan and (semi-)Kleene lattices 👍 👎 This page was built...15 bytes (199 words) - 01:12, 5 February 2024
