Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
.
Default
.
PageMenu
-
Hauptmenü
-
Einfache Suche
.
Erweiterte Suche
.
Zeitschriften-Suche
.
Suchergebnisse verfeinern
.
Präferenzen
.
Search Menu
Einfache Suche
.
Erweiterte Suche
.
Suche nach Neuerwerbungen
.
Zeitschriften-Suche
.
Suchergebnisse verfeinern
.
Bottom Menu
Hilfe
Italienisch
.
Englisch
.
Deutsch
.
New Item Menu
Suche nach Neuerwerbungen
.
Neuerwerbungsliste
.
Titelsammlung anzeigen
.
Links
SISSA Library
.
ICTP library
.
Italian National web catalog (SBN)
.
Trieste University web catalog
.
Udine University web catalog
.
© LIBERO v6.4.1sp220816
Page content
Sie befinden sich hier
:
>
Select User Preferences
>
Suchergebnisse
Katalogdatenanzeige
Katalogdatenanzeige
Vorheriger Titel
.
Combinatorial Functors
.
Bookmark this Record
Katalogdatensatz49003
.
.
Author info on Wikipedia
.
.
LibraryThing
.
.
Google Buchsuche
.
.
Amazon Books
.
Kataloginformation
Katalogdatensatz49003
.
Besprechungen
Katalogdatensatz49003
.
British Library
Resolver for RSN-49003
Google Scholar
Resolver for RSN-49003
WorldCat
Resolver for RSN-49003
Catalogo Nazionale SBN
Resolver for RSN-49003
GoogleBooks
Resolver for RSN-49003
ICTP Library
Resolver for RSN-49003
.
Link gemeinsam nutzen
Gehe zu Link
Kataloginformation
Feldname
Details
Dewey Class
512.55
Titel
Combinatorial Functors ([EBook]) / by J. N. Crossley, Anil Nerode.
Verfasser
Crossley, John N. , 1937-
Added Personal Name
Nerode, Anil
Other name(s)
SpringerLink (Online service)
Veröffentl
Berlin, Heidelberg : Springer , 1974.
Physical Details
VIII, 148 p. 1 illus. : online resource.
Reihe
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
LINKS ZU 'VERWANDTEN WERKEN
Schlagwörter:
.
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
.
.
ISBD-Anzeige
Katalogdatensatz49003
.
Kategorien-Anzeige
Katalogdatensatz49003
.
Verwandte Werke
Katalogdatensatz49003
.
MARC-XML
Katalogdatensatz49003
.
Titel zur Titelsammlung hinzufügen
Katalogdatensatz49003
.
Kataloginformation49003
Datensatzanfang
.
Kataloginformation49003
Seitenanfang
.
Titel herunterladen
Katalogdatensatz49003
Export
This Record
As
Labelled Format
Bibliographic Format
ISBD Format
MARC Format
MARC Binary Format
MARCXML Format
User-Defined Format:
Title
Author
Series
Publication Details
Subject
To
File
Email
Besprechungen
Dieser Titel wurde noch nicht bewertet.
Neue Besprechung und/oder Bewertung hinzufügen
49003
1
49003
-
2
49003
-
3
49003
-
4
49003
-
5
49003
-
Schnellsuche
Suche nach