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.
Degrees of Unsolvability. (AM-55), Volume 55 / / Gerald E. Sacks
| Degrees of Unsolvability. (AM-55), Volume 55 / / Gerald E. Sacks |
| Autore | Sacks Gerald E. |
| Edizione | [Second edition.] |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (189 pages) |
| Disciplina | 517.5 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Recursive functions
Unsolvability (Mathematical logic) |
| Soggetto non controllato |
Addition
Aleph number Algebraic topology Approximation Arithmetic function Arithmetical set Axiom of choice Baire category theorem Cardinality of the continuum Cardinality Cartesian product Category theory Commutative property Conjecture Continuum hypothesis Contradiction Corollary Countable set Disjoint union Effective method Empty set Enumeration Equation Existence theorem Existential quantification Finite set Fixed-point theorem Fourier analysis Fubini's theorem Gödel numbering Identity function Inequality (mathematics) Infimum and supremum Integer Lebesgue measure Limit of a sequence Limit point Mathematical induction Mathematics Mean of a function Measure (mathematics) Metric space Monotonic function Mostowski Mutual exclusivity Natural number Null set Open set Partial function Partially ordered set Predicate (mathematical logic) Product measure Product topology Real number Recursion Recursive set Recursively enumerable set Reductio ad absurdum Regular space Requirement Scientific notation Sequence Set (mathematics) Simultaneous equations Subset Theorem Topology Transfinite induction Tychonoff's theorem Uncountable set Union (set theory) Upper and lower bounds Variable (mathematics) W0 Well-order Without loss of generality Zorn's lemma |
| ISBN | 1-4008-8184-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface to revised edition -- Contents -- §1. Preliminaries -- §2 . A Continuum of Mutually Incomparable Degrees -- §3. Uncountable Suborderings of Degrees -- §4. The Priority Method Of Friedberg and Muchnik -- §5. An Existence Theorem For Recursively Enumerable Degrees -- §6 . The Jump Operator -- §7. An Interpolation Theorem for Recursively Enumerable Degrees -- §8. Minimal Upper Bounds for Sequences of Degrees -- §9. Minimal Degrees -- §10. Measure-Theoretic, Category and Descriptive Set-Theoretic Arguments -- §11. Initial Segments of Degrees -- §12. Further Results and Conjectures -- Bibliography |
| Record Nr. | UNINA-9910154752603321 |
Sacks Gerald E.
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Higher topos theory [[electronic resource] /] / Jacob Lurie
| Higher topos theory [[electronic resource] /] / Jacob Lurie |
| Autore | Lurie Jacob <1977-> |
| Edizione | [Course Book] |
| Pubbl/distr/stampa | Princeton, N.J., : Princeton University Press, 2009 |
| Descrizione fisica | 1 online resource (944 p.) |
| Disciplina | 512/.62 |
| Collana | Annals of mathematics studies |
| Soggetto topico |
Toposes
Categories (Mathematics) |
| Soggetto non controllato |
Adjoint functors
Associative property Base change map Base change CW complex Canonical map Cartesian product Category of sets Category theory Coequalizer Cofinality Coherence theorem Cohomology Cokernel Commutative property Continuous function (set theory) Contractible space Coproduct Corollary Derived category Diagonal functor Diagram (category theory) Dimension theory (algebra) Dimension theory Dimension Enriched category Epimorphism Equivalence class Equivalence relation Existence theorem Existential quantification Factorization system Functor category Functor Fundamental group Grothendieck topology Grothendieck universe Group homomorphism Groupoid Heyting algebra Higher Topos Theory Higher category theory Homotopy category Homotopy colimit Homotopy group Homotopy I0 Inclusion map Inductive dimension Initial and terminal objects Inverse limit Isomorphism class Kan extension Limit (category theory) Localization of a category Maximal element Metric space Model category Monoidal category Monoidal functor Monomorphism Monotonic function Morphism Natural transformation Nisnevich topology Noetherian topological space Noetherian O-minimal theory Open set Power series Presheaf (category theory) Prime number Pullback (category theory) Pushout (category theory) Quillen adjunction Quotient by an equivalence relation Regular cardinal Retract Right inverse Sheaf (mathematics) Sheaf cohomology Simplicial category Simplicial set Special case Subcategory Subset Surjective function Tensor product Theorem Topological space Topology Topos Total order Transitive relation Universal property Upper and lower bounds Weak equivalence (homotopy theory) Yoneda lemma Zariski topology Zorn's lemma |
| ISBN |
1-282-64495-5
9786612644955 1-4008-3055-9 |
| Classificazione |
SI 830
SK 320 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Preface -- Chapter One. An Overview Of Higher Category Theory -- Chapter Two. Fibrations Of Simplicial Sets -- Chapter Three. The ∞-Category Of ∞-Categories -- Chapter Four. Limits And Colimits -- Chapter Five. Presentable And Accessible ∞-Categories -- Chapter Six. ∞-Topoi -- Chapter Seven. Higher Topos Theory In Topology -- Appendix -- Bibliography -- General Index -- Index Of Notation |
| Record Nr. | UNINA-9910784939903321 |
|
Lurie Jacob <1977->
|
||
| Princeton, N.J., : Princeton University Press, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Nilpotence and Periodicity in Stable Homotopy Theory. (AM-128), Volume 128 / / Douglas C. Ravenel
| Nilpotence and Periodicity in Stable Homotopy Theory. (AM-128), Volume 128 / / Douglas C. Ravenel |
| Autore | Ravenel Douglas C. |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (225 pages) |
| Disciplina | 514/.24 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico | Homotopy theory |
| Soggetto non controllato |
Abelian category
Abelian group Adams spectral sequence Additive category Affine space Algebra homomorphism Algebraic closure Algebraic structure Algebraic topology (object) Algebraic topology Algebraic variety Algebraically closed field Atiyah–Hirzebruch spectral sequence Automorphism Boolean algebra (structure) CW complex Canonical map Cantor set Category of topological spaces Category theory Classification theorem Classifying space Cohomology operation Cohomology Cokernel Commutative algebra Commutative ring Complex projective space Complex vector bundle Computation Conjecture Conjugacy class Continuous function Contractible space Coproduct Differentiable manifold Disjoint union Division algebra Equation Explicit formulae (L-function) Functor G-module Groupoid Homology (mathematics) Homomorphism Homotopy category Homotopy group Homotopy Hopf algebra Hurewicz theorem Inclusion map Infinite product Integer Inverse limit Irreducible representation Isomorphism class K-theory Loop space Mapping cone (homological algebra) Mathematical induction Modular representation theory Module (mathematics) Monomorphism Moore space Morava K-theory Morphism N-sphere Noetherian ring Noetherian Noncommutative ring Number theory P-adic number Piecewise linear manifold Polynomial ring Polynomial Power series Prime number Principal ideal domain Profinite group Reduced homology Ring (mathematics) Ring homomorphism Ring spectrum Simplicial complex Simply connected space Smash product Special case Spectral sequence Steenrod algebra Sub"ient Subalgebra Subcategory Subring Symmetric group Tensor product Theorem Topological space Topology Vector bundle Zariski topology |
| ISBN | 1-4008-8248-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Preface -- Introduction -- Chapter 1. The main theorems -- Chapter 2. Homotopy groups and the chromatic filtration -- Chapter 3. MU-theory and formal group laws -- Chapter 4. Morava's orbit picture and Morava stabilizer groups -- Chapter 5. The thick subcategory theorem -- Chapter 6. The periodicity theorem -- Chapter 7. Bousfield localization and equivalence -- Chapter 8. The proofs of the localization, smash product and chromatic convergence theorems -- Chapter 9. The proof of the nilpotence theorem -- Appendix A. Some tools from homotopy theory -- Appendix B. Complex bordism and BP-theory -- Appendix C. Some idempotents associated with the symmetric group -- Bibliography -- Index |
| Record Nr. | UNINA-9910154751603321 |
|
Ravenel Douglas C.
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Vico's Ring. Notes on the"Scienza nuova", its Structure, and the Hermeneutics of Homer's Works
| Vico's Ring. Notes on the"Scienza nuova", its Structure, and the Hermeneutics of Homer's Works |
| Autore | Horst STEINKE |
| Pubbl/distr/stampa | Istituto per la storia del pensiero filosofico e scientifico moderno - National Research Council, 2016 |
| Descrizione fisica | 1 online resource |
| Collana | I Quaderni del LAB |
| Soggetto topico | Philosophy |
| Soggetto non controllato |
B. Spinoza
Category theory G. Vico Homer Ring composition |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910156512403321 |
|
Horst STEINKE
|
||
| Istituto per la storia del pensiero filosofico e scientifico moderno - National Research Council, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||