R.E. degrees of continuous functionals.
Dag Normann (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Embedding relations in the lattice of recursively enumerable sets.”
R.E. degrees of continuous functionals.
Constructive order types, III.
John N. Crossley, P.H.G. Aczel (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Anmerkungen zum Rekursionstheorem.
Klemens Döpp (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Constructive analysis and thermodynamics formulations.
Antonino Drago (1984)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Hierarchies of number-theoretic functions. I.
M.H. Löb, S.S. Wainer (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Hierarchies of number-theoretic functions. II.
M.H. Löb, S.S. Wainer (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A partial comparison of two conditions on the intersections of regressive sets.
T.G. McLaughlin (1977)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Existential interpretation. II.
Yuri Gurevich (1982)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
On Families of Sets represented in Theories.
Hilary Putnam (1962/63)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
The unique existential quantifier.
H.B. Enderton (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A well-ordering proof for Feferman's theory To.
Gerhard Jäger (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: