1. The Birth of Model Theory: Löwenheim's Theorem in the Frame of the Theory of Relatives;Badesa,2004
2. Definable second-order quantifiers iearwise;Baldwin,1985
3. L{fx612-01}-Equivalence and Hanf Functions for Finite Structures;Barker,2003
4. The Hanf number of second order logic;Barwise;The Journal of Symbolic Logic,1972
5. Absolute logics and L{fx612-02};Barwise;Annals of Mathematical Logic,1972