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.
Continuous Model Theory. (AM-58), Volume 58 / / Chen Chung Chang, H. Jerome Keisler
| Continuous Model Theory. (AM-58), Volume 58 / / Chen Chung Chang, H. Jerome Keisler |
| Autore | Chang Chen Chung |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (181 pages) |
| Disciplina | 164 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico | Model theory |
| Soggetto non controllato |
Compact space
Compactness theorem Continuous function Logical connective Model theory Set function Truth value |
| ISBN | 1-4008-8205-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- PREFACE -- TABLE OF CONTENTS -- CHAPTER I. TOPOLOGICAL PRELIMINARIES -- CHAPTER II. CONTINUOUS LOGICS -- CHAPTER III. MODEL-THEORETIC PRELIMINARIES -- CHAPTER IV. ELEMENTARILY EQUIVALENT MODELS -- CHAPTER V. ULTRAPRODUCTS OF MODELS AND APPLICATIONS -- CHAPTER VI. SPECIAL MODELS -- CHAPTER VII. CLASSES PRESERVED UNDER ALGEBRAIC RELATIONS -- HISTORICAL NOTES -- BIBLIOGRAPHY -- INDEX OF SYMBOLS -- INDEX OF DEFINITIONS -- INDEX OF EXERCISES -- Backmatter |
| Record Nr. | UNINA-9910154748803321 |
Chang Chen Chung
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
First-Order Logic / Raymond M. Smullyan
| First-Order Logic / Raymond M. Smullyan |
| Autore | Smullyan, Raymond M. |
| Pubbl/distr/stampa | Berlin, : Springer, 1968 |
| Descrizione fisica | xii, 160 p. : ill. ; 24 cm |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| Soggetto non controllato |
Compactness theorem
Finite Logic Mathematica Proofs Theorem Variables |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0254628 |
|
Smullyan, Raymond M.
|
||
| Berlin, : Springer, 1968 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
First-Order Logic / Raymond M. Smullyan
| First-Order Logic / Raymond M. Smullyan |
| Autore | Smullyan, Raymond M. |
| Pubbl/distr/stampa | Berlin, : Springer, 1968 |
| Descrizione fisica | xii, 160 p. : ill. ; 24 cm |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| Soggetto non controllato |
Compactness theorem
Finite Logic Mathematica Proofs Theorem Variables |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00254628 |
|
Smullyan, Raymond M.
|
||
| Berlin, : Springer, 1968 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz
| Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz |
| Autore | Malitz, Jerome |
| Edizione | [Repr] |
| Pubbl/distr/stampa | New York, : Springer, 1979 [stampa 1987] |
| Descrizione fisica | XII, 198 p. ; 25 cm |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| Soggetto non controllato |
Compactness theorem
Computability theory Mathematical logic Model theory Proofs Set Theory |
| ISBN |
03-87903-46-1
978-03-87903-46-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0052412 |
|
Malitz, Jerome
|
||
| New York, : Springer, 1979 [stampa 1987] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz
| Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz |
| Autore | Malitz, Jerome |
| Pubbl/distr/stampa | New York, : Springer, 1979 |
| Descrizione fisica | xii, 198 p. ; 25 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] 03Cxx - Model theory [MSC 2020] |
| Soggetto non controllato |
Compactness theorem
Computability theory Mathematical logic Model theory Proofs Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268273 |
|
Malitz, Jerome
|
||
| New York, : Springer, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz
| Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz |
| Autore | Malitz, Jerome |
| Edizione | [Repr] |
| Pubbl/distr/stampa | New York, : Springer, 1979 [stampa 1987] |
| Descrizione fisica | XII, 198 p. ; 25 cm |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| Soggetto non controllato |
Compactness theorem
Computability theory Mathematical logic Model theory Proofs Set Theory |
| ISBN |
03-87903-46-1
978-03-87903-46-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00052412 |
|
Malitz, Jerome
|
||
| New York, : Springer, 1979 [stampa 1987] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz
| Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz |
| Autore | Malitz, Jerome |
| Pubbl/distr/stampa | New York, : Springer, 1979 |
| Descrizione fisica | xii, 198 p. ; 25 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Cxx - Model theory [MSC 2020] 03Exx - Set theory [MSC 2020] |
| Soggetto non controllato |
Compactness theorem
Computability theory Mathematical logic Model theory Proofs Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00268273 |
|
Malitz, Jerome
|
||
| New York, : Springer, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
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 | ||
| ||
Seminar on minimal submanifolds / / edited by Enrico Bombieri
| Seminar on minimal submanifolds / / edited by Enrico Bombieri |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , 1983 |
| Descrizione fisica | 1 online resource (368 pages) : illustrations |
| Disciplina | 516.3/6 |
| Collana | Annals of mathematics studies |
| Soggetto topico | Minimal submanifolds |
| Soggetto non controllato |
A priori estimate
Analytic function Banach space Boundary (topology) Boundary value problem Bounded set (topological vector space) Branch point Cauchy–Riemann equations Center manifold Closed geodesic Codimension Coefficient Cohomology Compactness theorem Comparison theorem Configuration space Conformal geometry Conformal group Conformal map Continuous function Cross product Curve Degeneracy (mathematics) Diffeomorphism Differential form Dirac operator Discrete group Divergence theorem Eigenvalues and eigenvectors Elementary proof Equation Existence theorem Existential quantification Exterior derivative First variation Free boundary problem Fundamental group Gauss map Geodesic Geometry Group action Hamiltonian mechanics Harmonic function Harmonic map Hausdorff dimension Hausdorff measure Homotopy group Homotopy Hurewicz theorem Hyperbolic 3-manifold Hyperbolic manifold Hyperbolic space Hypersurface Implicit function theorem Infimum and supremum Injective function Inner automorphism Isolated singularity Isometry group Isoperimetric problem Klein bottle Kleinian group Limit set Lipschitz continuity Mapping class group Maxima and minima Maximum principle Minimal surface of revolution Minimal surface Monotonic function Möbius transformation Norm (mathematics) Orthonormal basis Parametric surface Periodic function Poincaré conjecture Projection (linear algebra) Regularity theorem Riemann surface Riemannian manifold Schwarz reflection principle Second fundamental form Semi-continuity Simply connected space Special case Stein's lemma Subalgebra Subgroup Submanifold Subsequence Support (mathematics) Symplectic manifold Tangent space Teichmüller space Theorem Trace (linear algebra) Uniformization Uniqueness theorem Variational principle Yamabe problem |
| ISBN | 1-4008-8143-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- CONTENTS -- INTRODUCTION -- SURVEY LECTURES ON MINIMAL SUBMANIFOLDS -- ON THE EXISTENCE OF SHORT CLOSED GEODESICS AND THEIR STABILITY PROPERTIES -- EXISTENCE OF PERIODIC MOTIONS OF CONSERVATIVE SYSTEMS -- ARE HARMONICALLY IMMERSED SURFACES AT ALL LIKE MINIMALLY IMMERSED SURFACES? -- ESTIMATES FOR STABLE MINIMAL SURFACE S IN THREE DIMENSIONAL MANIFOLDS -- REGULARITY OF SIMPLY CONNECTED SURFACES WITH QUASICONFORMAL GAUSS MAP -- CLOSED MINIMAL SURFACES IN H Y PER BOLIC 3-MANIFOLDS -- MINIMAL SPHERES AND OTHER CONFORMAL VARIATIONAL PROBLEMS -- MINIMAL HYPERSURFACES OF SPHERES WITH CONS TANT SCALAR CURVATURE -- REGULAR MINIMAL HY PERSURF ACES EXIST ON MANIFOLDS IN DIMENSIONS UP TO SIX -- AFFINE MINIMAL SURFACES -- THE MINIMAL VARIETIES ASSOCIATED TO A CLOSED FORM -- NECESSARY CONDITIONS FOR SUBMANIFOLDS AND CURRENTS WITH PRESCRIBED MEAN CURVATURE VECTOR -- APPROXIMATION OF RECTIFIABLE CURRENTS BY LIPSCHITZ Q VALUED FUNCTIONS -- SIMPLE CLOSED GEODESICS ON OVALOIDS AND THE CALCULUS OF VARIATIONS -- ON THE GEHRING LINK PROBLEM -- CONSTRUCTING CRYSTALLIN E MINIMAL SURFACES -- REGULARITY OF AREA-MINIMIZING HYPERSURFACES AT BOUNDARIES WITH MULTIPLICITY -- NEW METHODS IN THE STUDY OF FREE BOUNDARY PROBLEMS -- SOME PROPERTIES OF CAPILLARY FREE SURFACE -- BERNSTEIN CONJECTURE IN HYPERBOLIC GEOMETRY -- Backmatter |
| Record Nr. | UNINA-9910154753403321 |
| Princeton, NJ : , : Princeton University Press, , 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Syntax and Semantics of Infinitary Languages / edited by Jon Barwise
| The Syntax and Semantics of Infinitary Languages / edited by Jon Barwise |
| Pubbl/distr/stampa | Berlin, : Springer, 1968 |
| Descrizione fisica | vi, 270 p. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] |
| Soggetto non controllato |
Compactness theorem
Computability theory Languages Logic Mathematical logic Model theory Proofs Syntax |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0254701 |
| Berlin, : Springer, 1968 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
