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] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Meromorphic Functions and Analytic Curves. (AM-12) / / Hermann Weyl |
Autore | Weyl Hermann |
Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
Descrizione fisica | 1 online resource (285 pages) : illustrations |
Disciplina | 517.5 |
Collana | Annals of Mathematics Studies |
Soggetto topico | Functions |
Soggetto non controllato |
Algebraic curve
Algebraic equation Algebraic function Algebraic surface Analytic continuation Analytic function Arc (geometry) Argument principle Basis (linear algebra) Bernhard Riemann Betti number Big O notation Boundary value problem C-function C0 Characteristic function (probability theory) Circumference Coefficient Combination Compact Riemann surface Compact space Complex analysis Complex number Computation Concentric Conformal map Continuous function Coordinate system Degeneracy (mathematics) Derivative Diameter Differential form Dimension Disk (mathematics) Dual curve Entire function Equation Equidistant Euler characteristic Existential quantification Exponential function Exterior (topology) Floor and ceiling functions Fundamental theorem Gauge factor General position Geometry Harmonic function Heine–Borel theorem Hermann Weyl Homogeneous coordinates Improper integral Integer Interior (topology) Inverse function Limit superior and limit inferior Line integral Linear differential equation Linear map Local parameter Logarithm Logarithmic derivative Mathematics Maximum principle Meromorphic function Modular form Modular group Moduli (physics) Monodromy theorem Multiple integral Natural number Notation Order by Parallelepiped Parameter Polyad Polynomial Power series Prime number Probability Projection (mathematics) Quantity Rational function Real variable Rectangle Residue theorem Riemann integral Riemann surface Rotational symmetry Second derivative Simply connected space Subset Summation Theorem Theory Topological space Total order Unit circle Unit vector Variable (mathematics) |
ISBN | 1-4008-8228-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Frontmatter -- PREFACE -- CONTENTS -- INTRODUCTION. EARLY HISTORY AND BIBLIOGRAPHY -- CHAPTER I. GEOMETRIC AND FUNCTION-THEORETIC FOUNDATIONS -- CHAPTER II. FIRST MAIN THEOREM FOR MEROMORPHIC CURVES -- CHAPTER III. THE SECOND MAIN THEOREM FOR MEROMORPHIC CURVES -- CHAPTER IV. FIRST AND SECOND MAIN THEOREMS FOR ANALYTIC CURVES -- CHAPTER V. THE DEFECT RELATIONS -- Backmatter |
Record Nr. | UNINA-9910154746403321 |
Weyl Hermann
![]() |
||
Princeton, NJ : , : Princeton University Press, , [2016] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Ramification Theoretic Methods in Algebraic Geometry (AM-43), Volume 43 / / Shreeram Shankar Abhyankar |
Autore | Abhyankar Shreeram Shankar |
Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
Descrizione fisica | 1 online resource (117 pages) |
Disciplina | 512.815 |
Collana | Annals of Mathematics Studies |
Soggetto topico |
Algebraic fields
Geometry, Algebraic |
Soggetto non controllato |
Abelian group
Abstract algebra Additive group Affine variety Algebraic closure Algebraic curve Algebraic equation Algebraic function field Algebraic function Algebraic geometry Algebraic number theory Algebraic surface Algebraic variety Big O notation Birational geometry Branch point Cardinal number Cardinality Complex number Degrees of freedom (statistics) Dimension Equation Equivalence class Existential quantification Field extension Field of fractions Foundations of Algebraic Geometry Function field Galois group Generic point Ground field Homomorphism Ideal theory Integer Irrational number Irreducible component Linear algebra Local ring Mathematics Max Noether Maximal element Maximal ideal Natural number Nilpotent Noetherian ring Null set Order by Order type Parameter Primary ideal Prime ideal Prime number Projective variety Quantity Quotient ring Ramification group Rational function Rational number Real number Resolution of singularities Riemann surface Ring (mathematics) Special case Splitting field Subgroup Subset Theorem Theory of equations Transcendence degree Two-dimensional space Uniformization Valuation ring Variable (mathematics) Vector space Zero divisor Zorn's lemma |
ISBN | 1-4008-8139-0 |
Classificazione | SI 830 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Frontmatter -- PREFACE -- CONTENTS -- INTRODUCTION -- CHAPTER I: GENERAL RAMIFICATION THEORY -- CHAPTER II: VALUATION THEORY -- CHAPTER III: NOETHERIAN LOCAL RINGS -- CHAPTER IV: TWO-DIMENSIONAL LOCAL DOMAINS -- CHAPTER V: VARIETIES AND TRANSFORMATIONS -- BIBLIOGRAPHY |
Record Nr. | UNINA-9910154754403321 |
Abhyankar Shreeram Shankar
![]() |
||
Princeton, NJ : , : Princeton University Press, , [2016] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
The traveling salesman problem [[electronic resource] ] : a computational study / / David L. Applegate ... [et al.] |
Autore | Applegate David L |
Edizione | [Course Book] |
Pubbl/distr/stampa | Princeton, : Princeton University Press, c2006 |
Descrizione fisica | 1 online resource (606 p.) |
Disciplina | 511.6 |
Collana | Princeton series in applied mathematics |
Soggetto topico | Traveling salesman problem |
Soggetto non controllato |
AT&T Labs
Accuracy and precision Addition Algorithm Analysis of algorithms Applied mathematics Approximation algorithm Approximation Basic solution (linear programming) Best, worst and average case Bifurcation theory Big O notation CPLEX CPU time Calculation Chaos theory Column generation Combinatorial optimization Computation Computational resource Computer Connected component (graph theory) Connectivity (graph theory) Convex hull Cutting-plane method Delaunay triangulation Determinism Disjoint sets Dynamic programming Ear decomposition Engineering Enumeration Equation Estimation Euclidean distance Euclidean space Family of sets For loop Genetic algorithm George Dantzig Georgia Institute of Technology Greedy algorithm Hamiltonian path Hospitality Hypergraph Implementation Instance (computer science) Institute Integer Iteration Linear inequality Linear programming Mathematical optimization Mathematics Model of computation Neuroscience Notation Operations research Optimization problem Order by Pairwise Parameter (computer programming) Parity (mathematics) Percentage Polyhedron Polytope Pricing Princeton University Processing (programming language) Project Quantity Reduced cost Requirement Result Rice University Rutgers University Scientific notation Search algorithm Search tree Self-similarity Simplex algorithm Solution set Solver Source code Special case Stochastic Subroutine Subsequence Subset Summation Test set Theorem Theory Time complexity Trade-off Travelling salesman problem Tree (data structure) Upper and lower bounds Variable (computer science) Variable (mathematics) |
ISBN |
1-283-25611-8
9786613256119 1-4008-4110-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Front matter -- Contents -- Preface -- Chapter 1. The Problem -- Chapter 2. Applications -- Chapter 3. Dantzig, Fulkerson, and Johnson -- Chapter 4. History of TSP Computation -- Chapter 5. LP Bounds and Cutting Planes -- Chapter 6. Subtour Cuts and PQ-Trees -- Chapter 7. Cuts from Blossoms and Blocks -- Chapter 8. Combs from Consecutive Ones -- Chapter 9. Combs from Dominoes -- Chapter 10. Cut Metamorphoses -- Chapter 11. Local Cuts -- Chapter 12. Managing the Linear Programming Problems -- Chapter 13. The Linear Programming Solver Chapter 14. Branching -- Chapter 14. Branching -- Chapter 15. Tour Finding -- Chapter 16. Computation -- Chapter 17. The Road Goes On -- Bibliography -- Index |
Record Nr. | UNINA-9910789748903321 |
Applegate David L
![]() |
||
Princeton, : Princeton University Press, c2006 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|