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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|