Friedberg numberings of families of partial computable functionals

DOI10.33048/SEMI.2019.16.020zbMATH Open1432.03081OpenAlexW3015946520MaRDI QIDQ2003244FDOQ2003244

Authors: S. S. Ospichev 

Publication date: 16 July 2019

Published in: Sibirskie Elektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.33048/semi.2019.16.020

Recommendations

• Computable positive and Friedberg numberings in hyperarithmetic
• scientific article; zbMATH DE number 2167508
• Friedberg numberings in the Ershov hierarchy
• On decomposition of Gödelnumberings into Friedbergnumberings
• Some absolute properties of \(A\)-computable numberings

zbMATH Keywords

computable numberingspositive numberingFriedberg numberingminimal numberingRogers semilatticecomputable morphismspartial computable functionals

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45)

Cites Work

• Computable functionals of finite types
• Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication
• Title not available (Why is that?)
• Families without minimal numberings
• Generalized computable numerations and nontrivial Rogers semilattices
• An easy priority-free proof of a theorem of Friedberg
• Isomorphism types of Rogers semilattices for families from different levels of the arithmetical hierarchy
• Computability and numberings
• A decomposition of the Rogers semilattice of a family of d.c.e. sets
• Two existence theorems for computable numerations
• Title not available (Why is that?)
• Elementary Theories for Rogers Semilattices
• Local structure of Rogers semilattices of Σn 0-computable numberings
• Everywhere-defined continuous functionals
• Friedberg numberings in the Ershov hierarchy
• Title not available (Why is that?)
• On the existence of universal numberings for finite families of d.c.e. sets

Cited In (5)

• Title not available (Why is that?)
• \(\varepsilon\)-principal numberings
• A note on direct sums of Friedbergnumberings
• Title not available (Why is that?)
• A note on partial numberings

This page was built for publication: Friedberg numberings of families of partial computable functionals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2003244)