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.
The Calculi of Lambda Conversion. (AM-6), Volume 6 / / Alonzo Church
| The Calculi of Lambda Conversion. (AM-6), Volume 6 / / Alonzo Church |
| Autore | Church Alonzo |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (89 pages) |
| Disciplina | 517.5 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Logic, Symbolic and mathematical
Recursive functions |
| Soggetto non controllato |
2H
A-normal form Addition Alphabetical order Ambiguity Argument of a function Axiom Bibliography Big O notation Calculation Characteristic function (probability theory) Combination Complex number Computability Computation Consistency Corollary Definition Denotation Determination Differential calculus Enumeration Equation Exc Existential quantification Exponentiation Finitary Finite set Formal system Frege (programming language) Function (mathematics) Gödel numbering Identity function In the process of Integer Iteration Limit (mathematics) Logic Logical conjunction Logical disjunction Mathematical induction Mathematical logic Mathematics Metamathematics Natural number Negation Notation Null set Number theory Ordinal number Pairing Paul Bernays Primitive recursive function Principia Mathematica Propositional function Quantifier (logic) Real number Recursion (computer science) Recursion Reduction of order Requirement Resultant Rule of inference Scientific notation Sequence Set theory Special case Successor function Theorem Theory Transfinite number Transfinite Truth value Uncertainty Universal quantification Upper and lower bounds Variable (mathematics) Well-formed formula Without loss of generality |
| ISBN | 1-4008-8193-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- CONTENTS -- Chapter I. INTRODUCTORY -- Chapter II. LAMBDA-CONVERSION -- Chapter III. LAMBDA-DEFINABILITY -- Chapter IV. COMBINATIONS, GÖDEL NUMBERS -- Chapter V. THE CALCULI OF λ-K-CONVERSION AND λ-δ- CONVERSION -- INDEX OP THE PRINCIPAL FORMULAS INTRODUCED BY DEFINITION -- BIBLIOGRAPHY -- CORRECTION AND ADDITIONS |
| Record Nr. | UNINA-9910154753003321 |
Church Alonzo
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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-24), Volume I / / Albert William Tucker, Harold William Kuhn
| Contributions to the Theory of Games (AM-24), Volume I / / Albert William Tucker, Harold William Kuhn |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (221 pages) : illustrations |
| Disciplina | 519.3 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico | Game theory |
| Soggetto non controllato |
Affine space
Almost surely Banach space Basic solution (linear programming) Bilinear form Boundary (topology) Bounded variation Calculation Characteristic function (probability theory) Characterization (mathematics) Coefficient Combination Completeness of the real numbers Computation Computational problem Connected space Continuous function (set theory) Continuous function Continuous game Convex combination Convex set Counterexample Diagram (category theory) Dimension (vector space) Dimension Dimensional analysis Elementary proof Equation solving Equilibrium point Euclidean space Existential quantification Exterior (topology) Extreme point Facet (geometry) Fubini's theorem Function (mathematics) Function space Fundamental theorem Geometry Helly's theorem Hyperplane Identity matrix Inequality (mathematics) Infimum and supremum Interior (topology) Invertible matrix Iterative method Limit of a sequence Limit point Linear inequality Linear map Linear programming Mathematical analysis Mathematical optimization Mathematics Matrix (mathematics) Maxima and minima Maximal set Measure (mathematics) Minimax theorem Mutual exclusivity NSPACE Orthogonal basis Orthogonal matrix Orthogonal polynomials Partially ordered set Permutation Polyhedron Polynomial Probability distribution Probability Proportionality (mathematics) Rational number Riemann–Stieltjes integral Scientific notation Set (mathematics) Set theory Sign (mathematics) Skew-symmetric matrix Solution concept Special case Strategy (game theory) Subsequence Subset Summation Symmetrization Theorem Theory of Games and Economic Behavior Theory Topology Transfinite number Transfinite Unit interval Unit sphere Unit vector Vandermonde matrix Variable (mathematics) Vector space Weak convergence (Hilbert space) Weyl's theorem |
| ISBN | 1-4008-8172-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- PREFACE -- CONTENTS -- PART I. FINITE GAMES -- 1. THE ELEMENTARY THEORY OF CONVEX POLYHEDRA -- 2. ELEMENTARY PROOF OF A MINIMAX THEOREM DUE TO VON NEUMANN -- 3. BASIC SOLUTIONS OF DISCRETE GAMES / Shapley, L. S. / Snow, R. N. -- 4. SOLUTIONS OF FINITE TWO-PERSON GAMES / Gale, D. / Sherman, S. -- 5. SOLUTIONS OF DISCRETE, TWO-PERSON GAMES / Bohnenblust, H. F. / Karlin, S. -- 6. SOLUTIONS OF GAMES BY DIFFERENTIAL EQUATIONS / Brown, G. W. / Neumann, J. von -- 7. ON SYMMETRIC GAMES / Gale, D. / Kuhn, H. W. / Tucker, A. W. -- 8. REDUCTIONS OP GAME MATRICES / Gale, D. / Kuhn, H. W. / Tucker, A. W. -- 9. A SIMPLIFIED TWO-PERSON POKER / Kuhn, H. W. -- 10. A SIMPLE THREE-PERSON POKER GAME / Nash, J. F. / Shapley, L. S. -- 11. ISOMORPHISM OF GAMES, AND STRATEGIC EQUIVALENCE / McKinsey, J. C. C. -- PART II. INFINITE GAMES -- 12. OPERATOR TREATMENT OF MINMAX PRINCIPLE / Karlin, Samuel -- 13. ON A THEOREM OF VILLE / Bohnenblust, H. F. / Karlin, S. -- 14. POLYNOMIAL GAMES / Dresher, M. / Karlin, S. / Shapley, L. S. -- 15. GAMES WITH CONTINUOUS, CONVEX PAY-OFF / Bohnenblust, H. F. / Karlin, S. / Shapley, L. S. -- BIBLIOGRAPHY |
| Record Nr. | UNINA-9910154754103321 |
| 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 | ||
| ||
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 | ||
| ||
Symposium on Infinite Dimensional Topology. (AM-69), Volume 69 / / R. D. Anderson
| Symposium on Infinite Dimensional Topology. (AM-69), Volume 69 / / R. D. Anderson |
| Autore | Anderson R. D. |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (312 pages) |
| Disciplina | 514 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Topology
Functional analysis Differential topology |
| Soggetto non controllato |
Anderson's theorem
Annihilator (ring theory) Automorphism Baire measure Banach algebra Banach manifold Banach space Bounded operator Cartesian product Characterization (mathematics) Cohomology Compact space Complement (set theory) Complete metric space Connected space Continuous function Convex set Coset Critical point (mathematics) Diagram (category theory) Differentiable manifold Differential topology Dimension (vector space) Dimension Dimensional analysis Dual space Duality (mathematics) Endomorphism Equivalence class Euclidean space Existential quantification Explicit formulae (L-function) Exponential map (Riemannian geometry) Fixed-point theorem Fréchet derivative Fréchet space Fuchsian group Function space Fundamental class Haar measure Hessian matrix Hilbert space Homeomorphism Homology (mathematics) Homotopy group Homotopy Inclusion map Infimum and supremum Lebesgue space Lefschetz fixed-point theorem Limit point Linear space (geometry) Locally convex topological vector space Loop space Mathematical optimization Measure (mathematics) Metric space Module (mathematics) Natural topology Neighbourhood (mathematics) Normal space Normed vector space Open set Ordinal number Paracompact space Partition of unity Path space Product topology Quantifier (logic) Quotient space (linear algebra) Quotient space (topology) Radon measure Reflexive space Representation theorem Riemannian manifold Schauder fixed point theorem Sign (mathematics) Simply connected space Space form Special case Stiefel manifold Strong operator topology Subcategory Submanifold Subset Tangent space Teichmüller space Theorem Topological space Topological vector space Topology Transfinite induction Transfinite Transversal (geometry) Transversality theorem Tychonoff cube Union (set theory) Unit sphere Weak topology Weakly compact |
| ISBN | 1-4008-8140-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- PREFACE -- CONTENTS -- TOPOLOGICAL EQUIVALENCE OF NON-SEPARABLE REFLEXIVE BANACH SPACES / Bessaga, C. -- ON TOPOLOGICAL CLASSIFICATION OF NON-SEPARABLE BANACH SPACES / Bessaga, C. / Kadec, M. I. -- ON HOMOTOPY PROPERTIES OF COMPACT SUBSETS OF THE HILBERT SPACE / Borsuk, Karel -- SOME THIN SETS IN FRÉCHET SPACES / Corson, H. H. -- A REMARK ON BANACH ANALYTIC SPACES / Douady, A. -- FIBRING SPACES OF MAPS / Eells, James -- AN APPROXIMATE MORSE-SARD THEOREM / Eells, James / McAlpin, John -- MORSE THEORY FOR CLOSED CURVES / Eliasson, Halldor I. -- COVERING PROPERTIES OF CONVEX SETS AND FIXED POINT THEOREMS IN TOPOLOGICAL VECTOR SPACES / Fan, Ky -- ON THE COHOMOLOGY THEORY IN LINEAR NORMED SPACES / Geba, Kazimierz / Granas, Andrzej -- ANALYSE DE LA TECHNIQUE DE NASH-MOSER / Glaeser, G. -- GENERALIZING THE HOPF-LEFSCHETZ FIXED POINT THEOREM FOR NON-COMPACT ANR-S / Granas, Andrzej -- SOME QUESTIONS IN THE DIMENSION THEORY OF INFINITE DIMENSIONAL SPACES / Henderson, David W. -- ON THE CONTINUITY OF BEST APPROXIMATION OPERATORS / Holmes, R. B. -- SOME SELF-DUAL PROPERTIES OF NORMED LINEAR SPACES / James, Robert C. -- ASYMPTOTIC FIXED POINT THEORY / Jones, G. Stephen -- ON THE RELATIONSHIP OF LOCAL TO GLOBAL FIXED-POINT INDEXES / Knill, Ronald J. -- C1-EQUIVALENCE OF FUNCTIONS NEAR ISOLATED CRITICAL POINTS / Kuiper, Nicolaas H. -- FIXED POINT INDEX AND LEFSCHETZ NUMBER / Leray, Jean -- WEAKLY COMPACT SETS - THEIR TOPOLOGICAL PROPERTIES AND THE BANACH SPACES THEY GENERATE / Lindenstrauss, Joram -- ON CONTINUITY AND APPROXIMATION QUESTIONS CONCERNING CRITICAL MORSE GROUPS IN HILBERT SPACE / Rothe, E. H. -- ON HOMEOMORPHISMS OF CERTAIN INFINITE DIMENSIONAL SPACES / Wong, Raymond Y. T. |
| Record Nr. | UNINA-9910154743103321 |
|
Anderson R. D.
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Triangulated categories / / by Amnon Neeman
| Triangulated categories / / by Amnon Neeman |
| Autore | Neeman Amnon |
| Pubbl/distr/stampa | Princeton, New Jersey : , : Princeton University Press, , 2001 |
| Descrizione fisica | 1 online resource (461 p.) |
| Disciplina | 512/.55 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico | Categories (Mathematics) |
| Soggetto non controllato |
Abelian category
Abelian group Additive category Adjoint functors Adjoint Adjunction (field theory) Associative property Axiom Basis (linear algebra) Bijection Biproduct Brown's representability theorem Cardinal number Cardinality Category of abelian groups Chain complex Class (set theory) Cohomology Computation Coproduct Corollary Countable set Counterexample Derived category Derived functor Diagram (category theory) Direct limit Direct sum Discrete valuation ring Duality (mathematics) Embedding Equivalence class Equivalence of categories Exact functor Exact sequence Existence theorem Existential quantification Factorization Finitely generated abelian group Functor category Functor Grothendieck category Grothendieck's Tôhoku paper Group homomorphism Homological algebra Homotopy category of chain complexes Homotopy category Homotopy colimit Homotopy I0 Injective function Injective object Integer Isomorph Isomorphism class Jack Morava K-theory Limit (category theory) Limit of a sequence Limit ordinal Linear map Mapping cone (homological algebra) Mathematical induction Maximal ideal Module (mathematics) Monomorphism Moore space Morphism N0 Natural transformation Open set Partially ordered set Pierre Deligne Prime number Projective object Proportionality (mathematics) Quotient category Regular cardinal Representable functor Sheaf (mathematics) Special case Spectral sequence Subcategory Subobject Subsequence Subset Successor ordinal Summation Tautology (logic) Tensor product Theorem Theory Topological group Transfinite induction Transfinite Triangulated category Universal property Vector space Vladimir Voevodsky Yoneda lemma |
| ISBN |
0-691-08685-0
1-4008-3721-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Contents -- 0. Acknowledgements -- 1. Introduction -- Chapter 1. Definition and elementary properties of triangulated categories -- Chapter 2. Triangulated functors and localizations of triangulated categories -- Chapter 3. Perfection of classes -- Chapter 4. Small objects, and Thomason's localisation theorem -- Chapter 5. The category A(S) -- Chapter 6. The category Εx (Sop, Ab) -- Chapter 7. Homological properties of Εx(Sop,Αb) -- Chapter 8. Brown representability -- Chapter 9. Bousfield localisation -- Appendix A. Abelian categories -- Appendix B. Homological functors into [AB5α] categories -- Appendix C. Counterexamples concerning the abelian category A(Τ) -- Appendix D. Where Τ is the homotopy category of spectra -- Appendix E. Examples of non-perfectly-generated categories -- Bibliography -- Index |
| Record Nr. | UNINA-9910791958903321 |
|
Neeman Amnon
|
||
| Princeton, New Jersey : , : Princeton University Press, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Triangulated categories / / by Amnon Neeman
| Triangulated categories / / by Amnon Neeman |
| Autore | Neeman Amnon |
| Pubbl/distr/stampa | Princeton, New Jersey : , : Princeton University Press, , 2001 |
| Descrizione fisica | 1 online resource (461 p.) |
| Disciplina | 512/.55 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico | Categories (Mathematics) |
| Soggetto non controllato |
Abelian category
Abelian group Additive category Adjoint functors Adjoint Adjunction (field theory) Associative property Axiom Basis (linear algebra) Bijection Biproduct Brown's representability theorem Cardinal number Cardinality Category of abelian groups Chain complex Class (set theory) Cohomology Computation Coproduct Corollary Countable set Counterexample Derived category Derived functor Diagram (category theory) Direct limit Direct sum Discrete valuation ring Duality (mathematics) Embedding Equivalence class Equivalence of categories Exact functor Exact sequence Existence theorem Existential quantification Factorization Finitely generated abelian group Functor category Functor Grothendieck category Grothendieck's Tôhoku paper Group homomorphism Homological algebra Homotopy category of chain complexes Homotopy category Homotopy colimit Homotopy I0 Injective function Injective object Integer Isomorph Isomorphism class Jack Morava K-theory Limit (category theory) Limit of a sequence Limit ordinal Linear map Mapping cone (homological algebra) Mathematical induction Maximal ideal Module (mathematics) Monomorphism Moore space Morphism N0 Natural transformation Open set Partially ordered set Pierre Deligne Prime number Projective object Proportionality (mathematics) Quotient category Regular cardinal Representable functor Sheaf (mathematics) Special case Spectral sequence Subcategory Subobject Subsequence Subset Successor ordinal Summation Tautology (logic) Tensor product Theorem Theory Topological group Transfinite induction Transfinite Triangulated category Universal property Vector space Vladimir Voevodsky Yoneda lemma |
| ISBN |
0-691-08685-0
1-4008-3721-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Contents -- 0. Acknowledgements -- 1. Introduction -- Chapter 1. Definition and elementary properties of triangulated categories -- Chapter 2. Triangulated functors and localizations of triangulated categories -- Chapter 3. Perfection of classes -- Chapter 4. Small objects, and Thomason's localisation theorem -- Chapter 5. The category A(S) -- Chapter 6. The category Εx (Sop, Ab) -- Chapter 7. Homological properties of Εx(Sop,Αb) -- Chapter 8. Brown representability -- Chapter 9. Bousfield localisation -- Appendix A. Abelian categories -- Appendix B. Homological functors into [AB5α] categories -- Appendix C. Counterexamples concerning the abelian category A(Τ) -- Appendix D. Where Τ is the homotopy category of spectra -- Appendix E. Examples of non-perfectly-generated categories -- Bibliography -- Index |
| Record Nr. | UNINA-9910821730503321 |
|
Neeman Amnon
|
||
| Princeton, New Jersey : , : Princeton University Press, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5 / / Emil L. Post
| The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5 / / Emil L. Post |
| Autore | Post Emil L. |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (133 pages) : illustrations |
| Disciplina | 164 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico | Logic, Symbolic and mathematical |
| Soggetto non controllato |
0Q
1J Abstract structure Addition Antiderivative Argument of a function Axiom Big O notation Bijection Boolean algebra (structure) Calculation Cardinal number Classical mathematics Conjecture Contradiction Countable set Diagram (category theory) Dimension Direct proof Duality (mathematics) Duality (optimization) Existential quantification Finite group Finite set Floor and ceiling functions Function (mathematics) Inequality (mathematics) Inverse problem Iteration Join and meet K-function Lattice (order) Linear differential equation Logic Logical conjunction Logical disjunction Mathematical induction Mathematical logic Membership function (mathematics) Morphism Mutual exclusivity Negation Notation Null set Oswald Veblen Parameter Parity (mathematics) Polynomial Principia Mathematica Projective geometry Propositional calculus Propositional variable Requirement Scientific notation Sequence Statistical hypothesis testing Subgroup Subset Suggestion Summation System T. The Principles of Mathematics Theorem Transfinite number Transfinite Truth table Uncountable set Uniqueness Variable (mathematics) Venn diagram |
| ISBN | 1-4008-8236-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- CONTENTS -- INTRODUCTION -- Part I. PRELIMINARIES -- PART II. DERIVATION OP CLOSED SYSTEMS -- PART III. CO-ORDINATION AND APPLICATION -- BIBLIOGRAPHY |
| Record Nr. | UNINA-9910154742203321 |
|
Post Emil L.
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||