top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Applications of sheaves : proceedings of the research symposium on applications of sheaf theory to logic, algebra, and analysis, Durham, July 9-21, 1977 / / edited by M. P. Fourman, C. J. Mulvey and D. S. Scott
Applications of sheaves : proceedings of the research symposium on applications of sheaf theory to logic, algebra, and analysis, Durham, July 9-21, 1977 / / edited by M. P. Fourman, C. J. Mulvey and D. S. Scott
Edizione [1st ed. 1979.]
Pubbl/distr/stampa Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1979]
Descrizione fisica 1 online resource (XIV, 779 p.)
Disciplina 510
Collana Lecture Notes in Mathematics
Soggetto topico Sheaf theory
ISBN 3-540-34849-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 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.
Record Nr. UNISA-996466645203316
Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1979]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 / / edited by G. H. Müller and D. S. Scott
Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 / / edited by G. H. Müller and D. S. Scott
Edizione [1st ed. 1978.]
Pubbl/distr/stampa Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1978]
Descrizione fisica 1 online resource (X, 110 p.)
Disciplina 510.8
Collana Lecture Notes in Mathematics
Soggetto topico Set theory
Mathematics
ISBN 3-540-35749-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Wellordered subclasses of proper classes -- A proof of foundation from axioms of cumulation -- Categoricity with respect to ordinals -- Classically and intuitionistically provably recursive functions -- Hierarchies of sets definably by means of infinitary languages -- Some results on degrees of constructibility -- Constructive universes I -- The evolution of large cardinal axioms in set theory -- Forcing in analysis -- Recursivity and compactness -- Fine structure theory of the constructible universe in ?- and ?-recursion theory -- On a class of models of the n-th order arithmetic -- O# and the p-point problem -- A combinatorial characterization of inaccessible cardinals -- Singular cardinals and analytic games -- Regressive functions and stationary sets -- Cardinals in the inner model HOD -- Partitions of the real line into X 1 closed sets -- Gödel numbers of product spaces -- A note on increasing sequences of constructibility degrees.
Record Nr. UNISA-996466771003316
Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1978]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui