Isomorphism and higher order equivalence

• 1 September 1979
• journal article
• Published by Elsevier in Annals of Mathematical Logic
• Vol. 16  (3) , 181-203
• https://doi.org/10.1016/0003-4843(79)90001-9

Abstract

Keywords

• ISOMORPHISM AND HIGHER ORDER EQUIVALENCE