Supported by NSF grant MCS-83-01850 and by ARO contract DAAG29-85-C-0018.
Supported by NSF grant DMS-85-05004 and by ARO contract DAAG29-85-C-0018.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
Crossley, J. N., Aspects of Effective Algebra, Proc. of a Conference at Monash University (1–4 August, 1979), Upside Down A Book Company, Steele's Creek, Box 226, Yarra Glenn, Victoria, Australia, 1981.
Crossley, J. N., and Nerode, A., Combinatorial Functors, (monograph), Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 81, Springer-Verlag, New York, 1974.
Dekker, J. C. E., "A Non-Constructive Extension of the Number System" (two abstracts), J. Symb. Logic 20 (1955), 204–205.
Dekker, J. C. E., Les Functions Combinatoires et Les Isols, Collection de Logique Mathematique ser. A. No. 22, Gauthier-Villars, Paris, 1966.
Dekker, J. C. E., and Myhill, J., "Recursive Equivalence Types", Univ. of California Publications in Mathematics n.s. 3 (1959), 67–214.
Ellentuck, E., "The Universal Properties of Dedekind Finite Cardinals", Ann. Math. 82 (1965), 225–248.
Ellentuck, E., "Generalized Idempotence in Cardinal Arithmetic", Fund. Math. 58 (1966),225–248.
Ellentuck, E., "The First Order Properties of Dedekind Finite Integers", Fund. Math. 63, (1966), 7–25.
Ellentuck, E., "Almost Combinatorial Skolem Functions", J. Symb. Logic 35 (1970), 378–382.
Ellentuck, E., "Non-Recursive Combinatorial Functions", Jour. Symb. Logic 37 (1972), 90–95.
Ellentuck, E., "The Positive Properties of Isolic Integers", J. Symbolic Logic 37, (1972), 114–132.
Friedberg, R.M., "The Uniqueness of Finite Division for Recursive Equivalence Types", Math. Z. 75 (1961), 3–7.
Hay, L., "The Co-Simple Isols", Ann. Math. 83 (1966), 231–256.
Hay, L., "Elementary Differences Between the Isols and the Co-Simple Isols", Trans. Amer. Math. Soc. 127 (1967), 427–441.
Hopcroft, J. E., and Ullman, J. D., Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, Reading, Mass, 1979.
McCarty, D. C., Realizability and Recursive Mathematics, D. Phil dissertation, Oxford, 1980.
McLaughlin, T., Regressive Sets and the Theory of Isols, Marcel Dekker, New York, 1983.
Myhill, J., "Recursive Equivalence Types and Combinatorial Functions", Bull. Amer. Math. Soc. 64 (1958), 373–376.
Myhill, J., "Absorption Laws in the Arithmetic of Recursive Equivalence Types", Notices. Amer. Math Soc. 6 (1959), 526–527.
Nerode, A., "Extensions to Isols", Ann. of Math. 73 (1961), 362–403.
Nerode, A., "Extensions to Isolic Integers", Ann. of Math. 75 (1962), 419–448.
Nerode, A., "Non-Linear Combinatorial Functions of Isols", Math. Z. 86 (1965), 410–424.
Nerode, A., "Additive Relations Among Recursive Equivalence Types", Math. Ann. 159 (1965), 329–343.
Nerode, A., "Combinatorial Series and Recursive Equivalence Types", Fund. Math. 58 (1966), 133–141.
Nerode, A., "Additive Relations among Recursive Equivalence Types", Math. Ann. 159 (1965), 329–343.
Nerode, A., "Diophantine Correct Non-Standard Models in the Isols", Ann. of Math. 84 (1966), 421–432.
Nerode, A., "Combinatorial Series and Recursive Equivalence Types", Fund. Math. 58 (1966), 133–141.
Nerode, A., and Remmel, J. B., "A Survey of R. E. Substructures", Proc. Symp. in Pure Mathematics vol. 42, Amer. Math. Soc., 1985, 323–373.
Nerode, A. and Remmel, J. B., "Complexity-Theoretic Algebra 1: Vector Spaces over Finite Fields", Structure in Complexity (2nd Annual Conference), Computer Society of IEEE, 1987, 218–241.
Nerode, A., and Remmel, J. B., "Complexity-Theoretic Algebra II: Boolean Algebras", Proc. Third Asian Logic and Computer Science Symposium, Beijing 1987, Ann. of Pure and Applied Logic, to appear.
Nerode, A. and Remmel, J. B., "Polynomial Time Equivalence Types", CMU 1987 Logic and Computation Workshop volume, Contemporary Mathematics series, Amer Math. Soc., 1989, to appear.
Remmel, J. B., "Combinatorial Functors on Co-R. E. Structures", Ann. Math. Logic 11 (1976), 281–287.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag
About this paper
Cite this paper
Nerode, A., Remmel, J.B. (1990). Polynomially isolated sets. In: Ambos-Spies, K., Müller, G.H., Sacks, G.E. (eds) Recursion Theory Week. Lecture Notes in Mathematics, vol 1432. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0086125
Download citation
DOI: https://doi.org/10.1007/BFb0086125
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52772-5
Online ISBN: 978-3-540-47142-4
eBook Packages: Springer Book Archive