passa ai contenuti
Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977 Anteprima di questo documento
ChiudiAnteprima di questo documento
Stiamo controllando…

Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977

Autore: M P Fourman; C J Mulvey; Dana S Scott; London Mathematical Society.
Editore: Berlin ; New York : Springer-Verlag, 1979.
Serie: Lecture notes in mathematics (Springer-Verlag), 753.
Edizione/Formato:   book_printbook : Conference publication : EnglishVedi tutte le edizioni e i formati
Banca dati:WorldCat
Voto:

(non ancora votato) 0 con commenti - Diventa il primo.

Soggetti
Altri come questo

 

Trova una copia online

Collegamenti a questo documento

Trova una copia in biblioteca

&AllPage.SpinnerRetrieving; Stiamo ricercando le biblioteche che possiedono questo documento…

Dettagli

Genere/forma: Conference papers and proceedings
Kongreß
Congresses
Informazioni aggiuntive sul formato: Online version:
Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis (1977 : Durham, England).
Applications of sheaves.
Berlin ; New York : Springer-Verlag, 1979
(OCoLC)625236215
Tipo materiale: Conference publication, Risorsa internet
Tipo documento: Book, Internet Resource
Tutti gli autori / Collaboratori: M P Fourman; C J Mulvey; Dana S Scott; London Mathematical Society.
ISBN: 0387095640 9780387095646 3540095640 9783540095644
Numero OCLC: 5674518
Note: "Sponsored by London Mathematical Society."
Descrizione: xiv, 779 pages : illustrations ; 25 cm.
Contenuti: Fragments of the history of sheaf theory.- Finiteness and decidability:I.- Injective banach sheaves.- Simplicial sets and the foundations of analysis.- Localization with respect to a measure.- On the concept of a measurable space I.- Banach spaces in categories of sheaves.- The affine scheme of a general ring.- Localisation, spectra and sheaf representation.- Concrete quasitopoi.- Higher dimensional torsors and the cohomology of topoi : The abelian theory.- Sheaf models for analysis.- Sheaves and logic.- Heyting-valued models for intuitionistic set theory.- Sheaf theoretical concepts in analysis: Bundles and sheaves of Banach spaces, Banach C(X)-modules.- Continuity in spatial toposes.- A syntactic approach to Diers' localizable categories.- Conditions related to de Morgan's law.- Sheaves in physics - Twistor theory.- Sheaf representations and the dedekind reals.- Manifolds in formal differential geometry.- Note on non-abelian cohomology.- Representations of rings and modules.- Cramer's rule in the Zariski topos.- On the spectrum of a real representable ring.- On functorializing usual first-order model theory.- Topos theory and complex analysis.- Identity and existence in intuitionistic logic.- Weak adjointness in proof theory.- Rank one projective modules over certain fourier algebras.- Boolean valued analysis.- Sheaf-theoretical methods in the solution of Kaplansky's problem.- Generic Galois theory of local rings.- Sheaf theory and zero-dimensional mappings.
Titolo della serie: Lecture notes in mathematics (Springer-Verlag), 753.
Responsabilità: edited by M.P. Fourman, C.J. Mulvey, and D.S. Scott.
Maggiori informazioni:

Commenti

Commenti degli utenti
Recuperando commenti GoodReads…
Stiamo recuperando commenti DOGObooks

Etichette

Diventa il primo.
Conferma questa richiesta

Potresti aver già richiesto questo documento. Seleziona OK se si vuole procedere comunque con questa richiesta.

Dati collegati


Primary Entity

