Tables , References

    Chapters in Research Monographs

    Mathematical Logic

  1. J.A.Makowsky,
    Compactness, Embeddings and Definability,
    Chapter 18 in "Model Theoretic Logics", J.Barwise and S.Feferman ed., Springer 1985, pp.645-716.
    ps-files generated from old troff source:
  2. J.A.Makowsky and D. Mundici,
    Abstract Equivalence Relations,
    Chapter 19 in "Model Theoretic Logics", J.Barwise and S.Feferman ed., Springer 1985, pp.717-746.
  3. J.A.Makowsky,
    Abstract Embedding Relations,
    Chapter 20 in "Model Theoretic Logics", J.Barwise and S.Feferman ed., Springer 1985, pp.747-791.
    ps-files generated from old troff source:

    Computer Science

  4. J.A.Makowsky,
    Model Theory and Computer Science: An Appetizer,
    Chapter I.6 in the "Handbook of Logic in Computer Science, vol. 1 (Background: Mathematical structures)", S. Abramsky, D.M. Gabbay, T.S.E. Maibaum eds., Oxford University Press, 1992, pp. 763-814.
  5. J.A. Makowsky and Y.B. Pnueli,
    Computable Quantifiers and Logics over Finite Structures,
    in "Quantifiers: Generalizations, extensions and variants of elementary logic", M. Krynicki, M. Mostowski and L.W. Szczerba eds., Kluwer Academic Publishers, to appear (40 pages).