Abstract Data Types as Lattices of Finitely Generated Models

For abstract data types with arbitrary first order formulas properties of the equations in the axioms are studied which allow to decide whether an abstract type has initial or terminal algebras or whether it forms a complete lattice. An example of an equationally defined abstract type forming a complete lattice with nonrecursive initial and terminal models is given.

[1]  Manfred Broy,et al.  Existential Quantifiers in Abstract Data Types , 1979, ICALP.

[2]  Mila E. Majster,et al.  Data types, abstract data types and their specification problem , 1979 .

[3]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[4]  Martin Wirsing,et al.  Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen , 1978, Arch. Math. Log..

[5]  Mitchell Wand,et al.  Final Algebra Semantics and Data Type Extensions , 1979, J. Comput. Syst. Sci..

[6]  Bruno Courcelle,et al.  On Some Classes of Interpretations , 1978, J. Comput. Syst. Sci..

[7]  R. Sikorski,et al.  The mathematics of metamathematics , 1963 .

[8]  Alberto Bertoni,et al.  On different approaches to abstract data types and the existence of recursive models , 1979 .

[9]  K. Mani Chandy,et al.  Current trends in programming methodology , 1977 .

[10]  S. Maclane,et al.  Categories for the Working Mathematician , 1971 .

[11]  Manfred Broy,et al.  Programming languages as abstract data types , 1980, CLAAP.

[12]  Robin Milner,et al.  Fully Abstract Models of Typed lambda-Calculi , 1977, Theor. Comput. Sci..

[13]  Hartmut Ehrig,et al.  Stepwise Specification and Implementation of Abstract Data Types , 1978, ICALP.

[14]  John V. Guttag,et al.  The specification and application to programming of abstract data types. , 1975 .

[15]  Martin Wirsing.  Das Entscheidungsproblem der Klasse von Formeln, die höchstens zwei Primformeln enthalten , 1977 .

[16]  George Gratzer,et al.  Universal Algebra , 1979 .

[17]  Ugo Montanari,et al.  Observability Concepts in Abstract Data Type Specifications , 1976, MFCS.

[18]  James W. Thatcher,et al.  Data Type Specification: Parameterization and the Power of Specification Techniques , 1982, TOPL.

[19]  Giancarlo Mauri,et al.  Why and Where: A Characterization of Data Provenance , 2001, ICDT.

[20]  John V. Guttag,et al.  Notes on Type Abstraction , 1978, Program Construction.