A finitely based theory of a non-trivial language,with exactly ℵ0 subcovers

LetL=f, g be the language with two unary operation symbols. I prove that the finitely based equational theory =[f₀=₀] ofL covers exactly ₀ others.Presented by S. Burris.Dedicated to George McNulty, my mentor in equational logic.     

An alternative construction of Conway's ordered field No

An -universally extending ordered field of power is constructed for each regular power where 0 < On and . When is inaccessible, the structure is either a (set) model of J. H. Conway's ordered field No or an isomorphic copy of No depending on whether or not is a set or a proper class.Presented by Jan Mycielski.     

On the number of non conjugate subgroups

We shall prove that every group of cardinality ₁ has at least ₁ non conjugate subgroups, and we shall generalize this theorem to many more uncountable cardinalities. For example underGCH for every uncountable cardinal and every groupG of cardinality ,G has at least non conjugate subgroups.Presented by W. Taylor.I would like to thank Rami Grossberg for writing and rewriting this paper, and Wilfrid Hodges for removing many errors and suggesting improvements in presentation; many facts are proved only due to his explicit request.This research was supported by grant (No. 1110) from the United States-Israel Binational Science Foundation.     

Reflecting stationary sets and successors of singular cardinals

REF is the statement that every stationary subset of a cardinal reflects, unless it fails to do so for a trivial reason. The main theorem, presented in Sect. 0, is that under suitable assumptions it is consistent that REF and there is a which is ⁺ⁿ -supercompact. The main concepts defined in Sect. 1 are PT, which is a certain statement about the existence of transversals, and the bad stationary set. It is shown that supercompactness (and even the failure of PT) implies the existence of non-reflecting stationary sets. E.g., if REF then for many PT(, ₁). In Sect. 2 it is shown that Easton-support iteration of suitable Levy collapses yield a universe with REF if for every singular which is a limit of supercompacts the bad stationary set concentrates on the right cofinalities. In Sect. 3 the use of oracle c.c. (and oracle proper—see [Sh-b, Chap. IV] and [Sh 100, Sect. 4]) is adapted to replacing the diamond by the Laver diamond. Using this, a universe as needed in Sect. 2 is forced, where one starts, and ends, with a universe with a proper class of supercompacts. In Sect. 4 bad sets are handled in ZFC. For a regular {<⁺ : cf<} is good. It is proved in ZFC that if=cf>₁ then {<⁺ : cf<} is the union of sets on which there are squares.     

On some problems of interpolation by ℒ-splines

_n (D) — ,s — _n (D), _v (v=1, 2, ...,s/2) — . _m={0x ₀<x ₁<...<x _2m–1<2,x _2m =x ₀+2} , x _j +1–x _j <(4s max _v )^–1,j=0, 1, ..., 2m –1, ( ) 2- - _n,m 2m , _m . , L _q - (1q) W ( _n )={f ₂ :f ^(n–1)AC ₂ , _n (D)f 1} 2- - (s _n f), _m . , - - _n,m .

---

---

The author expresses his gratitude to Yu. N. Subbotin for a useful discussion on the results of this paper.     

Один Способ Замены Переменных В теории Параболических Уравнений и Его Применение

. .-     

On the angular derivative and univalence

f . , , — , A f f(). , , f() 0 . , , ,A , f . , f() - f() . , , . (1976) ( ¦f(z)¦<1) . . (1969) ( ).     

Замечания об ихтерполировании

.      

A Comparison of Two Spaces of Generalized White Noise Functionals

In the literature (see [5, 6, 8]) there are two families of spaces called Kondratiev spaces: (_c)^± and (S _c)^± for 0 1. We investigate the relation between the spaces and show that they are topologically isomorphic when (^d) L2 (^d) (^d) is the underlying Gel'fand triple for (_c)^±. In this case we also give the explicit relation between the S-transform and -transform on (_c)^-1 and (S _c)^-1, respectively.     

Semilinear hyperbolic systems and equations with singular initial data

We study the weak limits (t, .)of solutions to semilinear strictly hyperbolic systems and wave equations with initial datau (0, .) approximating a distribution, 0 < 1. We propose an optimal link between the singularity of and the growth of the nonlinear term in order that exists. In this way we extend some of the results in [3], [10], [13].     

The trace to subsets ofR n of Besov spaces in the general case

