Extensions to Isols

Journal of Symbolic Logic 25 (4):359-361 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963566

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 105,326

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Nerode Anil. Extensions to isols. Annals of mathematics, second series, vol. 73 , pp. 362–403.J. C. E. Dekker - 1960 - Journal of Symbolic Logic 25 (4):359-361.
Incompatible extensions of combinatorial functions.Erik Ellentuck - 1983 - Journal of Symbolic Logic 48 (3):752-755.
Nerode A.. Non-linear combinatorial functions of isols. Mathematische Zeitschrift, vol. 86 no. 5 , pp. 410–424.Carl Bredlau - 1969 - Journal of Symbolic Logic 33 (4):619-619.
Anil Nerode & Richard A. Shore, Logic for Applications, Springer-Verlag, 1993. [REVIEW]Erkan Tin & Varol Akman - 1995 - ACM SIGACT News 26 (1):20-22.
Torre models in the isols.Joseph Barback - 1994 - Journal of Symbolic Logic 59 (1):140-150.
Existentially Complete Nerode Semirings.Thomas G. McLaughlin - 1995 - Mathematical Logic Quarterly 41 (1):1-14.
Anil Nerode and Richard A. Shore. Logic for applications. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1993, xvii + 365 pp. [REVIEW]Fahiem Bacchus - 1999 - Journal of Symbolic Logic 64 (1):404-405.

Analytics

Added to PP
2015-02-05

Downloads
10 (#1,550,022)

6 months
1 (#1,605,223)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Eight problems about nerode semirings.T. G. McLaughlin - 1992 - Annals of Pure and Applied Logic 56 (1-3):137-146.
Isols and burnside's lemma.J. C. E. Dekker - 1986 - Annals of Pure and Applied Logic 32:245-263.
Myhill's work in recursion theory.J. C. E. Dekker & E. Ellentuck - 1992 - Annals of Pure and Applied Logic 56 (1-3):43-71.
Model theoretic methods in the theory of isols.Erik Ellentuck - 1978 - Annals of Mathematical Logic 14 (3):273-285.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references