Advertisement

Combinatorial functors

  • J. N. Crossley
  • Anil Nerode
Conference paper
  • 272 Downloads
Part of the Lecture Notes in Mathematics book series (LNM, volume 453)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. Aczel, P.H.G. [1966] D. Phil thesis Oxford (1966).Google Scholar
  2. Crossley, J.N. [1969] Constructive Order Types (monograph) AmsterdamGoogle Scholar
  3. Crossley, J.N. [1970] Recursive Equivalence, Bull. L.M.S. 2 (1970) 129–151.MathSciNetzbMATHCrossRefGoogle Scholar
  4. Crossley, J.N. & A. Nerode [1974] Combinatorial Functors (Ergebnisse der Mathematik und ihrer Grenzgebiete Bd. 81, Springer).Google Scholar
  5. Dekker, J.C.E. [1966] Les functions combinatores et les isols, Paris.Google Scholar
  6. Dekker, J.C.E. & J. Myhill [1960] Recursive Equivalence Types, University of California publications in mathematics, n.s. 3 (1960) 67–214.MathSciNetGoogle Scholar
  7. Ellentuck, E. [1965] The universal properties of Dedekind finite cardinals, Ann. of Math., 82 (1965) 225–248.MathSciNetzbMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin · Heidelberg 1975

Authors and Affiliations

  • J. N. Crossley
    • 1
    • 2
  • Anil Nerode
    • 1
    • 2
  1. 1.Monash UniversityMelbourneAustralia
  2. 2.Cornell UniversityIthacaU.S.A.

Personalised recommendations