A universal two-way automation.
D.L. Kreider, R.W. Ritchie (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “On the relationship between weak compactness in L... and restricted second-order languages.”
A universal two-way automation.
Cupping and noncapping in the R.E. weak truth table and turing degrees.
Klaus Ambos-Spies (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Localization o a theorem of Ambos-Spies and the strong anti-splitting property.
R.G. Downey (1987)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Compact and ...-compact formulas in L..., ...
Bonnie Gold (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
On the decidability of p', p'' and p''*.
N. Georgieva (1975)
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:
Hierarchies of number-theoretic functions. I.
M.H. Löb, S.S. Wainer (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Strong normalization of barrecursive terms without using infinite terms.
Marc Bezem (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
On the existence of an empty set in set-theoretical methods.
A. Abian, S. LaMacchia (1966)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: