{"product_id":"a-nerode-combinatorial-functors-9783642859359","title":"Combinatorial Functors","description":"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.","brand":"Springer","offers":[{"title":"Default Title","offer_id":54720854360406,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9783642859359_1.jpg?v=1791161434","url":"https:\/\/www.momoxbooks.com\/de\/products\/a-nerode-combinatorial-functors-9783642859359","provider":"momox","version":"1.0","type":"link"}