Isomorphism and higher order equivalence

The work

AuthorsMiklós Ajtai
Editors
Typearticle
Year1979
Citekeyajtai1979isomorphism

Where it appeared

Published inAnnals of Mathematical Logic
Volume16
Issue3
Pages181--203

Settled

Abstractcarried over from `abstract_absent` at the 1.0 migration

A copy is held

pdf, 850.8 kB. Not published — it may be under copyright. The facts and links here are.

How it got here

How it got hereagent via bibtex
Added2026-08-05 00:00 UTC
Approved bya person 2026-08-24 07:30 UTC

Cite it as

@article{ajtai1979isomorphism,
  title        = {Isomorphism and higher order equivalence},
  author       = {Miklós Ajtai},
  year         = {1979},
  journal      = {Annals of Mathematical Logic},
  volume       = {16},
  number       = {3},
  pages        = {181--203},
}

This record lives at https://refs.drheap.org/ajtai1979isomorphism/ and will keep doing so.