On the homogeneity property for certain quantifier logics

Summary The local homogeneity property is defined as in [Mak]. We show thatL (Q₁) and some related logics do not have the local homogeneity property, whereas cofinality logicL (Q ^cf) has the homogeneity property. Both proofs use forcing and absoluteness arguments.     

Structure of Free Interpolation Sets for Analytic Function Spaces Determined by a Continuity Modulus

We describe the evolution of boundary interpolation sets between the disk-algebra and Hölder spaces of analytic functions. For the disk-algebra, interpolation sets are sets of zero measure, while for Hölder spaces of order , interpretation sets are porous. For the Hölder-type classes corresponding to a continuity modulus , a necessary condition for free interpolation turns into a certain condition of -porosity. Any set of zero measure is -porous for some . We establish a Muckenhoupt-type estimate; such estimates may be useful in the proof of sufficiency of -porosity conditions. Bibliography: 7 titles.     

Galois Graphs: Walks, Trees and Automorphisms

Given a symmetric polynomial (x, y) over a perfect field k of characteristic zero, the Galois graph G() is defined by taking the algebraic closure as the vertex set and adjacencies corresponding to the zeroes of (x, y). Some graph properties of G(), such as lengths of walks, distances and cycles are described in terms of . Symmetry is also considered, relating the Galois group Gal( /k) to the automorphism group of certain classes of Galois graphs. Finally, an application concerning modular curves classifying pairs of isogeny elliptic curves is revisited.     

On conditions for oscillation and nonoscillation of the solutions of a semilinear second-order differential equation

We establish sufficient conditions for oscillation and nonoscillation of regular solutions of the secondorder differential equation Sign y=0, where <1 and p: [a,[ , –< a < + is a locally summable function.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 46, No. 7, pp. 833–841, July, 1994.     

On the best approximation in the metric of L to certain classes of functions by Haar-system polynomials

Let H, H ^L be classes of functionsf(x) whose modulus of continuity (f; t) and, respectively, integral modulus of continuity(f; t)_L do not exceed a given modulus of continuity(t), while H_v is a class of functionsf(x) whose variation fdoes not exceed a given number V > 0. Bounds are obtained for the upper limit of the best approximations in the metric of L by Haar-system polynomials on the classes just introduced (on the class H ^L only when (t)=Kt). These bounds are exact for class H_V and, in case(t) is convex, also for the classes H and H ^L .Translated from Matematicheskie Zametki, Vol. 6, No. 1, pp. 47–54, July, 1969.The author wishes to thank N. P. Korneichuk for having posed the problem and for his constant attention to this work.     

Quasimonotonicity,regularity and duality for nonlinear systems of partial differential equations

Summary We prove partial regularity for the vector-valued differential forms solving the system (A(x, ))=0, d=0, and for the gradient of the vector-valued functions solving the system div A(x, Du)=B(x, u, Du). Here the mapping A, with A(x, w) (1+ + ¦¦²)^{(p – 2)/2} (p2), satisfies a quasimonotonicity condition which, when applied to the gradient A(x, )=Df(x, ) of a real-valued functionf, is analogous to but stronger than quasiconvexity for f. The case 1相似文献   

On unconditionally convergent basis expansions in the space of continuous functions

[0,1], - H .

---

---

This paper was written during the author's scholarship at the State University of Odessa in the USSR.     

Concretely Locally Presentable and Locally Generated Categories

We give concrete versions of the characterizations of locally -presentable (resp. -generated) categories as categories of models of (resp. weakly) -ary limit-theories and of (resp. weakly) -ary essentially algebraic theories. By concrete we mean that starting with a category of -structures, the theories obtained are extensions of the original ones, and the equivalences of categories are concrete isomorphisms. -presentable and -generated objects are also investigated from this viewpoint.     

Converse results on equiconvergence of interpolating polynomials

, n- n- 1 , . , , ( « ») f .     

Mean-field critical behaviour for correlation length for percolation in high dimensions

Summary Extending the method of [27], we prove that the corrlation length of independent bond percolation models exhibits mean-field type critical behaviour (i.e. (p(p _c –p)^–1/2 aspp _c ) in two situations: i) for nearest-neighbour independent bond percolation models on ad-dimensional hypercubic lattice ^d , withd sufficiently large, and ii) for a class of spread-out independent bond percolation models, which are believed to belong to the same universality class as the nearest-neighbour model, in more than six dimensions. The proof is based on, and extends, a method developed in [27], where it was used to prove the triangle condition and hence mean-field behaviour of the critical exponents , , , and ₂ for the above two cases.     

Equivalence Bimodule Between Non-Commutative Tori

The non-commutative torus C ^*(ⁿ,) is realized as the C*-algebra of sections of a locally trivial C*-algebra bundle over S with fibres isomorphic to C ^*n/S, ₁) for a totally skew multiplier ₁ on ⁿ/S. D. Poguntke [9] proved that A is stably isomorphic to C(S) C(^*( Zⁿ/S, ₁) C(S) A M_kl( C) for a simple non-commutative torus A and an integer kl. It is well-known that a stable isomorphism of two separable C*-algebras is equivalent to the existence of equivalence bimodule between them. We construct an A-C(S) A-equivalence bimodule.     

On the distribution of points of maximal deviation in complex Čebyšev approximation

f — , . p _n (f) f . , n+2 , f–p _n (f) . , n . , .

---

On the distribution of points of maximal deviation in complex ebyev approximation

     

Classification analytique d'équations différentielles ydy +...=0 et espace de modules

Résumé Dans ce travail, on s'intéresse à la classification analytique de certains types d'équations différentielles de (²,0) de la forme =ydy+...=O Cette classification est en général donnée par celle de l'holonomie projective apparaissant dans la résolution de . Dans un cas spécial la classification est donnée par celles de l'holonomie associée à l'unique séparatrice de . On précise l'espace de modules et on prouve la rigidité générique de .

---

In this paper we study the analytic classification of class of differential equations =ydy+...=O in (²,0). We prove that generically they are rigid. We also give the moduli spaces in special cases.

---

---

L'auteur remercie l'IRMAR pour l'accueil qu'il a rencontré durant ses séjours (long et courts) à l'institut.     

Extensions and selections in subspaces ofC(K)

LetK be a compact Hausdorff space and letFK be a peak interpolation set for a function algebraAC(K). Let be a map fromK to the family of all convex subsets of such that the set {(z, x)zK, x(z)} is open inK×C and such thatg(z)(z) (zK) for somegA. We prove that everyfC(F) satisfyingf(s)(s) (sF) (f(s)closure (s) (sF)) admits an extensionfAA} satisfyingf(z)(z) (zK) (f(z))}closure (z) (zK), respectively). We prove a more general theorem of this kind and present various applications which generalize known dominated interpolation theorems for subspaces ofC(K).     

