Combinatorial Functors / by J. N. Crossley, Anil Nerode
(Ergebnisse der Mathematik und ihrer Grenzgebiete ; 81)
データ種別 | 電子ブック |
---|---|
出版者 | Berlin, Heidelberg : Springer Berlin Heidelberg |
出版年 | 1974 |
本文言語 | 英語 |
大きさ | VIII, 148 p. 1 illus : online resource |
書誌詳細を非表示
内容注記 | 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 |
---|---|
著者標目 | *Crossley, J. N. author Nerode, Anil author SpringerLink (Online service) |
件 名 | LCSH:Mathematics LCSH:Combinatorics FREE:Mathematics FREE:Combinatorics |
分 類 | DC23:511.6 |
巻冊次 | ISBN:9783642859335 ![]() |
ISBN | 9783642859335 |
URL | http://dx.doi.org/10.1007/978-3-642-85933-5 |
目次/あらすじ