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 | ||
| ||
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 | ||
| ||
Introduction to Ramsey spaces [[electronic resource] /] / Stevo Todorcevic
| Introduction to Ramsey spaces [[electronic resource] /] / Stevo Todorcevic |
| Autore | Todorcevic Stevo |
| Edizione | [Course Book] |
| Pubbl/distr/stampa | Princeton, : Princeton University Press, 2010 |
| Descrizione fisica | 1 online resource (296 p.) |
| Disciplina | 511/.5 |
| Collana | Annals of mathematics studies |
| Soggetto topico |
Ramsey theory
Algebraic spaces |
| Soggetto non controllato |
Analytic set
Axiom of choice Baire category theorem Baire space Banach space Bijection Binary relation Boolean prime ideal theorem Borel equivalence relation Borel measure Borel set C0 Cantor cube Cantor set Cantor space Cardinality Characteristic function (probability theory) Characterization (mathematics) Combinatorics Compact space Compactification (mathematics) Complete metric space Completely metrizable space Constructible universe Continuous function (set theory) Continuous function Corollary Countable set Counterexample Decision problem Dense set Diagonalization Dimension (vector space) Dimension Discrete space Disjoint sets Dual space Embedding Equation Equivalence relation Existential quantification Family of sets Forcing (mathematics) Forcing (recursion theory) Gap theorem Geometry Ideal (ring theory) Infinite product Lebesgue measure Limit point Lipschitz continuity Mathematical induction Mathematical problem Mathematics Metric space Metrization theorem Monotonic function Natural number Natural topology Neighbourhood (mathematics) Null set Open set Order type Partial function Partially ordered set Peano axioms Point at infinity Pointwise Polish space Probability measure Product measure Product topology Property of Baire Ramsey theory Ramsey's theorem Right inverse Scalar multiplication Schauder basis Semigroup Sequence Sequential space Set (mathematics) Set theory Sperner family Subsequence Subset Subspace topology Support function Symmetric difference Theorem Topological dynamics Topological group Topological space Topology Tree (data structure) Unit interval Unit sphere Variable (mathematics) Well-order Zorn's lemma |
| ISBN |
1-4008-3540-2
9786612645068 1-282-64506-4 |
| Classificazione | SI 830 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Introduction -- Chapter 1. Ramsey Theory: Preliminaries -- Chapter 2. Semigroup Colorings -- Chapter 3. Trees and Products -- Chapter 4. Abstract Ramsey Theory -- Chapter 5. Topological Ramsey Theory -- Chapter 6. Spaces of Trees -- Chapter 7. Local Ramsey Theory -- Chapter 8. Infinite Products of Finite Sets -- Chapter 9. Parametrized Ramsey Theory -- Appendix -- Bibliography -- Subject Index -- Index of Notation |
| Record Nr. | UNINA-9910791065103321 |
|
Todorcevic Stevo
|
||
| Princeton, : Princeton University Press, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Lectures on Fourier Integrals. (AM-42), Volume 42 / / Salomon Trust
| Lectures on Fourier Integrals. (AM-42), Volume 42 / / Salomon Trust |
| Autore | Trust Salomon |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (348 pages) |
| Disciplina | 517.355 |
| Altri autori (Persone) |
PollardHarry
TenenbaumMorris |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Fourier series
Integrals Harmonic analysis |
| Soggetto non controllato |
Abscissa
Absolute value Absolutely integrable function Acta Mathematica Addition Additive function Affine transformation Almost periodic function Analytic function Antiderivative Arbitrarily large Arithmetic mean Augustin-Louis Cauchy Bernhard Riemann Bessel function Big O notation Borel set Boundary layer Boundary value problem Bounded function Bounded variation Calculation Cauchy principal value Characteristic function (probability theory) Coefficient Compact space Compactness theorem Complex number Continuous function Dense set Derivative Differentiable function Dirichlet series Distribution function Division by zero E. W. Hobson Eigenfunction Eigenvalues and eigenvectors Empty set Equation Existential quantification Exponential polynomial Exterior (topology) Fourier transform Function (mathematics) Functional equation Gamma function Generating function Harmonic function Initial point Integer Integral equation Interval (mathematics) Limit of a sequence Line (geometry) Linear combination Linear differential equation Mathematische Annalen Mean value theorem Monotonic function Null set Order of integration (calculus) Order of integration Order of magnitude Parameter Partial derivative Partial fraction decomposition Poisson formula Poisson summation formula Polar coordinate system Polynomial Power series Principal part Rapidity Rational function Rational number Real variable Remainder Requirement Set function Sign (mathematics) Smoothness Special case State function Step function Subsequence Summation Theorem Total variation Trigonometric integral Uniform convergence Uniqueness theorem Variable (mathematics) |
| ISBN | 1-4008-8199-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- CONTENTS -- CHAPTER I. BASIC PROPERTIES OF TRIGONOMETRIC INTEGRALS -- CHAPTER II. REPRESENTATION - AND SUM FORMULAS -- CHAPTER III. THE FOURIER INTEGRAL THEOREM -- CHAPTER IV. STIELTJES INTEGRALS -- CHAPTER V. OPERATIONS WITH FUNCTIONS OF THE CLASS FO -- CHAPTER VI. GENERALIZED TRIGONOMETRIC INTEGRALS -- CHAPTER VII. ANALYTIC AND HARMONIC FUNCTIONS -- CHAPTER VIII. QUADRATIC INTEGRABILITV -- CHAPTER IX. FUNCTIONS OF SEVERAL VARIABLES -- APPENDIX -- REMARKS - QUOTATIONS -- MONOTONIC FUNCTIONS, STIELTJES INTEGRALS AND HARMONIC ANALYSIS -- SYMBOLS |
| Record Nr. | UNINA-9910154749703321 |
|
Trust Salomon
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ramification Theoretic Methods in Algebraic Geometry (AM-43), Volume 43 / / Shreeram Shankar Abhyankar
| 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] | ||
| 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 | ||
| ||