コンテンツへ移動
Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977 資料のプレビュー
閉じる資料のプレビュー
確認中…

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

著者: M P Fourman; C J Mulvey; Dana S Scott; London Mathematical Society.
出版: Berlin ; New York : Springer-Verlag, 1979.
シリーズ: Lecture notes in mathematics (Springer-Verlag), 753.
エディション/フォーマット:   book_printbook : Conference publication : Englishすべてのエディションとフォーマットを見る
データベース:WorldCat
評価:

(まだ評価がありません) 0 件のレビュー - 是非あなたから!

件名:
関連情報:

 

オンラインで入手

この資料へのリンク

オフラインで入手

&AllPage.SpinnerRetrieving; この資料の所蔵館を検索中…

詳細

ジャンル/形式: Conference papers and proceedings
Kongreß
Congresses
その他のフォーマット: 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
資料の種類: Conference publication, インターネット資料
ドキュメントの種類: 図書, インターネットリソース
すべての著者/寄与者: M P Fourman; C J Mulvey; Dana S Scott; London Mathematical Society.
ISBN: 0387095640 9780387095646 3540095640 9783540095644
OCLC No.: 5674518
注記: "Sponsored by London Mathematical Society."
物理形態: xiv, 779 pages : illustrations ; 25 cm.
コンテンツ: 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.
シリーズタイトル: Lecture notes in mathematics (Springer-Verlag), 753.
責任者: edited by M.P. Fourman, C.J. Mulvey, and D.S. Scott.
その他の情報:

レビュー

ユーザーレビュー
GoodReadsのレビューを取得中…
DOGObooksのレビューを取得中…

タグ

まずはあなたから!
リクエストの確認

あなたは既にこの資料をリクエストしている可能性があります。このリクエストを続行してよろしければ、OK を選択してください。

リンクデータ


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://viaf.org/viaf/147737299> ; # London Mathematical Society.
   schema:contributor <http://experiment.worldcat.org/entity/work/data/364764276#Person/scott_dana_s> ; # Dana S. Scott
   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#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/147737299> # London Mathematical Society.
    a schema:Organization ;
   schema:name "London Mathematical Society." ;
    .

<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 "2017-01-18" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

ウインドウを閉じる

WorldCatにログインしてください 

アカウントをお持ちではないですか?簡単に 無料アカウントを作成することができます。.