Periodic solutions of differential equations in Banach spaces

Let X be a Banach space, DX, f: [0,)xDX continuous and -periodic. In this paper we consider various conditions on D and f sufficient for existence of an -periodic solution of the differential equation u=f(t,u). In the main, we shall assume that D is closed bounded and convex and f satisfies a boundary condition at D such that D is flow invariant for u=f(t,u). The map f is assumed to be either compact or dissipative or a certain perturbation of such maps.     

Approximation of ultra-differentiable functions by polynomials and entire functions

This article deals with ultra-differentiable functions in the sense of A. Beurling. Quasi-analytic classes, in particular the real analytic, are included. A function f is shown to be -ultra-differentiable in the neighbourhood of a compact set K if and only if f can be approximated with a certain speed by holomorphic functions of exponential type n or polynomials of degree n for n. The speed is measured in terms of the weight .     

On New Types of ω-Fibered Fitting Classes of Finite Groups

We construct an infinite set of new types of -fibered Fitting classes of finite groups that differ from -local classes. We also describe the structure of maximal inner -satellites for the main types and establish a relationship between -fibered and -foliated Fitting classes.     

О решеткахИ-Радикалов, строгих слева Радикалов, наследственных слева радикалов

.     

Singular Rank One Perturbations of Self-Adjoint Operators and Krein Theory of Self-Adjoint Extensions

Gesztesy and Simon recently have proven the existence of the strong resolvent limit A_, for A_, = A + (·), where A is a self-adjoint positive operator, being the A-scale). In the present note it is remarked that the operator A_, also appears directly as the Friedrichs extension of the symmetric operator :=A \{f (A)| f,=0\}. It is also shown that Krein's resolvents formula: (A_{_b,}-z)^-1 =(A-z)^-1+ (·, ) _z, with b=b-(1+z) (_z,_-1),_z= (A-z)^-1 defines a self-adjoint operator A_b, for each and b R¹. Moreover it is proven that for any sequence _n which goes to in there exists a sequence _n0 such that A_b, in the strong resolvent sense.     

On upper bounds of Fourier-Walsh coefficients

An upper bound is established for the upper bounds of the Fourier-Walsh coefficients a_n(f) whose modulus of continuity (,f) does not exceed a given modulus of continuity (). In the case of convex majorants of (), these bounds are attained for individual ordinal numbers n.Translated from Matematicheskie Zametki, Vol. 6, No. 6, pp. 725–736, December, 1969.