An Application of Invariant Sets to Global Definability. - Douglas E. Miller (J. Symb. Log., 1979)

On Classes Closed Under Unions of Chains. - Douglas E. Miller (J. Symb. Log., 1979)

The Metamathematics of Model Theory: Discovering Language in Action. - Douglas E. Miller (J. Symb. Log., 1981)

Some Contributions to Definability Theory for Languages with Generalized Quantifiers. - John T. Baldwin 001; Douglas E. Miller (J. Symb. Log., 1982)