LIBERO WebOPAC Visualizza Catalogo (W561)

Catalogue Information
Nome campo	dettagli
Dewey Class	512.55
Titolo	Combinatorial Functors ([EBook]) / by J. N. Crossley, Anil Nerode.
Autore	Crossley, John N. , 1937-
Added Personal Name	Nerode, Anil
Other name(s)	SpringerLink (Online service)
Pubblicazione	Berlin, Heidelberg : Springer , 1974.
Physical Details	VIII, 148 p. 1 illus. : online resource.
Serie	Ergebnisse der Mathematik und ihrer Grenzgebiete 0071-1136 ; ; 81
ISBN	9783642859335
Contents note	0. Introduction -- I. Categories and Functors -- 1. Categories -- 2. Morphism Combinatorial Functors -- 3. Combinatorial Functors -- II. Model Theory -- 4. Countable Atomic Models -- 5. Copying -- 6. Dimension -- III. Combinatorial Functions -- 7. Strict Combinatorial Functors -- 8. Strict Combinatorial Functions -- IV. Recursive Equivalence -- 9. Suitable Categories -- 10. Bridge -- 11. Recursive Equivalence (Sets) -- 12. Recursive Equivalence (Linear Orderings) -- 13. Recursive Equivalence in a General Setting -- 14. Existence of Dedekind Types -- 15. Partial Recursive Combinatorial Functors -- 16. Partial Recursive Strict Combinatorial Functors -- V. Identities -- 17. The Strong Topology -- 18. Extending Identities to Dedekind Dense Types -- 19. More on Identities -- 20. Uniform Implications for Dedekind Types -- VI. Frames -- 21. Frames -- 22. Frame Maps are Map Frames -- 23. Recursive Frame Maps are Recursive Map Frames -- 24. Chains and Chain Types -- 25. Extending Relations Using Frames -- VII. The Dimension Case -- 26. Extensions of Solutions of Equations -- 27. Universal Horn Sentences -- 28. Universal Sentences I -- 29. Universal Sentences II -- VIII. Sound Values -- 30. Soundly Based Types -- 31. Extending Partial Functions to Soundly Based Types -- 32. Functions from Infinite Dedekind Types to Soundly Based Dedekind Types -- 33. Total Functions to Soundly Based Dedekind Types -- IX. The Automorphism Extension Property -- 34. The Automorphism Extension Property -- 35. Regressive Types and Tree Frames -- 36. Solutions of Equations and the Automorphism Extension Property -- X. Satisfiability -- 37. Finitary Relations -- 38. The Master Frame -- 39. Satisfiability -- 40. Compactness and Dimension -- Index of Notations -- General Index.
System details note	Online access to this digital book is restricted to subscription institutions through IP address (only for SISSA internal users)
Internet Site	http://dx.doi.org/10.1007/978-3-642-85933-5
Link alle Opere Legate	Riferimenti soggetto: . Combinatorial analysis . Combinatorics . Functor theory . Authors: author . Crossley, John N. 1937- . Nerode, Anil . Corporate Authors: SpringerLink (Online service) . Series: Ergebnisse der Mathematik und ihrer Grenzgebiete . Classification: 512.55 .

Visualizza Catalogo

Combinatorial Functors

Reviews