Degrees of unsolvability within a regressive isol
T. McLaughlin (1974)
Fundamenta Mathematicae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “A note on initial segments below ”
Degrees of unsolvability within a regressive isol
A decidable -categorical theory with a non-recursive Ryll-Nardzewski function
James Schmerl (1978)
Fundamenta Mathematicae
Similarity:
A notion of semigenericity
Osvald Demuth (1987)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
On recursive measure of classes of recursive sets
Antonín Kučera (1982)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Infinite terms and a system of natural deduction
Per Martin-Löf (1972)
Compositio Mathematica
Similarity: