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.
Consistency of the Continuum Hypothesis. (AM-3), Volume 3 / / Kurt Gödel
| Consistency of the Continuum Hypothesis. (AM-3), Volume 3 / / Kurt Gödel |
| Autore | Gödel Kurt |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (81 pages) |
| Disciplina | 510.1 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Mathematics - Philosophy
Logic, Symbolic and mathematical |
| Soggetto non controllato |
Absoluteness
Addition Axiom of choice Axiom of extensionality Axiom of infinity Axiom Axiomatic system Boolean algebra (structure) Constructible set (topology) Continuum hypothesis Existence theorem Existential quantification Integer Mathematical induction Mathematical logic Mathematics Metatheorem Order by Ordinal number Propositional function Quantifier (logic) Reductio ad absurdum Requirement Set theory Theorem Transfinite induction Transfinite Variable (mathematics) Well-order |
| ISBN | 1-4008-8163-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- CONTENTS -- INTRODUCTION -- CHAPTER I. THE AXIOMS OF ABSTRACT SET THEORY -- CHAPTER II. EXISTENCE OF CLASSES AND SETS -- CHAPTER III. ORDINAL NUMBERS -- CHAPTER IV. CARDINAL NUMBERS -- CHAPTER V. THE MODEL Δ -- CHAPTER VI. PROOF OF THE AXIOMS OF GROUPS A-D FOR THE MODEL Δ -- CHAPTER VII. PROOF THAT V = L HOLDS IN THE MODEL Δ -- CHAPTER VIII. PROOF THAT V = L IMPLIES THE AXIOM OF CHOICE AND THE GENERALISED CONTINTUUM-HYPOTHESIS -- APPENDIX -- INDEX -- Notes Added to the Second Printing -- BIBLIOGRAPHY |
| Record Nr. | UNINA-9910154754203321 |
Gödel Kurt
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Contributions to the Theory of Games (AM-39), Volume III / / Philip Wolfe, Albert William Tucker, Melvin Dresher
| Contributions to the Theory of Games (AM-39), Volume III / / Philip Wolfe, Albert William Tucker, Melvin Dresher |
| Autore | Dresher Melvin |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (452 pages) : illustrations |
| Disciplina | 519.3 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico | Game theory |
| Soggetto non controllato |
Almost surely
American Mathematical Society Axiom of choice Bayes estimator Big O notation Binomial coefficient Binomial theorem Boundary value problem C0 Calculation Cartesian product Characteristic function (probability theory) Coefficient Complete metric space Composition series Continuous function (set theory) Continuous game Counterexample Decision problem Decision theory Determinacy Diagram (category theory) Differential equation Differential game Distribution function Elementary matrix Equation Existence theorem Expected utility hypothesis Extended real number line Family of sets Finitary Function (mathematics) Functional equation Fundamenta Mathematicae Fundamental theorem Inequality (mathematics) Infimum and supremum Integral equation Interval (mathematics) Joint probability distribution Kakutani fixed-point theorem Kakutani's theorem Laplace's equation Lipschitz continuity Loss function Markov chain Martingale (probability theory) Mathematical analysis Mathematical induction Mathematical optimization Mathematics Maxima and minima Measure (mathematics) Metric space Monotonic function N-vector Ordinal number Outcome (probability) Parametric statistics Parity (mathematics) Partial differential equation Polynomial Preference (economics) Probability distribution Probability measure Probability theory Probability Product topology Proportionality (mathematics) Randomization Rate of convergence Real projective plane Recurrence relation Recursive set Recursively enumerable set Reductio ad absurdum Restriction (mathematics) Scientific notation Series (mathematics) Set (mathematics) Sigma-algebra Sign (mathematics) Solution set Special case Stochastic game Stochastic process Stochastic Strategy (game theory) Subharmonic function Summation Theorem Topological game Topological space Topology Transfinite induction Turing machine Utility Variable (mathematics) Zorn's lemma |
| ISBN | 1-4008-8215-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- PREFACE -- CONTENTS -- INTRODUCTION -- PART I. MOVE AS PLAYS OF OTHER GAMES -- 1. ON GAMES OP SURVIVAL / Milnor, J. / Shapley, L .S. -- 2. RECURSIVE GAMES / Everett, H. -- 3. FINITARY GAMES / Isbell, J. R. -- 4. APPROXIMATION TO RAYES RISK IN REPEATED PLAY / Hannan, James -- 5. INFORMATION IN GAMES WITH FINITE RESOURCES / Gale, David -- PART II. GAMES WITH PERFECT INFORMATION -- 6. EFFECTIVE COMPUTABILITY OF WINNING STRATEGIES / Rabin, Michael O. -- 7. THE BANACH-MAZUR GAME AND BANACH CATEGORY THEOREM / Oxtoby, John C. -- 8. TOPOLOGICAL GAMES WITH PERFECT INFORMATION / Berge, Claude -- 9. STOCHASTIC GAMES WITH ZERO STOP PROBABILITIES / Gillette, Dean -- 10. CARTESIAN PRODUCTS OF TERMINATION GAMES / Holladay, John C. -- 11. A STUDY OP SIMPLE GAMES THROUGH EXPERIMENTS ON COMPUTING MACHINES / Walden, w. -- PART III. GAMES WITH PARTIAL INFORMATION -- 12. GAMES WITH PARTIAL INFORMATION / Scarf, H. E. / Shapley, L. S. -- 13. A DISCRETE EVASION GAME / Dabins, L. E. -- 14. AN INFINITE MOVE GAME WITH A LAG / Karlin, Samuel -- 15. THE EFFECT OF PSYCHOLOGICAL ATTITUDES ON THE OUTCOMES OF GAMES / Kemeny, John G. / Thompson, Gerald L. -- PART IV. GAMES WITH CONTINUUM OF STRATEGIES -- 16. ON A GAME WITHOUT A VALUE / Sion, Maurice / Wolfe, Philip -- 17. A RATIONAL GAME ON THE SQUARE / Gross, O. -- 18. TACTICAL PROBLEMS INVOLVING SEVERAL ACTIONS / Restrepo, Rodrigo -- 19. MULTISTAGE POKER MODELS / Karlin, Samuel / Restrepo, Rodrigo -- 20. ON GAMES DESCRIBED BY BELL SHAPED KERNELS / Karlin, Samuel -- PART V. GAMES WITH A CONTINUUM OF MOVES -- 21. ON DIFFERENTIAL GAMES WITH SURVIVAL PAYOFF / Scarf, H. E. -- 22. A NOTE ON DIFFERENTIAL GAMES OF PRESCRIBED DURATION / Fleming, W. H. -- 23. ON DIFFERENTIAL GAMES WITH INTEGRAL PAYOFF / Berkovitz, L. D. / Fleming, W. H. -- Backmatter |
| Record Nr. | UNINA-9910154750403321 |
|
Dresher Melvin
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Convergence and Uniformity in Topology. (AM-2), Volume 2 / / John W. Tukey
| Convergence and Uniformity in Topology. (AM-2), Volume 2 / / John W. Tukey |
| Autore | Tukey John W. |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (108 pages) |
| Disciplina |
510.82
513.83 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico | Topology |
| Soggetto non controllato |
Absolute value
Abstract algebra Algebraic topology Axiom of choice Binary relation Cardinal number Characteristic function (probability theory) Closed set Closure operator Combinatorial topology Compact space Complete lattice Complete metric space Continuous function (set theory) Continuous function Countable set Counterexample Dimension theory (algebra) Dimension theory Discrete space Domain of a function Empty set Enumeration Equivalence class Equivalence relation Existential quantification Family of sets Finite set General topology Geometry Hahn–Banach theorem Hausdorff space Homeomorphism Infimum and supremum Integer Interval (mathematics) Lebesgue constant (interpolation) Limit point Linear space (geometry) Mathematician Mathematics Maximal element Metric space Monotonic function Mutual exclusivity Natural number Negation Normal space Open set Ordinal number Real number Regular space Requirement Scientific notation Separation axiom Set (mathematics) Set theory Special case Subsequence Subset Suggestion Summation Superspace Theorem Theory Topological algebra Topology Total order Transfinite induction Transfinite number Transfinite Transitive relation Tychonoff space Ultrafilter Uncountable set Uniform continuity Union (set theory) Upper and lower bounds Zorn's lemma |
| ISBN | 1-4008-8219-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Introduction -- Contents -- General Usage of The Alphabets -- Special Usage of The Alphabets -- Usage of General Symbols -- Chapter I. Ordering -- Chapter II. Direction -- Chapter III. Convergence -- Chapter IV. Compactness -- Chapter V. Normality -- Chapter VI. Structs -- Chapter VII. Function - Spaces -- Chapter VIII. Examples -- Chapter IX. Discussion -- Bibliography -- Index |
| Record Nr. | UNINA-9910154748703321 |
|
Tukey John W.
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Degrees of Unsolvability. (AM-55), Volume 55 / / Gerald E. Sacks
| Degrees of Unsolvability. (AM-55), Volume 55 / / Gerald E. Sacks |
| Autore | Sacks Gerald E. |
| Edizione | [Second edition.] |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (189 pages) |
| Disciplina | 517.5 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Recursive functions
Unsolvability (Mathematical logic) |
| Soggetto non controllato |
Addition
Aleph number Algebraic topology Approximation Arithmetic function Arithmetical set Axiom of choice Baire category theorem Cardinality of the continuum Cardinality Cartesian product Category theory Commutative property Conjecture Continuum hypothesis Contradiction Corollary Countable set Disjoint union Effective method Empty set Enumeration Equation Existence theorem Existential quantification Finite set Fixed-point theorem Fourier analysis Fubini's theorem Gödel numbering Identity function Inequality (mathematics) Infimum and supremum Integer Lebesgue measure Limit of a sequence Limit point Mathematical induction Mathematics Mean of a function Measure (mathematics) Metric space Monotonic function Mostowski Mutual exclusivity Natural number Null set Open set Partial function Partially ordered set Predicate (mathematical logic) Product measure Product topology Real number Recursion Recursive set Recursively enumerable set Reductio ad absurdum Regular space Requirement Scientific notation Sequence Set (mathematics) Simultaneous equations Subset Theorem Topology Transfinite induction Tychonoff's theorem Uncountable set Union (set theory) Upper and lower bounds Variable (mathematics) W0 Well-order Without loss of generality Zorn's lemma |
| ISBN | 1-4008-8184-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface to revised edition -- Contents -- §1. Preliminaries -- §2 . A Continuum of Mutually Incomparable Degrees -- §3. Uncountable Suborderings of Degrees -- §4. The Priority Method Of Friedberg and Muchnik -- §5. An Existence Theorem For Recursively Enumerable Degrees -- §6 . The Jump Operator -- §7. An Interpolation Theorem for Recursively Enumerable Degrees -- §8. Minimal Upper Bounds for Sequences of Degrees -- §9. Minimal Degrees -- §10. Measure-Theoretic, Category and Descriptive Set-Theoretic Arguments -- §11. Initial Segments of Degrees -- §12. Further Results and Conjectures -- Bibliography |
| Record Nr. | UNINA-9910154752603321 |
|
Sacks Gerald E.
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Functional Operators (AM-22), Volume 2 : The Geometry of Orthogonal Spaces. (AM-22) / / John von Neumann
| Functional Operators (AM-22), Volume 2 : The Geometry of Orthogonal Spaces. (AM-22) / / John von Neumann |
| Autore | von Neumann John |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (116 pages) |
| Disciplina | 517.5 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Functional analysis
Geometry |
| Soggetto non controllato |
Affine space
Axiom C0 Combination Commutative property Complex number Corollary Countable set Dimension (vector space) Dimension Direct product Discrete measure Empty set Euclidean space Existential quantification Finite set Hilbert space Infimum and supremum Linear map Linearity Mutual exclusivity Natural number Ordinal number Separable space Sequence Set (mathematics) Special case Subset Summation Theorem Theory Transfinite induction Transfinite Unbounded operator Variable (mathematics) Well-order Well-ordering theorem |
| ISBN | 1-4008-8225-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- TABLE OF CONTENTS -- CHAPTER XII. LINEAR SPACES -- CHAPTER XIII. LINEAR OPERATORS -- CHAPTER XIV. COMMUTATIVITY, REDUCTIBILITY |
| Record Nr. | UNINA-9910154748003321 |
|
von Neumann John
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Inequalities in mechanics and physics / G. Duvaut, J. L. Lions ; translated from the French by C. W. John
| Inequalities in mechanics and physics / G. Duvaut, J. L. Lions ; translated from the French by C. W. John |
| Autore | Duvaut, Georges |
| Pubbl/distr/stampa | Berlin, : Springer, 1976 |
| Descrizione fisica | XVI, 397 p. ; 25 cm |
| Altri autori (Persone) | Lions, Jacques L. |
| Soggetto topico |
35-XX - Partial differential equations [MSC 2020]
35Kxx - Parabolic equations and parabolic systems [MSC 2020] 74Axx - Generalities, axiomatics, foundations of continuum mechanics of solids [MSC 2020] 35B45 - A priori estimates in context of PDEs [MSC 2020] 35Jxx - Elliptic equations and elliptic systems [MSC 2020] 35A15 - Variational methods applied to PDEs [MSC 2020] 35Lxx - Hyperbolic equations and hyperbolic systems [MSC 2020] 49Sxx - Variational principles of physics [MSC 2020] 76Axx - Foundations, constitutive equations, rheology, hydrodynamical models of non-fluid phenomena [MSC 2020] 91B16 - Utility theory [MSC 2020] 35Gxx - General first-order partial differential equations and systems of first-order partial differential equations [MSC 2020] |
| Soggetto non controllato |
Continuum Mechanics
Duality Elasticity Equations Functions Mathematical physics Mechanics Olasticity Proofs Theorem Transfinite induction |
| ISBN | 978-35-400-7327-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0055787 |
|
Duvaut, Georges
|
||
| Berlin, : Springer, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Inequalities in mechanics and physics / G. Duvaut, J. L. Lions ; translated from the French by C. W. John
| Inequalities in mechanics and physics / G. Duvaut, J. L. Lions ; translated from the French by C. W. John |
| Autore | Duvaut, Georges |
| Pubbl/distr/stampa | Berlin, : Springer, 1976 |
| Descrizione fisica | xvi, 397 p. ; 24 cm |
| Altri autori (Persone) | Lions, Jacques L. |
| Soggetto topico |
35-XX - Partial differential equations [MSC 2020]
35Kxx - Parabolic equations and parabolic systems [MSC 2020] 74Axx - Generalities, axiomatics, foundations of continuum mechanics of solids [MSC 2020] 35B45 - A priori estimates in context of PDEs [MSC 2020] 35Jxx - Elliptic equations and elliptic systems [MSC 2020] 35A15 - Variational methods applied to PDEs [MSC 2020] 35Lxx - Hyperbolic equations and hyperbolic systems [MSC 2020] 49Sxx - Variational principles of physics [MSC 2020] 76Axx - Foundations, constitutive equations, rheology, hydrodynamical models of non-fluid phenomena [MSC 2020] 91B16 - Utility theory [MSC 2020] 35Gxx - General first-order partial differential equations and systems of first-order partial differential equations [MSC 2020] |
| Soggetto non controllato |
Continuum Mechanics
Duality Elasticity Equations Functions Mathematical physics Mechanics Olasticity Proofs Theorem Transfinite induction |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0256894 |
|
Duvaut, Georges
|
||
| Berlin, : Springer, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logic Symposia, Hakone1979, 1980 : Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / edited by G.H. Müller, G. Takeuti, T. Tugue
| Logic Symposia, Hakone1979, 1980 : Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / edited by G.H. Müller, G. Takeuti, T. Tugue |
| Pubbl/distr/stampa | Berlin, : Springer, 1981 |
| Descrizione fisica | xiv, 398 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] |
| Soggetto non controllato |
Arithmetic
Finite Logic Mathematical logic Proofs Set Theory Transfinite induction |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0261824 |
| Berlin, : Springer, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logic, mathematics, and computer science : modern foundations with practical applications / Yves Nievergelt
| Logic, mathematics, and computer science : modern foundations with practical applications / Yves Nievergelt |
| Autore | Nievergelt, Yves |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | New York, : Springer, 2015 |
| Descrizione fisica | XII, 391 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 91-XX - Game theory, economics, finance, and other social and behavioral sciences [MSC 2020] |
| Soggetto non controllato |
Applications sets and functions
First-order logic Foundations mathematics Gale and Shapely algorithm Inference rules Math transition course textbook Mathematical induction Nash equilibrium Prisoner's dilemma Propositional logic Set Theory Transfinite induction |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0113185 |
|
Nievergelt, Yves
|
||
| New York, : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Proof Theory and Intuitionistic Systems / Bruno Scarpellini
| Proof Theory and Intuitionistic Systems / Bruno Scarpellini |
| Autore | Scarpellini, Bruno |
| Pubbl/distr/stampa | Berlin, : Springer, 1971 |
| Descrizione fisica | vii, 290 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Fxx - Proof theory and constructive mathematics [MSC 2020] 03F55 - Intuitionistic mathematics [MSC 2020] 03B55 - Intermediate logics [MSC 2020] |
| Soggetto non controllato |
Calculus
Finite Functions Proof Theory Proofs Transfinite induction Well-ordering principles |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0255365 |
|
Scarpellini, Bruno
|
||
| Berlin, : Springer, 1971 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