R ⁿ. , , , F R ⁿ, F , R ⁿ R ⁿ . ^p,q (Rⁿ), >0, 1, q, — ( ) Rⁿ. , ^p,q (Rⁿ) ^F Rⁿ. , q B ^p,q (F), = – (n–)/, >0, — « », ad — F, . , . : , F=R ^d,F— « » F— R ⁿ, « », F. .

---

---

This work has been supported in part by the Swedish Natural Science Research Council.     

О лагранжевом интерполировании с узлами в корнях многочленов сонина-маркова

.      

Convergence of simultaneous Padé approximants to two dilogarithms

. .     

On ηα-groups and fields

Let :=. The following are known: two -sets of power are isomorphic. Let >0. Two ordered divisible Abelian groups that are -sets of power are isomorphic, two real closed fields that are -sets of power are isomorphic. The following is shown: (1) there exist 2 nonisomorphic ordered Abelian groups (respectively ordered fields) that are -sets of power ; (2) there exist 2 nonisomorphic ordered divisible Abelian groups (respectively real closed fields) of power all having the same order type; (3) there exist 2 nonisomorphic ordered divisible Abelian groups (respectively real closed fields) that are -sets having the same order type.     

On approximation by Riesz means concerning orthogonal series

, , . .

---

---

Dedicated to Academician S. M. Nikol'skii on his 90th birthday

---

This research was partially supported by the Hungarian National Foundation for Scientific Research under Grant # 234.     

The Milnor–Totaro Theorem for Space Polygons

If denotes the curvature and the torsion of a closed, generic, and oriented polygonal space curve X in , then we show that _X (² + ²) ds = _X ds + _X | | ds > 4 if is positive. We also show that _X (² + ²) ds 2n if no four consecutive vertices lie in a plane and X has linking number n with a straight line. These extend theorems of Milnor and Totaro.     

On optimality of spline interpolation for recovery of differentiable functions

W _p ^r (1p<) , . - r -1. =1 r-2.     

On the congruence problem in infinite dimensional sesquilinear spaces

If two subspaces V and V of a sesquilinear space E are congruent (i.e., there is an isometry : E E with (V)=V) then their corresponding quadratic lattices V(V, E) and V(V, E) are isomorphic. It is shown that the converse holds for important types of sesquilinear spaces E, provided that dim(E) ₃. However, the converse generally fails if dim(E) ₃.     

Large deviations for the invariant measure of a reaction-diffusion equation with non-Gaussian perturbations

Summary In this paper we establish a large deviations principle for the invariant measure of the non-Gaussian stochastic partial differential equation (SPDE) _t v =v +f(x,v )+(x,v ) . Here is a strongly-elliptic second-order operator with constant coefficients, h:=DH _xx-h, and the space variablex takes values on the unit circleS ¹. The functionsf and are of sufficient regularity to ensure existence and uniqueness of a solution of the stochastic PDE, and in particular we require that 0<mM wherem andM are some finite positive constants. The perturbationW is a Brownian sheet. It is well-known that under some simple assumptions, the solutionv ² is aC ^k (S ¹)-valued Markov process for each 0<1/2, whereC (S ¹) is the Banach space of real-valued continuous functions onS ¹ which are Hölder-continuous of exponent . We prove, under some further natural assumptions onf and which imply that the zero element ofC (S ¹) is a globally exponentially stable critical point of the unperturbed equation _t ⁰ = ⁰ +f(x,⁰), that has a unique stationary distributionv ^K, on (C (S ¹), (C ^K (S ¹))) when the perturbation parameter is small enough. Some further calculations show that as tends to zero,v ^K, tends tov ^K,0, the point mass centered on the zero element ofC (S ¹). The main goal of this paper is to show that in factv ^K, is governed by a large deviations principle (LDP). Our starting point in establishing the LDP forv ^K, is the LDP for the process , which has been shown in an earlier paper. Our methods of deriving the LDP forv ^K, based on the LDP for are slightly non-standard compared to the corresponding proofs for finite-dimensional stochastic differential equations, since the state spaceC (S ¹) is inherently infinite-dimensional.This work was performed while the author was with the Department of Mathematics, University of Maryland, College Park, MD 20742, USA     

On Finally Compact Spaces

Characterizations of final ⁺ -compactness in countably compact spaces and in weakly refinable spaces are given.