C. E. M. Yates. Three theorems on the degrees of recursively enumerable sets. Duke mathematical journal, vol. 32 (1965), pp. 461–468.

1967 ◽  
Vol 32 (3) ◽  
pp. 394-395
Author(s):  
Hartley Rogers
Keyword(s):  
Mathematical Journal ◽  
Duke Mathematical Journal ◽  
Recursively Enumerable ◽  
Recursively Enumerable Sets

scholarly journals When catalytic P systems with one catalyst can be computationally complete

2021 ◽  
Author(s):  
Artiom Alhazov ◽  
Rudolf Freund ◽  
Sergiu Ivanov
Keyword(s):  
Computational Complexity ◽  
P Systems ◽  
Membrane Systems ◽  
Computational Completeness ◽  
Recursively Enumerable ◽  
Recursively Enumerable Sets

AbstractCatalytic P systems are among the first variants of membrane systems ever considered in this area. This variant of systems also features some prominent computational complexity questions, and in particular the problem of using only one catalyst in the whole system: is one catalyst enough to allow for generating all recursively enumerable sets of multisets? Several additional ingredients have been shown to be sufficient for obtaining computational completeness even with only one catalyst. In this paper, we show that one catalyst is sufficient for obtaining computational completeness if either catalytic rules have weak priority over non-catalytic rules or else instead of the standard maximally parallel derivation mode, we use the derivation mode maxobjects, i.e., we only take those multisets of rules which affect the maximal number of objects in the underlying configuration.

scholarly journals Interpretability over peano arithmetic

1999 ◽  
Vol 64 (4) ◽  
pp. 1407-1425
Author(s):  
Claes Strannegård
Keyword(s):  
Modal Logic ◽  
Completeness Theorem ◽  
Peano Arithmetic ◽  
Embedding Theorem ◽  
Compactness Theorem ◽  
Partial Answer ◽  
Recursively Enumerable ◽  
Recursively Enumerable Sets ◽  
Interpretability Logic

AbstractWe investigate the modal logic of interpretability over Peano arithmetic. Our main result is a compactness theorem that extends the arithmetical completeness theorem for the interpretability logic ILMω. This extension concerns recursively enumerable sets of formulas of interpretability logic (rather than single formulas). As corollaries we obtain a uniform arithmetical completeness theorem for the interpretability logic ILM and a partial answer to a question of Orey from 1961. After some simplifications, we also obtain Shavrukov's embedding theorem for Magari algebras (a.k.a. diagonalizable algebras).

Recursively Enumerable Sets

1976 ◽  
pp. 92-104
Author(s):  
J. Donald Monk
Keyword(s):  
Recursively Enumerable ◽  
Recursively Enumerable Sets

scholarly journals Proof of some theorems on recursively enumerable sets.

1962 ◽  
Vol 3 (2) ◽  
pp. 65-74 ◽  
Author(s):  
Thoralf Skolem
Keyword(s):  
Recursively Enumerable ◽  
Recursively Enumerable Sets

scholarly journals Some theorems on classes of recursively enumerable sets

1958 ◽  
Vol 89 (1) ◽  
pp. 25-25 ◽  
Author(s):  
J. C. E. Dekker ◽  
J. Myhill
Keyword(s):  
Recursively Enumerable ◽  
Recursively Enumerable Sets

scholarly journals Recursively enumerable sets and van der Waerden’s theorem on arithmetic progressions

1984 ◽  
Vol 115 (1) ◽  
pp. 143-153 ◽  
Author(s):  
Carl Jockusch ◽  
Iraj Kalantari
Keyword(s):  
Arithmetic Progressions ◽  
Recursively Enumerable ◽  
Recursively Enumerable Sets
Sign in / Sign up

Export Citation Format

Share Document