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.
Set optimization and applications - the state of the art [[electronic resource] ] : from set relations to set-valued risk measures / / edited by Andreas H Hamel, Frank Heyde, Andreas Löhne, Birgit Rudloff, Carola Schrage
Set optimization and applications - the state of the art [[electronic resource] ] : from set relations to set-valued risk measures / / edited by Andreas H Hamel, Frank Heyde, Andreas Löhne, Birgit Rudloff, Carola Schrage
Edizione [1st ed. 2015.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015
Descrizione fisica 1 online resource (333 p.)
Disciplina 510
Collana Springer Proceedings in Mathematics & Statistics
Soggetto topico Calculus of variations
Economics, Mathematical 
Algebra
Ordered algebraic structures
Mathematical optimization
Calculus of Variations and Optimal Control; Optimization
Quantitative Finance
Order, Lattices, Ordered Algebraic Structures
Continuous Optimization
ISBN 3-662-48670-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910300251703321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Set Theory [[electronic resource] ] : With an Introduction to Real Point Sets / / by Abhijit Dasgupta
Set Theory [[electronic resource] ] : With an Introduction to Real Point Sets / / by Abhijit Dasgupta
Autore Dasgupta Abhijit
Edizione [1st ed. 2014.]
Pubbl/distr/stampa New York, NY : , : Springer New York : , : Imprint : Birkhäuser, , 2014
Descrizione fisica 1 online resource (XV, 444 p. 17 illus.) : online resource
Disciplina 511.322
Soggetto topico Mathematical logic
Mathematical analysis
Analysis (Mathematics)
Algebra
Topology
Discrete mathematics
Logic
Mathematical Logic and Foundations
Analysis
Discrete Mathematics
ISBN 1-4614-8854-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 1 Preliminaries: Sets, Relations, and Functions -- Part I Dedekind: Numbers -- 2 The Dedekind–Peano Axioms -- 3 Dedekind’s Theory of the Continuum -- 4 Postscript I: What Exactly Are the Natural Numbers? -- Part II Cantor: Cardinals, Order, and Ordinals -- 5 Cardinals: Finite, Countable, and Uncountable -- 6 Cardinal Arithmetic and the Cantor Set -- 7 Orders and Order Types -- 8 Dense and Complete Orders -- 9 Well-Orders and Ordinals -- 10 Alephs, Cofinality, and the Axiom of Choice -- 11 Posets, Zorn’s Lemma, Ranks, and Trees -- 12 Postscript II: Infinitary Combinatorics -- Part III Real Point Sets -- 13 Interval Trees and Generalized Cantor Sets -- 14 Real Sets and Functions -- 15 The Heine–Borel and Baire Category Theorems -- 16 Cantor–Bendixson Analysis of Countable Closed Sets -- 17 Brouwer’s Theorem and Sierpinski’s Theorem -- 18 Borel and Analytic Sets -- 19 Postscript III: Measurability and Projective Sets -- Part IV Paradoxes and Axioms -- 20 Paradoxes and Resolutions -- 21 Zermelo–Fraenkel System and von Neumann Ordinals -- 22 Postscript IV: Landmarks of Modern Set Theory -- Appendices -- A Proofs of Uncountability of the Reals -- B Existence of Lebesgue Measure -- C List of ZF Axioms -- References -- List of Symbols and Notations -- Index.
Record Nr. UNINA-9910299961103321
Dasgupta Abhijit  
New York, NY : , : Springer New York : , : Imprint : Birkhäuser, , 2014
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Set theory and its logic [[electronic resource] /] / Willard Van Orman Quine
Set theory and its logic [[electronic resource] /] / Willard Van Orman Quine
Autore Quine W. V (Willard Van Orman)
Edizione [Revised ed.]
Pubbl/distr/stampa Cambridge [Mass.], : Belknap Press
Descrizione fisica 1 online resource (361p.)
Disciplina 511.3
Soggetto topico Axiomatic set theory
Logic, Symbolic and mathematical
Mathematics
Physical Sciences & Mathematics
Algebra
Soggetto genere / forma Electronic books.
ISBN 0-674-04242-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto INTRODUCTION PART ONE. THE ELEMENTS I. LOGIC Quantification and identity Virtual classes Virtual relations II. REAL CLASSES Reality, extensionality, and the individual The virtual amid the real Identity and substitution III. CLASSES OF CLASSES Unit classes Unions, intersections, descriptions Relations as classes of pairs Functions IV. NATURAL NUMBERS Numbers unconstrued Numbers construed Induction V. ITERATION AND ARITHMETIC Sequences and iterates The ancestral Sum, product, power PART TWO. HIGHER FORMS OF NUMBER VI. REAL NUMBERS Program. Numerical pairs Ratios and reals construed Existential needs. Operations and extensions VII. ORDER AND ORDINALS Transfinite induction Order Ordinal numbers Laws of ordinals The order of the ordinals VIII. TRANSFINITE RECURSION Transfinite recursion Laws of transfinite recursion Enumeration IX. CARDINAL NUMBERS Comparative size of classes The SchrOder-Bernstein theorem Infinite cardinal numbers X. THE AXIOM OF CHOICE Selections and selectors Further equivalents of the axiom The place of the axiom PART THREE. AXIOM SYSTEMS XI. RUSSELL'S THEORY OF TYPES The constructive part Classes and the axiom of reducibility The modern theory of types XII. GENERAL VARIABLES AND ZERMELO The theory of types with general variables Cumulative types and Zermelo Axioms of infinity and others XIII. STRATIFICATION AND ULTIMATE CLASSES "New foundations" Non-Cantorian classes. Induction again Ultimate classes added XIV. VON NEUMANN'S SYSTEM AND OTHERS The von Neumann-Bernays system Departures and comparisons Strength of systems SYNOPSIS OF FIVE AXIOM SYSTEMS LIST OF NUMBERED FORMULAS BIBLIOGRAPHICAL REFERENCES INDEX
Record Nr. UNINA-9910455377503321
Quine W. V (Willard Van Orman)  
Cambridge [Mass.], : Belknap Press
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Set theory and its logic [[electronic resource] /] / Willard Van Orman Quine
Set theory and its logic [[electronic resource] /] / Willard Van Orman Quine
Autore Quine W. V (Willard Van Orman)
Edizione [Revised ed.]
Pubbl/distr/stampa Cambridge [Mass.], : Belknap Press
Descrizione fisica 1 online resource (361p.)
Disciplina 511.3
Soggetto topico Axiomatic set theory
Logic, Symbolic and mathematical
Mathematics
Physical Sciences & Mathematics
Algebra
Soggetto genere / forma Electronic books.
ISBN 0-674-04242-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto INTRODUCTION PART ONE. THE ELEMENTS I. LOGIC Quantification and identity Virtual classes Virtual relations II. REAL CLASSES Reality, extensionality, and the individual The virtual amid the real Identity and substitution III. CLASSES OF CLASSES Unit classes Unions, intersections, descriptions Relations as classes of pairs Functions IV. NATURAL NUMBERS Numbers unconstrued Numbers construed Induction V. ITERATION AND ARITHMETIC Sequences and iterates The ancestral Sum, product, power PART TWO. HIGHER FORMS OF NUMBER VI. REAL NUMBERS Program. Numerical pairs Ratios and reals construed Existential needs. Operations and extensions VII. ORDER AND ORDINALS Transfinite induction Order Ordinal numbers Laws of ordinals The order of the ordinals VIII. TRANSFINITE RECURSION Transfinite recursion Laws of transfinite recursion Enumeration IX. CARDINAL NUMBERS Comparative size of classes The SchrOder-Bernstein theorem Infinite cardinal numbers X. THE AXIOM OF CHOICE Selections and selectors Further equivalents of the axiom The place of the axiom PART THREE. AXIOM SYSTEMS XI. RUSSELL'S THEORY OF TYPES The constructive part Classes and the axiom of reducibility The modern theory of types XII. GENERAL VARIABLES AND ZERMELO The theory of types with general variables Cumulative types and Zermelo Axioms of infinity and others XIII. STRATIFICATION AND ULTIMATE CLASSES "New foundations" Non-Cantorian classes. Induction again Ultimate classes added XIV. VON NEUMANN'S SYSTEM AND OTHERS The von Neumann-Bernays system Departures and comparisons Strength of systems SYNOPSIS OF FIVE AXIOM SYSTEMS LIST OF NUMBERED FORMULAS BIBLIOGRAPHICAL REFERENCES INDEX
Record Nr. UNINA-9910778174103321
Quine W. V (Willard Van Orman)  
Cambridge [Mass.], : Belknap Press
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Set theory and its logic [[electronic resource] /] / Willard Van Orman Quine
Set theory and its logic [[electronic resource] /] / Willard Van Orman Quine
Autore Quine W. V (Willard Van Orman)
Edizione [Revised ed.]
Pubbl/distr/stampa Cambridge [Mass.], : Belknap Press
Descrizione fisica 1 online resource (361p.)
Disciplina 511.3
Soggetto topico Axiomatic set theory
Logic, Symbolic and mathematical
Mathematics
Physical Sciences & Mathematics
Algebra
Soggetto genere / forma Electronic books.
ISBN 0-674-04242-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto INTRODUCTION PART ONE. THE ELEMENTS I. LOGIC Quantification and identity Virtual classes Virtual relations II. REAL CLASSES Reality, extensionality, and the individual The virtual amid the real Identity and substitution III. CLASSES OF CLASSES Unit classes Unions, intersections, descriptions Relations as classes of pairs Functions IV. NATURAL NUMBERS Numbers unconstrued Numbers construed Induction V. ITERATION AND ARITHMETIC Sequences and iterates The ancestral Sum, product, power PART TWO. HIGHER FORMS OF NUMBER VI. REAL NUMBERS Program. Numerical pairs Ratios and reals construed Existential needs. Operations and extensions VII. ORDER AND ORDINALS Transfinite induction Order Ordinal numbers Laws of ordinals The order of the ordinals VIII. TRANSFINITE RECURSION Transfinite recursion Laws of transfinite recursion Enumeration IX. CARDINAL NUMBERS Comparative size of classes The SchrOder-Bernstein theorem Infinite cardinal numbers X. THE AXIOM OF CHOICE Selections and selectors Further equivalents of the axiom The place of the axiom PART THREE. AXIOM SYSTEMS XI. RUSSELL'S THEORY OF TYPES The constructive part Classes and the axiom of reducibility The modern theory of types XII. GENERAL VARIABLES AND ZERMELO The theory of types with general variables Cumulative types and Zermelo Axioms of infinity and others XIII. STRATIFICATION AND ULTIMATE CLASSES "New foundations" Non-Cantorian classes. Induction again Ultimate classes added XIV. VON NEUMANN'S SYSTEM AND OTHERS The von Neumann-Bernays system Departures and comparisons Strength of systems SYNOPSIS OF FIVE AXIOM SYSTEMS LIST OF NUMBERED FORMULAS BIBLIOGRAPHICAL REFERENCES INDEX
Record Nr. UNINA-9910812740203321
Quine W. V (Willard Van Orman)  
Cambridge [Mass.], : Belknap Press
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Sets, Models and Proofs [[electronic resource] /] / by Ieke Moerdijk, Jaap van Oosten
Sets, Models and Proofs [[electronic resource] /] / by Ieke Moerdijk, Jaap van Oosten
Autore Moerdijk Ieke
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XIV, 141 p. 39 illus.)
Disciplina 511.3
Collana Springer Undergraduate Mathematics Series
Soggetto topico Proof theory
Algebra
Structures and Proofs
ISBN 3-319-92414-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction -- 1 Sets -- 2 Models -- 3 Proofs -- 4 Sets Again -- Appendix: Topics for Further Study -- Photo Credits -- Bibliography -- Index.
Record Nr. UNINA-9910300124703321
Moerdijk Ieke  
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Several complex variables and Banach algebras / Herbert Alexander, John Wermer
Several complex variables and Banach algebras / Herbert Alexander, John Wermer
Autore Alexander, Herbert
Edizione [3. ed.]
Pubbl/distr/stampa New York [etc.] : Springer, c1998
Descrizione fisica XII, 253 p. ; 25 cm.
Disciplina 512.55
Altri autori (Persone) Wermer, John
Collana Graduate texts in mathematics
Soggetto topico Algebra
Funzioni di più variabili complesse
ISBN 0-387-98253-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000011725
Alexander, Herbert  
New York [etc.] : Springer, c1998
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Séminaire d'Algèbre Paul Dubreil : proceedings. Paris 1976-1977 (30ème Année) / / edited by Marie-Paule Malliavin
Séminaire d'Algèbre Paul Dubreil : proceedings. Paris 1976-1977 (30ème Année) / / edited by Marie-Paule Malliavin
Edizione [1st ed. 1978.]
Pubbl/distr/stampa Berlin : , : Springer-Verlag, , [1978]
Descrizione fisica 1 online resource (CCCLXXVI, 370 p.)
Disciplina 512.9
Collana Lecture notes in mathematics
Soggetto topico Algebra
ISBN 3-540-35913-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Decomposition of exterior and symmetric powers of indecomposable Z/pZ-modules in characteristic p and relations to invariants -- The use of representations in the invariant theory of not necessarily reductive groups -- Les Bases de Hodge dans la theorie des invariants -- Integral representations of finite groups -- Spectre du de Rham Hodge sur l'espace projectif complexe -- The global dimension of rings of differential operators -- Sous-modules pures et modules de type cofini -- Some recent developments in the theory of noetherian rings -- Conditions noetheriennes dans l'anneau de polynomes de Ore A[X,?,?] -- Proprietes de transfert des extensions d'Ore -- Cohomologie locale des algèbres enveloppantes d'Algèbres de Lie nilpotentes -- Recent developments in the classification theory of algebraic varieties -- Sur les invariants homologiques des anneaux locaux noetheriens: Un calcul de la cinquieme deflection ?5 -- Relations entre la série de Betti d'un anneau local de Gorenstein R et celle de l'anneau R/Socle R -- Intersections d'anneaux integres (II).
Record Nr. UNISA-996466535303316
Berlin : , : Springer-Verlag, , [1978]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Séminaire d'Algèbre Paul Dubreil et Marie-Paule Malliavin : proceedings Paris 1987-1988 (39ème Année) / / Marie-Paule Malliavin, editor
Séminaire d'Algèbre Paul Dubreil et Marie-Paule Malliavin : proceedings Paris 1987-1988 (39ème Année) / / Marie-Paule Malliavin, editor
Edizione [1st ed. 1989.]
Pubbl/distr/stampa Berlin ; ; Heidelberg : , : Springer-Verlag, , [1989]
Descrizione fisica 1 online resource (VI, 414 p.)
Disciplina 510
Collana Lecture Notes in Mathematics
Soggetto topico Mathematics
Algebra
ISBN 3-540-46814-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione fre
Nota di contenuto Algebres pre-inclinees et categories derivees -- Stable calculus of the mixed tensor character I -- Filtrations of right ideals related to projectivity of left ideals -- Hochschild cohomology of finite—dimensional algebras -- Simultaneous equivalence of square matrices -- The Auslander condition on noetherian rings -- Groupe des classes de diviseurs des algebres graduees normales -- Differential operators on smooth varieties -- The Auslander condition on graded and filtered noetherian rings -- K-theory of Noetherian rings -- Operateurs differentiels sur les surfaces munies d'une bonne ?*-action -- Strongly filtered rings applied to Gabber's integrability theorem and modules with regular singularities -- Primitive ideals of algebras over uncountable fields -- Formes reduites des automorphismes analytiques de ?n a variete lineaire fixe et repulsive.
Record Nr. UNISA-996466609903316
Berlin ; ; Heidelberg : , : Springer-Verlag, , [1989]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Séminaire d'algèbre Paul Dubreil et Marie-Paule Malliavin : proceedings, Paris 1985 (37ème année) / / edited by Marie-Paule Malliavin
Séminaire d'algèbre Paul Dubreil et Marie-Paule Malliavin : proceedings, Paris 1985 (37ème année) / / edited by Marie-Paule Malliavin
Edizione [1st ed. 1986.]
Pubbl/distr/stampa Berlin, Germany : , : Springer, , [1986]
Descrizione fisica 1 online resource (VI, 206 p.)
Disciplina 512
Collana Lecture Notes in Mathematics
Soggetto topico Algebra
ISBN 3-540-47255-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Dynkin algebras -- Dimension formulas related to a tame quiver -- Cohen-macaulay modules over isolated singularities -- Spin-like modules for certain infinite-dimensional lie algebras -- La resultante de deux polynomes -- On the construction of resolutions of determinantal ideals: A survey -- L'elimination lineaire das les corps gauches -- Commutants des modules de type dini sur les algebres noetheriennes -- Deux applications du principe d'additivite -- Cohomology of IP (2) m -- Differential operators on the affine and projective lines in characteristic p>0 -- Noncommutative localized rings.
Record Nr. UNISA-996466385203316
Berlin, Germany : , : Springer, , [1986]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui

Data di pubblicazione

Altro...