omitir hasta el contenido
Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977 Ver este material de antemano
CerrarVer este material de antemano
Chequeando…

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.
Editorial: Berlin ; New York : Springer-Verlag, 1979.
Serie: Lecture notes in mathematics (Springer-Verlag), 753.
Edición/Formato:   Print book : Publicación de conferencia : Inglés (eng)Ver todas las ediciones y todos los formatos
Base de datos:WorldCat
Calificación:

(todavía no calificado) 0 con reseñas - Ser el primero.

Temas
Más materiales como éste

 

Encontrar un ejemplar en línea

Enlaces a este material

Encontrar un ejemplar en la biblioteca

&AllPage.SpinnerRetrieving; Encontrando bibliotecas que tienen este material…

Detalles

Género/Forma: Conference papers and proceedings
Kongreß
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: Publicación de conferencia, Recurso en Internet
Tipo de documento: Libro/Texto, Recurso en Internet
Todos autores / colaboradores: 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."
Descripción: xiv, 779 pages : illustrations ; 25 cm.
Contenido: 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 de la serie: Lecture notes in mathematics (Springer-Verlag), 753.
Responsabilidad: edited by M.P. Fourman, C.J. Mulvey, and D.S. Scott.
Más información:

Reseñas

Reseñas contribuidas por usuarios
Recuperando reseñas de GoodReads…
Recuperando reseñas de DOGObooks…

Etiquetas

Ser el primero.
Confirmar este pedido

Ya ha pedido este material. Escoja OK si desea procesar el pedido de todos modos.

Datos enlazados


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 "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#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 "2016-02-09" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Cerrar ventana

Inicie una sesión con WorldCat 

¿No tienes una cuenta? Puede fácilmente crear una cuenta gratuita.