pular para conteúdo
Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977 Ver prévia deste item
FecharVer prévia deste item
Checando...

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

Autor: M P Fourman; C J Mulvey; Dana S Scott; London Mathematical Society.
Editora: Berlin ; New York : Springer-Verlag, 1979.
Séries: Lecture notes in mathematics (Springer-Verlag), 753.
Edição/Formato   Print book : Publicação de conferência : InglêsVer todas as edições e formatos
Base de Dados:WorldCat
Classificação:

(ainda não classificado) 0 com críticas - Seja o primeiro.

Assuntos
Mais como este

 

Encontrar uma cópia on-line

Encontrar uma cópia na biblioteca

&AllPage.SpinnerRetrieving; Encontrando bibliotecas que possuem este item...

Detalhes

Gênero/Forma: Conference papers and proceedings
Congresses
Formato Físico Adicional: 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 de Material: Publicação de conferência, Recurso Internet
Tipo de Documento: Livro, Recurso Internet
Todos os Autores / Contribuintes: M P Fourman; C J Mulvey; Dana S Scott; London Mathematical Society.
ISBN: 0387095640 9780387095646 3540095640 9783540095644
Número OCLC: 5674518
Notas: "Sponsored by London Mathematical Society."
Descrição: xiv, 779 pages : illustrations ; 25 cm.
Conteúdos: 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.
Título da Série: Lecture notes in mathematics (Springer-Verlag), 753.
Responsabilidade: edited by M.P. Fourman, C.J. Mulvey, and D.S. Scott.
Mais informações:

Críticas

Críticas contribuídas por usuários
Recuperando críticas GoodReas...
Recuperando comentários DOGObooks

Etiquetas

Seja o primeiro.
Confirmar esta solicitação

Você já pode ter solicitado este item. Por favor, selecione Ok se gostaria de proceder com esta solicitação de qualquer forma.

Dados Ligados


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/65289661> ; # Dana S. Scott
    schema:contributor <http://viaf.org/viaf/147737299> ; # 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 "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: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#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://viaf.org/viaf/65289661> # Dana S. Scott
    a schema:Person ;
    schema:familyName "Scott" ;
    schema:givenName "Dana S." ;
    schema:name "Dana S. Scott" ;
    .

<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 "2015-07-21" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Por favor, conecte-se ao WorldCat 

Não tem uma conta? Você pode facilmente criar uma conta gratuita.