Yiannis N. Moschovakis. Notation systems and recursive ordered fields. Compositio mathematica, vol. 17 no. 1 , pp. 40–71

B. H. Mayoh

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)
Keywords	No keywords specified (fix it)
Categories	Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic (categorize this paper)
Reprint years	1997
DOI	10.2307/2269706
Options	Edit this record Mark as duplicate Export citation Find it on Scholar Request removal from index Revision history

Download options

Our Archive

Upload a copy of this paper Check publisher's policy Papers currently archived: 44,283

External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)

Through your library

Sign in / register and customize your OpenURL resolver..
Configure custom resolver

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

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).

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.

Mathematics Unlimited --- 2001 and Beyond.Yiannis Moschovakis - 2001

Analytics

Added to PP index
2014-03-30

Total views
19 ( #456,255 of 2,270,985 )

Recent downloads (6 months)
1 ( #832,952 of 2,270,985 )

How can I increase my downloads?

Downloads