<http://www.worldcat.org/oclc/5674518> # Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "5674518" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/364764276#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/364764276#Topic/espace_banach> ; # espace Banach
   schema:about <http://experiment.worldcat.org/entity/work/data/364764276#Topic/kongress> ; # Kongress
   schema:about <http://experiment.worldcat.org/entity/work/data/364764276#Topic/mathematische_logik> ; # Mathematische Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/364764276#Topic/schoven_topologie> ; # Schoven (Topologie)
   schema:about <http://experiment.worldcat.org/entity/work/data/364764276#Topic/faisceaux_theorie_des_congres> ; # Faisceaux, Théorie des--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/364764276#Topic/garbe_mathematik> ; # Garbe (Mathematik)
   schema:about <http://id.loc.gov/authorities/subjects/sh85121203> ; # Sheaf theory
   schema:about <http://experiment.worldcat.org/entity/work/data/364764276#Topic/cohomologie> ; # cohomologie
   schema:about <http://experiment.worldcat.org/entity/work/data/364764276#Topic/anwendung> ; # Anwendung
   schema:about <http://experiment.worldcat.org/entity/work/data/364764276#Topic/theorie_faisceaux> ; # théorie faisceaux
   schema:about <http://experiment.worldcat.org/entity/work/data/364764276#Topic/garbentheorie> ; # Garbentheorie
   schema:about <http://experiment.worldcat.org/entity/work/data/364764276#Topic/faisceau> ; # faisceau
   schema:about <http://id.worldcat.org/fast/1115421> ; # Sheaf theory
   schema:about <http://dewey.info/class/510.8/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/364764276#Person/scott_dana_s> ; # Dana S. Scott
   schema:contributor <http://experiment.worldcat.org/entity/work/data/364764276#Organization/london_mathematical_society> ; # London Mathematical Society.
   schema:contributor <http://viaf.org/viaf/110128979> ; # C. J. Mulvey
   schema:contributor <http://viaf.org/viaf/3036595> ; # M. P. Fourman
   schema:creator <http://experiment.worldcat.org/entity/work/data/364764276#Meeting/research_symposium_on_applications_of_sheaf_theory_to_logic_algebra_and_analysis_1977_durham_england> ; # Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis (1977 : Durham, England)
   schema:datePublished "1979" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/364764276> ;
   schema:genre "Kongreß"@en ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/364764276#Series/lecture_notes_in_mathematics_springer_verlag> ; # Lecture notes in mathematics (Springer-Verlag) ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/364764276#Series/lecture_notes_in_mathematics> ; # Lecture notes in mathematics ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/625236215> ;
   schema:name "Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977"@en ;
   schema:productID "5674518" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/5674518#PublicationEvent/berlin_new_york_springer_verlag_1979> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/364764276#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1799234&custom_att_2=simple_viewer> ;
   schema:url <http://swbplus.bsz-bw.de/bsz011278838cov.htm> ;
   schema:url <http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks0/springer/2010-04-28/1/9780387095646> ;
   schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1799234&custom%5Fatt%5F2=simple%5Fviewer> ;
   schema:workExample <http://worldcat.org/isbn/9783540095644> ;
   schema:workExample <http://worldcat.org/isbn/9780387095646> ;
   umbel:isLike <http://d-nb.info/801018048> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/5674518> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/364764276#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/364764276#Meeting/research_symposium_on_applications_of_sheaf_theory_to_logic_algebra_and_analysis_1977_durham_england> # Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis (1977 : Durham, England)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/364764276#Place/durham_england> ; # Durham, England)
   schema:name "Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis (1977 : Durham, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/364764276#Organization/london_mathematical_society> # London Mathematical Society.
    a schema:Organization ;
   schema:name "London Mathematical Society." ;
    .

<http://experiment.worldcat.org/entity/work/data/364764276#Person/scott_dana_s> # Dana S. Scott
    a schema:Person ;
   schema:familyName "Scott" ;
   schema:givenName "Dana S." ;
   schema:name "Dana S. Scott" ;
    .

<http://experiment.worldcat.org/entity/work/data/364764276#Place/durham_england> # Durham, England)
    a schema:Place ;
   schema:name "Durham, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/364764276#Series/lecture_notes_in_mathematics> # Lecture notes in mathematics ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/5674518> ; # Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977
   schema:name "Lecture notes in mathematics ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/364764276#Series/lecture_notes_in_mathematics_springer_verlag> # Lecture notes in mathematics (Springer-Verlag) ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/5674518> ; # Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977
   schema:name "Lecture notes in mathematics (Springer-Verlag) ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/364764276#Topic/faisceaux_theorie_des_congres> # Faisceaux, Théorie des--Congrès
    a schema:Intangible ;
   schema:name "Faisceaux, Théorie des--Congrès"@en ;
   schema:name "Faisceaux, Théorie des--Congrès"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/364764276#Topic/garbe_mathematik> # Garbe (Mathematik)
    a schema:Intangible ;
   schema:name "Garbe (Mathematik)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/364764276#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
   schema:name "Mathematische Logik"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/364764276#Topic/schoven_topologie> # Schoven (Topologie)
    a schema:Intangible ;
   schema:name "Schoven (Topologie)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/364764276#Topic/theorie_faisceaux> # théorie faisceaux
    a schema:Intangible ;
   schema:name "théorie faisceaux"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85121203> # Sheaf theory
    a schema:Intangible ;
   schema:name "Sheaf theory"@en ;
    .

<http://id.worldcat.org/fast/1115421> # Sheaf theory
    a schema:Intangible ;
   schema:name "Sheaf theory"@en ;
    .

<http://viaf.org/viaf/110128979> # C. J. Mulvey
    a schema:Person ;
   schema:birthDate "1946" ;
   schema:familyName "Mulvey" ;
   schema:givenName "C. J." ;
   schema:name "C. J. Mulvey" ;
    .

<http://viaf.org/viaf/3036595> # M. P. Fourman
    a schema:Person ;
   schema:birthDate "1950" ;
   schema:familyName "Fourman" ;
   schema:givenName "M. P." ;
   schema:name "M. P. Fourman" ;
    .

<http://worldcat.org/isbn/9780387095646>
    a schema:ProductModel ;
   schema:isbn "0387095640" ;
   schema:isbn "9780387095646" ;
    .

<http://worldcat.org/isbn/9783540095644>
    a schema:ProductModel ;
   schema:isbn "3540095640" ;
   schema:isbn "9783540095644" ;
    .

<http://www.worldcat.org/oclc/625236215>
    a schema:CreativeWork ;
   rdfs:label "Applications of sheaves." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/5674518> ; # Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977
    .

<http://www.worldcat.org/title/-/oclc/5674518>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/5674518> ; # Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977
   schema:dateModified "2016-05-10" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.