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.
Introduction to Mathematical Logic (PMS-13), Volume 13 / / Alonzo Church
| Introduction to Mathematical Logic (PMS-13), Volume 13 / / Alonzo Church |
| Autore | Church Alonzo |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (389 pages) |
| Disciplina | 511.3 |
| Collana | Princeton Mathematical Series |
| Soggetto topico | Logic, Symbolic and mathematical |
| Soggetto non controllato |
Abstract algebra
Acta Mathematica Arithmetic Axiom of choice Axiom of infinity Axiom of reducibility Axiom schema Axiom Axiomatic system Binary function Boolean algebra (structure) Boolean ring Calculus ratiocinator Characterization (mathematics) Class (set theory) Classical mathematics Commutative property Commutative ring Conditional disjunction David Hilbert Decision problem Deduction theorem Denotation Disjunctive syllogism Double negation Duality (mathematics) Elementary algebra Elementary arithmetic English alphabet Equation Existential quantification Expression (mathematics) Formation rule Frege (programming language) Function (mathematics) Functional calculus Fundamenta Mathematicae Gödel numbering Gödel's completeness theorem Gödel's incompleteness theorems Hilbert's program Hypothetical syllogism Imperative logic Inference Introduction to Mathematical Philosophy Lambda calculus Linear differential equation Logic Logical connective Logical disjunction Material implication (rule of inference) Mathematical analysis Mathematical induction Mathematical logic Mathematical notation Mathematical practice Mathematical problem Mathematical theory Mathematics Mathematische Zeitschrift Metatheorem Modal logic Modus ponendo tollens Natural number Naturalness (physics) Negation Notation Number theory Object language Parity (mathematics) Predicate (mathematical logic) Prenex normal form Principia Mathematica Propositional calculus Propositional function Propositional variable Quantifier (logic) Range (mathematics) Real number Recursion (computer science) Restriction (mathematics) Riemann surface Ring (mathematics) Rule of inference Scientific notation Second-order arithmetic Series (mathematics) Sign (mathematics) Skolem normal form Special case Tautology (logic) Term logic The Principles of Mathematics Theorem Three-dimensional space (mathematics) Transfinite number Triviality (mathematics) Truth table Variable (mathematics) Zermelo set theory |
| ISBN | 1-4008-8145-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface -- Contents -- Introduction -- I. The Propositional Calculus -- II. The Propositional Calculus (Continued) -- III. Functional Calculi of First Order -- IV. The Pure Functional Calculus of First Order -- V. Functional Calculi of Second Order -- Index of Definitions -- Index of Authors -- Errata |
| Record Nr. | UNINA-9910154754303321 |
Church Alonzo
|
||
| 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 | ||
| ||