On Models Constructed by Means of the Arithmetized Completeness Theorem

In this paper we study the model theory of extensions of models of first‐order Peano Arithmetic (PA) by means of the arithmetized completeness theorem (ACT) applied to a definable complete extension of PA in the original model. This leads us to many interesting model theoretic properties equivalent to reflection principles and ω‐consistency, and these properties together with the associated first‐order schemes extending PA are studied.     

On the central limit theorem for the stationary Poisson process of compact sets

Stochastic geometry models based on a stationary Poisson point process of compact subsets of the Euclidean space are examined. Random measures on ?^d, derived from these processes using Hausdorff and projection measures are studied. The central limit theorem is formulated in a way which enables comparison of the various estimators of the intensity of the produced random measures. Approximate confidence intervals for the intensity are constructed. Their use is demonstrated in an example of length intensity estimation for the segment processes. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

ω‐saturated quasi‐minimal models of Th(ℚω, +, σ, 0)

We show that (ℚ^ω, +, σ, 0) is a quasi-minimal torsion-free divisible abelian group. After discussing the axiomatization of the theory of this structure, we present its ω-saturated quasi-minimal model. (© 2005 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

New geometric properties of Banach spaces

In this paper, we introduce new geometric properties as generalizations of p‐uniform smoothness and q‐uniform convexity of Banach spaces. Furthermore, using generalized Beckner's inequality, we characterize the properties in terms of norm inequalities. As an application, we consider the duality relation.     

Fully discrete T‐ψ finite element method to solve a nonlinear induction hardening problem

We study an induction hardening model described by Maxwell's equations coupled with a heat equation. The magnetic induction field is assumed a nonlinear constitutional relation and the electric conductivity is temperature‐dependent. The T ‐ψ method is to transform Maxwell's equations to the vector–scalar potential formulations and to solve the potentials by means of the finite element method. In this article, we present a fully discrete T ‐ψ finite element scheme for this nonlinear coupled problem and discuss its solvability. We prove that the discrete solution converges to a weak solution of the continuous problem. Finally, we conclude with two numerical experiments for the coupled system.     

Mixing Properties and Central Limit Theorem for a Class of Non-Identical Piecewise Monotonic C2 — Transformations

For a sequence T⁽¹⁾, T⁽²⁾,…of piecewise monotonic C² - transformations of the unit interval I onto itself, we prove exponential ψ- mixing, an almost Markov property and other higher-order mixing properties. Furthermore, we obtain optimal rates of convergence in the central limit Theorem and large deviation relations for the sequence f_k oT(k?1)o…oT⁽¹⁾, k=1, 2, …, provided that the real-valued functions f₁, f₂,…on I are of bounded variation and the corresponding probability measure on I possesses a positive, Lipschitz-continuous Lebesgue density.     

Stability of the fractional Volterra integro‐differential equation by means of ψ‐Hilfer operator

In this paper, using the Riemann‐Liouville fractional integral with respect to another function and the ψ?Hilfer fractional derivative, we propose a fractional Volterra integral equation and the fractional Volterra integro‐differential equation. In this sense, for this new fractional Volterra integro‐differential equation, we study the Ulam‐Hyers stability and, also, the fractional Volterra integral equation in the Banach space, by means of the Banach fixed‐point theorem. As an application, we present the Ulam‐Hyers stability using the α‐resolvent operator in the Sobolev space .     

On Vaught’s Conjecture and finitely valued MV algebras

We show that the complete first order theory of an MV algebra has $2^{\aleph _0}$ countable models unless the MV algebra is finitely valued. So, Vaught's Conjecture holds for all MV algebras except, possibly, for finitely valued ones. Additionally, we show that the complete theories of finitely valued MV algebras are $2^{\aleph _0}$ and that all ω‐categorical complete theories of MV algebras are finitely axiomatizable and decidable. As a final result we prove that the free algebra on countably many generators of any locally finite variety of MV algebras is ω‐categorical.     

A Formula for the Tail Probability of a Multivariate Normal Distribution and Its Applications

An exact asymptotic formula for the tail probability of a multivariate normal distribution is derived. This formula is applied to establish two asymptotic results for the maximum deviation from the mean: the weak convergence to the Gumbel distribution of a normalized maximum deviation and the precise almost sure rate of growth of the maximum deviation. The latter result gives rise to a diagnostic tool for checking multivariate normality by a simple graph in the plane. Some simulation results are presented.     

Existence and global attractiveness of a square‐mean ‐pseudo almost automorphic solution for some stochastic evolution equation driven by Lévy noise

In this work, we introduce the concept of μ‐pseudo almost automorphic processes in distribution. We use the μ‐ergodic process to define the spaces of μ‐pseudo almost automorphic processes in the square mean sense. We establish many interesting results on the functional space of such processes like a composition theorem. Under some appropriate assumptions, we establish the existence, the uniqueness and the stability of the square‐mean μ‐pseudo almost automorphic solutions in distribution to a class of abstract stochastic evolution equations driven by Lévy noise. We provide an example to illustrate our results.