Model-interpretability into trees and applications.
I. Korec, W. Rautenberg (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
I. Korec, W. Rautenberg (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
T.B. Flannagan (1980)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Jan Krajicek (1987)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Jörg Flum (1972)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Gerhard Jäger (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
M.H. Löb, S.S. Wainer (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
M.H. Löb, S.S. Wainer (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
D.W.H. Gillam (1977)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
N. Georgieva (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Charles G. Morgan (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: