On Non-principal Arithmetical Numberings and Families
From MaRDI portal
Publication:6489320
DOI10.1007/S00224-024-10165-ZMaRDI QIDQ6489320
Publication date: 21 April 2024
Published in: Theory of Computing Systems (Search for Journal in Brave)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On incomparable enumerations
- Completely enumerated sets
- Khutoretskii's theorem for generalized computable families
- Generalized computable universal numberings
- Minimal generalized computable enumerations and high degrees
- The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
- On \(m\)-degrees of recursively enumerable sets
- Complete numerations with infinitely many singular elements
- On nonprincipal enumerations
- On inseparable pairs
- Some independence results for control structures in complete numberings
- Turing Computability
- Subfamilies of special elements of complete numberings
- ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS
- Degrees in Which the Recursive Sets are Uniformly Recursive
- Numberings, c.e. oracles, and fixed points
- Extremal numberings and fixed point theorems
- On the embedding of the first nonconstructive ordinal in the Rogers semilattices
- Embedding of the first nonconstructive ordinal into the Rogers semilattices of families of arithmetic sets
This page was built for publication: On Non-principal Arithmetical Numberings and Families
