1. A Δ22 well-order of the reals and incompactness of L(QMM);Abraham;Ann. Pure Appl. Logic,1993
2. Isomorphism and higher order equivalence;Ajtai;Ann. Math. Logic,1979
3. Model-Theoretic Logics;Barwise,1985
4. Deux relations denombrables, logiquement equivalentes pour le second ordre, sont isomorphes (modulo un axiome de constructibilite);Fraïssé,1985
5. Long projective wellorderings;Harrington;Ann. Math. Logic,1977