Abstract
The theory of formal spaces is developed in terms of presentations, in order to study effectivity.
Similar content being viewed by others
References
Aberth, O.: Computable analysis. New York: McGraw-Hill 1980
Ceitin, G.S.: Algorithmic operators in constructive complete separable metric spaces. Dokl. Akad. Nauk SSSR128, 49–52 (1959) [Russian]
Crossley, J.N. (ed.): Aspects of effective algebra (Proceedings of a Conference at Monash University, Australia, 1–4 August, 1979). Steel's Creek, Australia: Upside Down A Book Company 1979
Fourman, M.P., Grayson, R.J.: Formal spaces. In: Troelstra, A.S., van Dalen, D. (eds.) L.E.J. Brouwer Cent. Symp., pp. 107–122. Amsterdam: North-Holland 1982
Frölich, A., Shepherdson, J.C.: Effective procedures in field theory. Phil. Trans. Royal Soc. London (A)248, 407–432 (1956)
Hyland, J.M.E.: Function spaces in the category of locales. Lecture Notes in Mathematics, Vol.871, pp. 264–281
Johnstone, P.T.: Stone spaces. Cambridge: Cambridge University Press 1982
Joyal, A., Tierney, M.: An extension of the Galois theory of Grothendieck. Memoirs of the American Mathematical Society, Vol. 51, No 309 (1984)
Mal'cev, A.I.: Constructive algebras, I. The metamathematics of algebraic systems. Collected papers: 1936–1967, pp. 148–212. Amsterdam: North-Holland 1971
Martin-Löf, P.: Formell (punktfri) topologi, unpublished seminar notes. Stockholm: Spring 1985
Nerode, A., Remmel, J.: A survey of lattices of R.E. substructures. In: Nerode, A., Shore, R.A. (eds.) Recursion theory. Proceedings of Symposia in Pure Mathematics, American Mathematical Society, Vol.42 (1985)
Rabin, M.O.: Computable algebra, general theory and the theory of computable fields. Trans Amer. Math. Soc.95, 341–360 (1960)
Sambin, G.: Intuitionistic formal spaces — a first communication. Mathematical logic and its applications (Proceedings of an Advanced International Summer School and Conference on Mathematical Logic and Its Applications, in honour of the 80th anniversary of Kurt Gödel's birth, held September 24–October 4 1986, in Druzhba, Bulgaria, ed. D. Skordev). New York: Plenum Press 1987
Scott D.: Lectures on a mathematical theory of computation. In: Broy, M., Schmidt, G. (eds.) Theoretical foundations of programming methodology, pp. 154–292. Amsterdam: Reidel 1982
Sigstam, I.: Effective aspects of Noetherian rings and modules. Project Report, Department of Mathematics, Uppsala University, p. 1 (1983)
Sigstam, I.: On formal spaces and their effective presentations. Doctoral dissertation, U.U.D.M. Report 1990:7, Department of Mathematics, Uppsala University (1990)
Sigstam, I., Stoltenberg-Hansen, V.: Representability of locally compact spaces by domains and formal spaces. Forthcoming (1995)
Stoltenberg-Hansen, V., Lindström, I., Griffor, E.: Mathematical theory of domains. Cambridge: Cambridge University Press 1994
Stoltenberg-Hansen, V., Tucker, J.V.: Computable algebra: an introduction to the theory of computable rings and fields. Cambridge: Cambridge University Press (to appear)
Author information
Authors and Affiliations
Additional information
The present paper is extracted from the author's doctoral dissertation [16]
Rights and permissions
About this article
Cite this article
Sigstam, I. Formal spaces and their effective presentations. Arch Math Logic 34, 211–246 (1995). https://doi.org/10.1007/BF01469380
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01469380