Degrees of unsolvability within a regressive isol
T. McLaughlin (1974)
Fundamenta Mathematicae
Similarity:
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: