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.
Radically Elementary Probability Theory. (AM-117), Volume 117 / / Edward Nelson
| Radically Elementary Probability Theory. (AM-117), Volume 117 / / Edward Nelson |
| Autore | Nelson Edward |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (109 pages) : illustrations |
| Disciplina | 519.2 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Martingales (Mathematics)
Stochastic processes Probabilities |
| Soggetto non controllato |
Abraham Robinson
Absolute value Addition Algebra of random variables Almost surely Axiom Axiomatic system Borel set Bounded function Cantor's diagonal argument Cardinality Cartesian product Central limit theorem Chebyshev's inequality Compact space Contradiction Convergence of random variables Corollary Correlation coefficient Counterexample Dimension (vector space) Dimension Division by zero Elementary function Estimation Existential quantification Family of sets Finite set Hyperplane Idealization Independence (probability theory) Indicator function Infinitesimal Internal set theory Joint probability distribution Law of large numbers Linear function Martingale (probability theory) Mathematical induction Mathematician Mathematics Measure (mathematics) N0 Natural number Non-standard analysis Norm (mathematics) Orthogonal complement Parameter Path space Predictable process Probability distribution Probability measure Probability space Probability theory Probability Product topology Projection (linear algebra) Quadratic variation Random variable Real number Requirement Scientific notation Sequence Set (mathematics) Significant figures Special case Standard deviation Statistical mechanics Stochastic process Subalgebra Subset Summation Theorem Theory Total variation Transfer principle Transfinite number Trigonometric functions Upper and lower bounds Variable (mathematics) Variance Vector space W0 Wiener process Without loss of generality |
| ISBN | 1-4008-8214-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Table of contents -- Preface -- Acknowledgments -- 1. Random variables -- 2. Algebras of random variables -- 3. Stochastic processes -- 4. External concepts -- 5. Infinitesimals -- 6. External analogues of internal notions -- 7. Properties that hold almost everywhere -- 8. L1 random variables 30 -- 9. The decomposition of a stochastic process -- 10. The total variation of a process -- 11. Convergence of martingales -- 12. Fluctuations of martingales -- 13. Discontinuities of martingales -- 14. The Lindeberg condition -- 15. The maximum of a martingale -- 16. The law of large numbers -- 17. Nearly equivalent stochastic processes -- 18. The de Moivre-Laplace-Lindeberg-Feller-Wiener- Lévy-Doob-Erdös-Kac-Donsker-Prokhorov theorem -- Appendix -- Index |
| Record Nr. | UNINA-9910154754503321 |
Nelson Edward
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theory of Formal Systems. (AM-47), Volume 47 / / Raymond M. Smullyan
| Theory of Formal Systems. (AM-47), Volume 47 / / Raymond M. Smullyan |
| Autore | Smullyan Raymond M. |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (157 pages) : illustrations |
| Disciplina | 511.33 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Recursive functions
Metamathematics |
| Soggetto non controllato |
Addition
Algebraic geometry Alonzo Church Arithmetic function Arithmetic Atomic sentence Axiom A. Axiom schema Axiom Axiomatic system Binary relation Cantor's diagonal argument Cartesian product Characterization (mathematics) Chinese remainder theorem Closed-form expression Closure (mathematics) Combination Combinatory logic Complement (set theory) Concatenation theory Consistency Constructive proof Corollary Countable set Counterexample Decidability (logic) Decision problem Definable set Diagonalization Direct proof Disjoint sets Enumeration Equation Existential quantification Exponential function Finite set Formal system Functional calculus Gödel numbering Gödel's incompleteness theorems Herbrand's theorem Inference Integer factorization Iteration John Myhill Logical connective Logical consequence Mathematical induction Mathematical logic Mathematician Mathematics Metamathematics Modus ponens Natural number Negation Number theory Order theory Parity (mathematics) Peano axioms Predicate (mathematical logic) Prenex normal form Primitive recursive function Quantifier (logic) Recursion Recursive set Recursively enumerable set Remainder Requirement Rule of inference Scientific notation Sequence Set (mathematics) Sign (mathematics) Special case Subset Suggestion System U. Theorem Theory Transfinite number Turing machine Universal set Validity Variable (mathematics) Zermelo set theory |
| ISBN | 1-4008-8200-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- TABLE OF CONTENTS -- PREFACE -- ANNALS OF MATHEMATICS STUDIES -- CHAPTER I: FORMAL MATHEMATICAL SYSTEMS -- CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY -- CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY -- CHAPTER IV: RECURSIVE FUNCTION THEORY -- CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY -- SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC -- REFERENCE AND BRIEF BIBLIOGRAPHY |
| Record Nr. | UNINA-9910154750903321 |
|
Smullyan Raymond M.
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||