Remarks on limitultrapowers.
Halldor Gudjónsson (1970)
Archiv für mathematische Logik und Grundlagenforschung
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.
The search session has expired. Please query the service again.
Displaying similar documents to “Strong normalization of barrecursive terms without using infinite terms.”
Remarks on limitultrapowers.
On necessary but not-sufficient conditions.
Hidehisa Sakai (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A note on proofs of falsehood.
Jan Krajicek (1987)
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:
Stackautomaten in Labyrinthen.
Horst Müller (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Saturation and omitting types.
D.W.H. Gillam (1977)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Liberated versions of T, S4, and S5.
Charles G. Morgan (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: