Skip to search formSkip to main contentSkip to account menu

Friedberg numbering

In computability theory, a Friedberg numbering is a numbering (enumeration) of the set of all partial recursive functions that has no repetitions… 
Wikipedia (opens in a new tab)

Related topics

Related topics

3 relations
Admissible numberingComputability theoryNumbering (computability theory)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
A Friedberg enumeration of equivalence structures
We solve a problem posed by Goncharov and Knight (Problem 4 in [S. Goncharov and J. Knight, Computable structure and… 
2002
2002
Friedberg Numberings of Families of n-Computably Enumerable Sets
We establish a number of results on numberings, in particular, on Friedberg numberings, of families of d.c.e. sets. First, it is… 
2002
2002
Recherche finalisée, organisations et prospective : la méthode prospective SYSPAHMM (SYStème, Processus, Agrégats d’Hypothèses, Micro- et Macroscénarios)
Les auteurs presentent la methode de prospective SYSPAHMM (SYSteme-Processus-Agregats d’Hypotheses-Microscenarios-Macroscenarios… 
1993
1993
Friedberg Splittings of Recursively Enumerable Sets
1987
1987
Nonstandard characterizations of recursive saturation and resplendency
Abstract We prove results about nonstandard formulas in models of Peano arithmetic which complement those of Kotlarski, Krajewski… 
1980
1980
Vérité historique ou vérité politique? : Le dossier de l'affaire Faurisson : la question des chambres à gaz
1972
1972
Some minimal pairs of α-recursively enumerable degrees
1964
1964
Gödel numberings versus Friedberg numberings
In [3], Rogers discussed the concept of Godel numbering. He defined a semi-effective numbering, constructed a semi-lattice of… 
1960
1960
Diskussionsbemerkung zu den Arbeiten Vorherr, H., Und V. Friedberg: Verbesserte Methode aum Adiuretin-Nachweis [Diese Z. 37, 1171 (1959)]. Schröder, R., Und D. Rott: Über die Bestimmung und das…
2vIit einigen }Iodifikationen haben Vo~g]m~ u. F ~ i w . D s ~ einer sf~arken Antidiurese beim Menschen ben6tigten Pi~ressinnnd… 
1954
1954
The Incorporation of Labelled Amino-acids into Amphibian Embryos
The production of different cell types during embryonic development must depend to a major extent on the synthesis of specific… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)