On Non-principal Arithmetical Numberings and Families
From MaRDI portal
Publication:6489320
DOI10.1007/S00224-024-10165-ZMaRDI QIDQ6489320FDOQ6489320
Authors: Marat Kh. Faizrahmanov 
Publication date: 21 April 2024
Published in: Theory of Computing Systems (Search for Journal in Brave)
Cites Work
- Title not available (Why is that?)
- The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
- Khutoretskii's theorem for generalized computable families
- Turing computability. Theory and applications
- Degrees in Which the Recursive Sets are Uniformly Recursive
- Generalized computable numerations and nontrivial Rogers semilattices
- Some independence results for control structures in complete numberings
- Computability and models. Perspectives east and west
- Title not available (Why is that?)
- Generalized computable universal numberings
- Title not available (Why is that?)
- Extremal numberings and fixed point theorems
- On incomparable enumerations
- Completely enumerated sets
- Minimal generalized computable enumerations and high degrees
- Title not available (Why is that?)
- Some remarks on completions of numberings
- On \(m\)-degrees of recursively enumerable sets
- 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
- Complete numerations with infinitely many singular elements
- On nonprincipal enumerations
- On inseparable pairs
- Subfamilies of special elements of complete numberings
- ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS
- Numberings, c.e. oracles, and fixed points
This page was built for publication: On Non-principal Arithmetical Numberings and Families
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6489320)
