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.
An Invitation to Abstract Mathematics / Béla Bajnok
| An Invitation to Abstract Mathematics / Béla Bajnok |
| Autore | Bajnok, Béla |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xvi, 442 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00A05 - Mathematics in general [MSC 2020] 00A35 - Methodology of mathematics [MSC 2020] 91A46 - Combinatorial games [MSC 2020] 00-XX - General and overarching topics; collections [MSC 2020] |
| Soggetto non controllato |
Abstract mathematics
Abstract mathematics game Abstract mathematics problems Axiom of choice Fundamental theorem of arithmetic Fundamental theorem of equivalence relations Generalized continuum hypothesis Hackenbush game Higher mathematics transition Hungarian approach mathematics Math statement proof Mathematical induction Nim game Parallel postulate Primitives mathematics Transition to higher mathematics |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0248694 |
Bajnok, Béla
|
||
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
An Invitation to Abstract Mathematics / Béla Bajnok
| An Invitation to Abstract Mathematics / Béla Bajnok |
| Autore | Bajnok, Béla |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xvi, 442 p. : ill. ; 24 cm |
| Soggetto topico |
00-XX - General and overarching topics; collections [MSC 2020]
00A05 - Mathematics in general [MSC 2020] 00A35 - Methodology of mathematics [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 91A46 - Combinatorial games [MSC 2020] |
| Soggetto non controllato |
Abstract mathematics
Abstract mathematics game Abstract mathematics problems Axiom of choice Fundamental theorem of arithmetic Fundamental theorem of equivalence relations Generalized continuum hypothesis Hackenbush game Higher mathematics transition Hungarian approach mathematics Math statement proof Mathematical induction Nim game Parallel postulate Primitives mathematics Transition to higher mathematics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00248694 |
|
Bajnok, Béla
|
||
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Axiom of choice / Horst Herrlich
| Axiom of choice / Horst Herrlich |
| Autore | Herrlich, Horst |
| Pubbl/distr/stampa | Berlin, : Springer, 2006 |
| Descrizione fisica | XIV, 194 p. ; 24 cm |
| Soggetto topico |
03E60 - Determinacy principles [MSC 2020]
03E25 - Axiom of choice and related propositions [MSC 2020] 08B30 - Injectives, projectives [MSC 2020] 26A03 - Foundations: limits and generalizations, elementary topology of the line [MSC 2020] 28A20 - Measurable and nonmeasurable functions, sequences of measurable functions, modes of convergence [MSC 2020] 46A22 - Theorems of Hahn-Banach type; extension and lifting of functionals and operators [MSC 2020] 54C35 - Function spaces in general topology [MSC 2020] 91A35 - Decision theory for games [MSC 2020] 54B30 - Categorical methods in general topology [MSC 2020] 54D20 - Noncompact covering properties (paracompact, Lindelöf, etc.) [MSC 2020] 54B10 - Product spaces in general topology [MSC 2020] 54D30 - Compactness [MSC 2020] 06B10 - Lattice ideals, congruence relations [MSC 2020] 18A40 - Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) [MSC 2020] 05C15 - Coloring of graphs and hypergraphs [MSC 2020] 03E65 - Other set-theoretic hypotheses and axioms [MSC 2020] |
| Soggetto non controllato |
Arithmetic
Axiom of choice Calculus Coloring of graphs Combinatorics Compactness Game Theory Non-determinate games Sets Ultrafilters |
| ISBN | 978-35-403-0989-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0057294 |
|
Herrlich, Horst
|
||
| Berlin, : Springer, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Axiom of choice / Horst Herrlich
| Axiom of choice / Horst Herrlich |
| Autore | Herrlich, Horst |
| Pubbl/distr/stampa | Berlin, : Springer, 2006 |
| Descrizione fisica | XIV, 194 p. ; 24 cm |
| Soggetto topico |
03E25 - Axiom of choice and related propositions [MSC 2020]
03E60 - Determinacy principles [MSC 2020] 03E65 - Other set-theoretic hypotheses and axioms [MSC 2020] 05C15 - Coloring of graphs and hypergraphs [MSC 2020] 06B10 - Lattice ideals, congruence relations [MSC 2020] 08B30 - Injectives, projectives [MSC 2020] 18A40 - Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) [MSC 2020] 26A03 - Foundations: limits and generalizations, elementary topology of the line [MSC 2020] 28A20 - Measurable and nonmeasurable functions, sequences of measurable functions, modes of convergence [MSC 2020] 46A22 - Theorems of Hahn-Banach type; extension and lifting of functionals and operators [MSC 2020] 54B10 - Product spaces in general topology [MSC 2020] 54B30 - Categorical methods in general topology [MSC 2020] 54C35 - Function spaces in general topology [MSC 2020] 54D20 - Noncompact covering properties (paracompact, Lindelöf, etc.) [MSC 2020] 54D30 - Compactness [MSC 2020] 91A35 - Decision theory for games [MSC 2020] |
| Soggetto non controllato |
Arithmetic
Axiom of choice Calculus Coloring of graphs Combinatorics Compactness Game Theory Non-determinate games Sets Ultrafilters |
| ISBN | 978-35-403-0989-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00057294 |
|
Herrlich, Horst
|
||
| Berlin, : Springer, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Categorical Topology : Proceedings of the International Conference, Berlin, August 27. to September 2. 1978 / edited by H. Herrlich, G. Preuß
| Categorical Topology : Proceedings of the International Conference, Berlin, August 27. to September 2. 1978 / edited by H. Herrlich, G. Preuß |
| Pubbl/distr/stampa | Berlin, : Springer, 1979 |
| Descrizione fisica | xii, 420 p. ; 24 cm |
| Soggetto topico |
18-XX - Category theory; homological algebra [MSC 2020]
54-XX - General topology [MSC 2020] 00Bxx - Conference proceedings and collections of articles [MSC 2020] 54B30 - Categorical methods in general topology [MSC 2020] |
| Soggetto non controllato |
Algebra
Axiom of choice Category Theory Compact spaces Function spaces Functions Invariants Topology |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0261104 |
| Berlin, : Springer, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Categorical Topology : Proceedings of the International Conference, Berlin, August 27. to September 2. 1978 / edited by H. Herrlich, G. Preuß
| Categorical Topology : Proceedings of the International Conference, Berlin, August 27. to September 2. 1978 / edited by H. Herrlich, G. Preuß |
| Pubbl/distr/stampa | Berlin, : Springer, 1979 |
| Descrizione fisica | xii, 420 p. ; 24 cm |
| Soggetto topico |
00Bxx - Conference proceedings and collections of articles [MSC 2020]
18-XX - Category theory; homological algebra [MSC 2020] 54-XX - General topology [MSC 2020] 54B30 - Categorical methods in general topology [MSC 2020] |
| Soggetto non controllato |
Algebra
Axiom of choice Category Theory Compact spaces Function spaces Functions Invariants Topology |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00261104 |
| Berlin, : Springer, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Combinatorial Set Theory : With a Gentle Introduction to Forcing / Lorenz J. Halbeisen
| Combinatorial Set Theory : With a Gentle Introduction to Forcing / Lorenz J. Halbeisen |
| Autore | Halbeisen, Lorenz J. |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Cham, : Springer, 2017 |
| Descrizione fisica | xvi, 594 p. : ill. ; 24 cm |
| Soggetto topico |
03Exx - Set theory [MSC 2020]
05D10 - Ramsey theory [MSC 2020] |
| Soggetto non controllato |
Axiom of choice
Banach-Tarski paradox Cardinal characteristics Combinatorics of forcing Forcing constructions Forcing technique Infinite combinatorics Martin's axiom Permutation models Ramsey theory Ramsey ultrafilters Set Theory Suslin's problem |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0124288 |
|
Halbeisen, Lorenz J.
|
||
| Cham, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Combinatorial Set Theory : With a Gentle Introduction to Forcing / Lorenz J. Halbeisen
| Combinatorial Set Theory : With a Gentle Introduction to Forcing / Lorenz J. Halbeisen |
| Autore | Halbeisen, Lorenz J. |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Cham, : Springer, 2017 |
| Descrizione fisica | xvi, 594 p. : ill. ; 24 cm |
| Soggetto topico |
03Exx - Set theory [MSC 2020]
05D10 - Ramsey theory [MSC 2020] |
| Soggetto non controllato |
Axiom of choice
Banach-Tarski paradox Cardinal characteristics Combinatorics of forcing Forcing constructions Forcing technique Infinite combinatorics Martin's axiom Permutation models Ramsey theory Ramsey ultrafilters Set Theory Suslin's problem |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00124288 |
|
Halbeisen, Lorenz J.
|
||
| Cham, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
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 | ||
| ||
