> Detailanzeige

Crossley, John N. [VerfasserIn] ; Nerode, Anil [Sonstige Person, Familie und Körperschaft]

Combinatorial Functors

Literatur-
verwaltung

Zur
Merkliste

Lösche von
Merkliste

Per Whatsapp teilen

Schließen

Merkliste



Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
  • Medientyp: E-Book
  • Titel: Combinatorial Functors
  • Beteiligte: Crossley, John N. [VerfasserIn]; Nerode, Anil [Sonstige Person, Familie und Körperschaft]
  • Erschienen: Berlin, Heidelberg: Springer Berlin Heidelberg, 1974
  • Erschienen in: Ergebnisse der Mathematik und ihrer Grenzgebiete ; 81
    Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, A Series of Modern Surveys in Mathematics ; 81
    SpringerLink ; Bücher
    Springer eBook Collection ; Mathematics and Statistics
  • Umfang: Online-Ressource (online resource)
  • Sprache: Englisch
  • DOI: 10.1007/978-3-642-85933-5
  • ISBN: 9783642859335
  • Identifikator:
  • Schlagwörter: Mathematics ; Discrete mathematics.
  • Entstehung:
  • Anmerkungen:
  • Beschreibung: 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.