Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/formal-spaces-and-their-effective-presentations-ZauWXtSrTR
References (15)
-
M.P. Fourman, R.J. Grayson (1982)
L.E.J. Brouwer Cent. Symp. -
A.I. Mal'cev (1971)
Constructive algebras, I. The metamathematics of algebraic systems. Collected papers: 1936–1967 -
D. Scott (1982)
Theoretical foundations of programming methodology -
P.T. Johnstone (1982)
Stone spaces -
O. Aberth (1980)
Computable analysis -
M. Rabin (1960)
Computable algebra, general theory and theory of computable fields.Transactions of the American Mathematical Society, 95
-
G.S. Ceitin (1959)
Algorithmic operators in constructive complete separable metric spacesDokl. Akad. Nauk SSSR, 128
-
(1979)
Aspects of effective algebra -
J. Hyland (1981)
Function spaces in the category of locales -
D. Scott (1982)
Lectures on a Mathematical Theory of Computation -
A. Joyal, M. Tierney (1984)
An extension of the Galois theory of GrothendieckMemoirs of the American Mathematical Society, 51
-
V. Stoltenberg-Hansen, I. Lindström, E. Griffor (1994)
Mathematical theory of domains -
G. Sambin (1987)
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 -
A. Fröhlich, J. Shepherdson (1956)
Effective procedures in field theoryPhilosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 248
-
P. Martin-Löf (1985)
Formell (punktfri) topologi, unpublished seminar notes
- Publisher
- Springer Journals
- Copyright
- Copyright © 1995 by Springer-Verlag
- Subject
- Mathematics; Mathematical Logic and Foundations; Mathematics, general; Algebra
- ISSN
- 0933-5846
- eISSN
- 1432-0665
- DOI
- 10.1007/BF01469380
- Publisher site
- See Article on Publisher Site
Abstract
The theory of formal spaces is developed in terms of presentations, in order to study effectivity.
Journal
Archive for Mathematical Logic – Springer Journals
Published: Mar 29, 2005