Yiannis N. Moschovakis. Notation systems and recursive ordered fields. Compositio mathematica, vol. 17 no. 1 , pp. 40–71 [Book Review]
Journal of Symbolic Logic 31 (4):650-651 (1966)
Abstract
This article has no associated abstract. (fix it)Reprint years
1997
DOI
10.2307/2269706
My notes
Similar books and articles
Review: Yiannis N. Moschovakis, Notation Systems and Recursive Ordered Fields. [REVIEW]B. H. Mayoh - 1966 - Journal of Symbolic Logic 31 (4):650-651.
Notation Systems and Recursive Ordered Fields.Yiannis N. Moschovakis - 1966 - Journal of Symbolic Logic 31 (4):650-651.
Hans Freudenthal. Zur intuitionistischen Deutung logischer Formeln. Compositio mathematica, vol. 4 no. 1 , pp. 112–116. - A. Heyting. Bemerkungen zu dem Aufsatz von Herrn Freudenthai “Zur intuitionistischen Deutung logischer Formeln.” Compositio mathematica, vol. 4 no. 1 , pp. 117–118. - Nachwort von Hans Freudenthal. Compositio mathematica, vol. 4 no. 1 , p. 118. [REVIEW]C. H. Langford - 1937 - Journal of Symbolic Logic 2 (1):48-48.
Review: Joseph Harrison, Recursive Pseudo-well-Orderings. [REVIEW]Yiannis N. Moschovakis - 1972 - Journal of Symbolic Logic 37 (1):197-198.
The Euclidean algorithm on the natural numbers Æ= 0, 1,... can be specified succinctly by the recursive program.Lou Van Den Dries & Yiannis N. Moschovakis - 2004 - Bulletin of Symbolic Logic 10 (3):390-418.
Review: Daniel Lacombe, Quelques Procedes de Definition en Topologie Recursive. [REVIEW]Yiannis N. Moschovakis - 1966 - Journal of Symbolic Logic 31 (1):133-134.
The Logic of Recursive Equations.A. J. C. Hurkens, Monica Mcarthur, Yiannis Moschovakis, Lawrence Moss & Glen Whitney - 1998 - Journal of Symbolic Logic 63 (2):451-478.
The logic of recursive equations.A. J. C. Hurkens, Monica McArthur, Yiannis N. Moschovakis, Lawrence S. Moss & Glen T. Whitney - 1998 - Journal of Symbolic Logic 63 (2):451-478.
Erratum: The Logic of Recursive Equations.[author unknown] - 1999 - Journal of Symbolic Logic 64 (1):406-406.
Review: Alexander S. Kechris, Yiannis N. Moschovakis, A. S. Kechris, Y. N. Moschovakis, Cobol Seminar. [REVIEW]T. Jech - 1985 - Journal of Symbolic Logic 50 (3):849-851.
Scales on Σ 1 1 Sets.John R. Steel, A. S. Kechris, D. A. Martin, Y. N. Moschovakis, Yiannis N. Moschovakis & Donald A. Martin - 1992 - Journal of Symbolic Logic 57 (1):261-262.
Cobol Seminar.Alexander S. Kechris, Yiannis N. Moschovakis, A. S. Kechris & Y. N. Moschovakis - 1985 - Journal of Symbolic Logic 50 (3):849-851.
Review: G. Kriesel, D. Lacombe, J. Shoenfield, Effective Operations and Partial Recursive Functionals; G. Kreisel, D. Lacombe, J. R. Shoenfield, Partial Recursive Functionals and Effective Operations. [REVIEW]Yiannis N. Moschovakis - 1966 - Journal of Symbolic Logic 31 (2):261-262.
Review: Y. N. Moschovakis, Recursive Metric Spaces. [REVIEW]B. H. Mayoh - 1966 - Journal of Symbolic Logic 31 (4):651-652.
Analytics
Added to PP
2014-03-30
Downloads
20 (#565,140)
6 months
1 (#447,993)
2014-03-30
Downloads
20 (#565,140)
6 months
1 (#447,993)
Historical graph of downloads