Abstract
We introduce an algebraic construction for the Hausdorff extension H(A) of a many-sorted universal algebra A with respect to a family T of Hausdorff topologies on the carrier sets of A. This construction can be combined with other algebraic constructions, such as the initial model construction, to provide methods for the algebraic specification of uncountable algebras, e.g. algebras of reals, function spaces and streams.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
A.V. Arkhangel'skii [1981], Classes of topological groups, Uspekhi. Matem. Nauk. 36 (1981), No 1, 127–146.
G. Birkhoff [1935], On the structure of abstract algebras, Proc. Camb. Philos. Soc. 31 (1935), 433–454.
P.M. Cohn [1981], Universal Algebra, second edition, D. Reidel, Dordrecht, 1981.
D. von Dantzig [1933], Zur topologischen Algebra, Math. Ann. 107 (1933), 587–626.
J. Dugundji [1966], Topology, Allyn and Bacon Inc, Boston, 1966.
H. Ehrig et al [1988], H. Ehrig, F. Parisi-Presicce, P. Boehm, G. Rieckhoff, C. Dimitrovici and M. Grosse-Rhode, Algebraic data type and process specifications based on projection spaces, 23–43 in: D. Sanella and A. Tarlecki (eds), Recent Trends in Data Type Specification, LNCS 332, Springer, Berlin, 1988.
ADJ [1975], J.A. Goguen, J. Thatcher, E. Wagner and J.B. Wright, Abstract data types as initial algebras and the correctness of data representations, in: A. Klinger (ed), Computer Graphics, Pattern Recognition and Data Structure, 89–93, IEEE 1975.
J.L. Kelley [1955], General Topology, Van Nostrand, Princeton, 1955.
A.I. Mal'cev [1957], Free topological algebras, Izv. Acad. Nauk. SSSR 21 (1957) 171–198. English translation: Trans. Amer. Math. Soc. (2) 17 (1961).
A.A. Markov [1945], On free topological groups, Izv. Acad. Nauk. SSSR 9 (1945), 3–64. English translation: Trans Amer. Math. Soc. 8 (1962), 195–272.
K. Meinke, Universal algebra in higher types, Theoretical Computer Science 100 (1992), 385–417.
K. Meinke and J.V. Tucker [1993], Universal Algebra, 189–411 in: S. Abramsky, D. Gabbay and T.S.E. Maibaum (eds), Handbook of Logic in Computer Science, Oxford University Press, Oxford, 1993.
B. Möller [1987], Higher-order algebraic specification, Habilitationsschrift, Fakultät Mathematik und Informatik, TU München, 1987.
L.S. Pontrjagin [1954], Topological Groups, second edition, Princeton University Press, Princeton, 1954.
M. Smyth [1993], Topology, 642–761 in: S. Abramsky, D. Gabbay and T.S.E. Maibaum (eds), Handbook of Logic in Computer Science, Oxford University Press, Oxford, 1993.
V. Stoltenberg-Hansen and J.V. Tucker [1991], Algebraic equations and fixedpoint equations in inverse limits, Theoretical Computer Science, 87 (1991), 1–24.
W. Taylor [1977], Varieties of topological algebras, J. Austral. Math. Soc. 23A (1977), 207–241.
M. Wand [1981], Final algebra semantics and data type extensions, J. Comput. System Sci. 19 (1981) 27–44.
S. Warner [1989], Topological Fields, Mathematics Studies, Vol 157, North Holland, Amsterdam, 1989.
M. Wirsing [1990], Algebraic Specification, 675–788 in: J. van Leeuwen (ed), Handbook of Theoretical Computer Science, Volume B, Formal Models and Semantics, Elsevier, Amsterdam, 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Meinke, K. (1995). Topological methods for algebraic specification. In: Astesiano, E., Reggio, G., Tarlecki, A. (eds) Recent Trends in Data Type Specification. ADT COMPASS 1994 1994. Lecture Notes in Computer Science, vol 906. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014439
Download citation
DOI: https://doi.org/10.1007/BFb0014439
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-59132-0
Online ISBN: 978-3-540-49198-9
eBook Packages: Springer Book Archive