Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 / / edited by Juichi Shinoda, Theodore A. Slaman, and Tosiyuki Tugue |
Edizione | [1st ed. 1989.] |
Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1989] |
Descrizione fisica | 1 online resource (V, 226 p.) |
Disciplina | 511.3 |
Collana | Lecture Notes in Mathematics |
Soggetto topico |
Mathematics
Logic, Symbolic and mathematical |
ISBN | 3-540-48220-2 |
Classificazione |
00B25
03-06 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Recursively enumerable sets in models of ?2 collection -- The role of a filter quantifier in set theory -- Syntactical simulation of many-valued logic -- Consistency of Beeson's formal system RPS and some related results -- Elementary properties of a system of fundamental sequences for ?o -- The continuum hypothesis and the theory of the Kleene degrees -- ?1-Collection and the finite injury priority method -- Computational complexity of languages counting random oracles -- Infinitesimal calculus interpreted in infinitary logic. |
Record Nr. | UNISA-996466633003316 |
Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1989] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Nonlinear semigroups, partial differential equations and attractors : proceedings of a symposium held in Washington, DC, August 5-8 1985 / / edited by T. L. Gill, Woodford W. Zachary |
Edizione | [1st ed. 1987.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer-Verlag, , [1987] |
Descrizione fisica | 1 online resource (XII, 188 p.) |
Disciplina | 512.2 |
Collana | Lecture Notes in Mathematics |
Soggetto topico |
Group theory
Differential equations, Partial |
ISBN | 3-540-47791-8 |
Classificazione |
00B25
35-06 47-06 58-06 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Convergence properties of strongly-damped semilinear wave equations -- Numerical solution of certain nonlinear parabolic partial differential equations -- The explicit solution of nonlinear ordinary and partial differential equations I. Conceptual ideas -- Uniform boundness and genralized inverses in liapunov-schmidt method for subharmonics -- Existence of radially symmetric solutions of strongly damped wave equations -- Strongly damped semilinear second order equations -- Nonlinear semigroup theory and viscosity solutions of Hamilton-Jacobi PDE -- Evolution equations with nonlinear boundary conditions -- Asymptotically smooth semigroups and applications -- The principle of spatial averaging and inertial manifolds for reaction-diffusion equations -- Applications of semigroup theory to reaction-diffusion systems -- Ultrasingularities in nonlinear waves -- A reaction-hyperbolic system in physiology -- Compact perturbations of linear m-dissipative operators which lack Gihman's property -- Two compactness lemmas -- The riccati equation: When nonlinearity reduces to linearity. |
Record Nr. | UNISA-996466502303316 |
Berlin ; ; Heidelberg : , : Springer-Verlag, , [1987] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Seminaire de Probabilites XXV [[electronic resource] /] / edited by Jacques Azema, Paul A. Meyer, Marc Yor |
Edizione | [1st ed. 1991.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
Descrizione fisica | 1 online resource (VIII, 444 p.) |
Disciplina | 519.2 |
Collana | Séminaire de Probabilités |
Soggetto topico |
Probabilities
Probability Theory and Stochastic Processes |
ISBN | 3-540-38496-0 |
Classificazione |
00B25
60-06 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | fre |
Nota di contenuto | Théorie non linéaire du potentiel: Un principe unifié de domination et du maximum et quelques applications -- Quelques cas de représentation chaotique -- The Azéma martingales as components of quantum independent increment processes -- Realisation of a class of Markov processes through unitary evolutions in Fock space -- An additional remark on unitary evolutions in Fock space -- Generalized harmonic oscillators in quantum probability -- Application du “bébé fock” au modèle d’Ising -- Les “fonctions caractéristiques” des distributions sur l’espace de Wiener -- Notes on the Wiener semigroup and renormalization -- Some remarks on the theory of stochastic integration -- Sur la méthode de L. Schwartz pour les é.d.s. -- On almost sure convergence of modified Euler-Peano approximation of solution to an S.D.E. driven by a semimartingale -- On Newton’s method for stochastic differential equations -- Une remarque sur les equations differentielles stochastiques a solutions markoviennes -- Regularite d’ordre quelconque pour un modele statistique filtre -- Condition UT et stabilité en loi des solutions d’équations différentielles stochastiques -- Convergence en loi de fonctions aléatoires continues ou cadlag, propriétés de compacité des lois -- Calcul stochastique avec sauts sur une variete -- Sur le barycentre d’une probabilité dans une variété -- Inégalités de Sobolev faibles : un critère ?2 -- Multiplicative decomposition of nonsingular matrix valued semimartingales -- Intégrale multiple de Stratonovich pour le processus de poisson -- A continuous martingale in the plane that may spiral away to infinity -- Sur la mecanique statistique d’une particule brownienne sur le tore -- New sufficient conditions for the law of the iterated logarithm in Banach spaces -- Un résultat élémentaire de fiabilité. Application à la formule de Weierstrass sur la fonction gamma -- Stochastic integral equations for the random fields -- Decomposition du mouvement brownien avec dérive en un minimum local par juxtaposition de ses excursions positives et négatives -- Une remarque sur la théorie des grandes déviations -- On filtrations of Brownian polynomials -- An extension of Krein’s inverse spectral theorem to strings with nonreflecting left boundaries -- Necessary and sufficient conditions for the existence of m-perfect processes associated with Dirichlet forms -- Second order limit laws for the local times of stable processes -- Sur deux estimations d’intégrales multiples -- Calculs Antisymétriques… -- Generalizations of Gross’ and Minlos’ theorems -- A Generalized Biane process. |
Record Nr. | UNISA-996466759403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|