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
Aczel, P.H.G. [1966] D. Phil thesis Oxford (1966).
Crossley, J.N. [1969] Constructive Order Types (monograph) Amsterdam
Crossley, J.N. [1970] Recursive Equivalence, Bull. L.M.S. 2 (1970) 129–151.
Crossley, J.N. & A. Nerode [1974] Combinatorial Functors (Ergebnisse der Mathematik und ihrer Grenzgebiete Bd. 81, Springer).
Dekker, J.C.E. [1966] Les functions combinatores et les isols, Paris.
Dekker, J.C.E. & J. Myhill [1960] Recursive Equivalence Types, University of California publications in mathematics, n.s. 3 (1960) 67–214.
Ellentuck, E. [1965] The universal properties of Dedekind finite cardinals, Ann. of Math., 82 (1965) 225–248.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag Berlin · Heidelberg
About this paper
Cite this paper
Crossley, J.N., Nerode, A. (1975). Combinatorial functors. In: Parikh, R. (eds) Logic Colloquium. Lecture Notes in Mathematics, vol 453. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0064869
Download citation
DOI: https://doi.org/10.1007/BFb0064869
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07155-6
Online ISBN: 978-3-540-37483-1
eBook Packages: Springer Book Archive