Advertisement

On test classes for universal theories

  • Bernd I. Dahn
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 440)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [B]
    Batarekh, A.; Subrahmanian, V.S.: The query topology in logic programming, STACS 89 (B.Monien, R.Cori eds.), Springer Lecture Notes in Computer Science, vol. 349(1989), pp. 375–387Google Scholar
  2. [BS]
    S.I. Borewicz, I.R. Safarevic: Zahlentheorie, Birkhäuser Verlag Basel und Stuttgart 1966Google Scholar
  3. [D]
    Dahn, B.I.: An analog of the least Herbrand model for non-Horn theories, B. Dahn, H. Wolter (eds.), Proc. 6th Easter Conference on Model Theory, Seminarbericht der Sektion Mathematik der Humboldt-Universität Nr. 98, Berlin 1988, pp. 33–52.Google Scholar
  4. [DL]
    Dahn, B.I., Lenski, W.: Universally generic ordered abelian groups with two generators, B. Dahn, H.Wolter (eds.), Proc. 7th Easter Conference on Model Theory, Seminarbericht der Sektion Mathematik der Humboldt-Universität Nr. 104, Berlin 1989, pp. 75–80Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Bernd I. Dahn
    • 1
  1. 1.Sektion Mathematik der Humboldt-UniversitätBerlin

Personalised recommendations