The structure of saturated free algebras

Requiring an algebraM to be both free (for the variety it generates) and ₁-saturated imposes very strong conditions onM. In the simplest examples (see below) there exist a finite number of relatively free algebrasA _o,...,A _n-1 whose theories are ₁-categorical such thatM is generated (as an algebra) by the UA _i In particular, this implies Th(M) has at most (+_o) models of cardinality . We will show a weaker structure theorem in the general case but deduce the same constraint on the spectrum ofT.Dedicated to Alfred Tarski on his 80th birthdayPartially supported by N.S.F. grant 77-01667.This research was partially supported by the United States Israel Binational Science Foundation grant 1110.Presented by R. McKenzie.     

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.     

An Investigation of the Fields of Bounded Formal Power Series by Means of Theory of Cuts

We consider a class K of real closed fields F, |F|=|G|=₁, where G is a group of Archimedean classes of F, and cofinality of each symmetric gap of F is ₁. We will show that this class is exactly a class of all bounded formal power series RG,₁, where G is a divisible Abelian group, card(G)=₁, under CH. A nonstandard real line ^*R, which is ₁-set belongs to this class; we will also consider a construction RG(L,P),₁ of fields from this class, where L is a totally ordered set, P is a totally ordered field, G(L,P) is a group of finite words. It will be describes symmetric gaps of such two fields in K, which are not ₁-set. Mathematics Subject Classifications (2000) 03E04, 12J15, 12J25.The work was supported by grant of Ministry of Education PD02-1.1-386.     

Estimation of the Coefficient of Multiple Determination

Assume that we have iid observations on the random vector X = (X ,...,X ) following a multivariate normal distribution N (,) where both R and (p.d.) are unknown. Let denote the multiple correlation coefficient between X and (X ,...,X ). The parameter = , called the multiple coefficient of determination, indicates the proportion of variability in X explained by its best linear fit based on (X ,..., X ). In this paper we consider the point estimation of under the ordinary squared error loss function. The usual estimators (MLE, UMVUE) have complicated risk expressions and hence it is quite difficult to get exact decision-theoretic results. We therefore follow the asymptotic decision theoretic approach (as done by Ghosh and Sinha (1981, Ann. Statist., 9, 1334-1338)) and study Second Order Admissibility of various estimators including the usual ones.     

Über ein Problem von Mordell in der Geometrie der Zahlen

For a latticeL in ⁿ with determinantd(L), let (L) denote the supremum of the values 2^–2 V(P)/d(L), taken over theL-admissible parallelepidesP, symmetric with respect to the origin and with faces parallel to the coordinate-axes. In 1936, Mordell asked for the constants _n = min (L) over alln-dimensional lattices. In this paper we investigate isolated minima of (L) in all over alln-dimensional lattices. In this paper we (Satz 1) and some examples are given. In particular, forn<=4, the set of lattices with isolated turns out to be dense in the space of lattices. Conversely, the set of (algebraically generated) lattices with non-isolated is dense, at least in the case of a plane (Satz 2).     

Products of chains with monochromatic maximal chains and antichains

There is a product of two linear orders of size with the property that every subset or complement thereof contains a maximal chain. Furthermore, for regular , there is a product of two linear orders of size ₊₂ that when colored with fewer than colors always has a monochromatic maximal chain. As a corollary, for every uncountable strong limit cardinal , there is an ordered set of cardinality that must be colored with at least colors before no monochromatic maximal chains are present. Duals of these results show that at least as much is true for maximal antichains.Research supported in part by ONR Grant N00014-91-J-1150.     

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.     

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) ₃.     

Measures on product spaces and the existence of strong Baire liftings

Some notions are introduced for studying measures on product spaces, the main concept being that of property (*). In case when the topological factors are separable metric spaces, this property is equivalent to the completion regularity. We prove that (*) is preserved under arbitrary products of measure spaces. As a consequence, we deduce a series of related results in measure theory (some of which are known). In particular, the following extension of a result by Losert is obtained: Subject to CH, every product of ₂ many completion regular measures, each supported on any product of ₁ many compact metric spaces admits a strong Baire lifting.     

Disintegration and perfectness of measure spaces

For every finite measure space (X,A,P) we find a unique representation P=Q₁+Q₂+Q₃ such that Q₁ is compact, Q₂ is perfect and purely noncompact and Q₃ is purely nonperfect. We show that every Pachl-_O-disintegrable probability space is Ramachandran-_O-disintegrable and therefore perfect and under a certain condition we prove the equivalence between compactness and Ramachandran-_O-disintegrability.     

Models with second order properties. III. Omitting types forL(Q)

We generalize Keisler's omitting types theorem forL(Q) in the ₁-interpretation, to most cases in which Chang's two cardinal theorem applies. As an application we answer positively a question of Magidor and Malitz on the compactness of their logic in cardinalities higher than ₁.     

The absence of bases from certain separable linear topological spaces

We give examples of separable linear topological spaces without Shauder-type bases. We prove that every linear set X of dimension ₀2₀ can be provided with a separable locally convex topology for which there is no Shauder-type basis.Translated from Matematicheskie Zametki, Vol. 12, No. 5, pp. 583–589, November, 1972.In conclusion the author wishes to express his gratitude to M. M. Dragilev for his attention to the paper.     

Minimization of the Conformal Radius under Circular Cutting of a Domain

Let D be a simply connected domain on the complex plane such that 0 D. For r > 0 , let D _r be the connected component of D {z : |z| < r} containing the origin. For fixed r, we solve the problem on minimization of the conformal radius R(D _r, 0) among all domains D with given conformal radius R(D, 0). This also leads to the solution of the problem on maximization of the logarithmic capacity of the local -extension E (a) of E among all continua E with given logarithmic capacity. Here, E (a) = E {z : |z – a| }, a E, > 0. Bibliography: 12 titles.     

Inverse problem for potentials of measures in a Hilbert space

For a Banach space E and a number p R, under the assumption of the convergence of the integral, one considers the potential g(a)= _E x–a ^p d(x), where is a finite Borel measure on E. One solves the problem of the determination of the measure from known values of the function g(a),a E. In the note one gives an explicit solution of the problem for an infinite-dimensional Hilbert space, which exists for p0, 2, 4,.... For certain finite-dimensional Banach spaces one solves the inverse problem with the aid of the known Levy representations for the norms.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 177, pp. 73–77, 1989.     

The Spectral Theory of Amenable Actions and Invariants of Discrete Groups

Let G denote a semisimple group, a discrete subgroup, B=G/P the Poisson boundary. Regarding invariants of discrete subgroups we prove, in particular, the following:(1) For any -quasi-invariant measure on B, and any probablity measure on , the norm of the operator () on L ²(B,) is equal to (), where is the unitary representation in L ²(X,), and is the regular representation of .(2) In particular this estimate holds when is Lebesgue measure on B, a Patterson–Sullivan measure, or a -stationary measure, and implies explicit lower bounds for the displacement and Margulis number of (w.r.t. a finite generating set), the dimension of the conformal density, the -entropy of the measure, and Lyapunov exponents of .(3) In particular, when G=PSL₂() and is free, the new lower bound of the displacement is somewhat smaller than the Culler–Shalen bound (which requires an additional assumption) and is greater than the standard ball-packing bound.We also prove that ()=_G() for any amenable action of G and L ¹(G), and conversely, give a spectral criterion for amenability of an action of G under certain natural dynamical conditions. In addition, we establish a uniform lower bound for the -entropy of any measure quasi-invariant under the action of a group with property T, and use this fact to construct an interesting class of actions of such groups, related to 'virtual' maximal parabolic subgroups. Most of the results hold in fact in greater generality, and apply for instance when G is any semi-simple algebraic group, or when is any word-hyperbolic group, acting on their Poisson boundary, for example.     

Forcings with the countable chain condition and the covering number of the Marczewski ideal

We prove that the covering number of the Marczewski ideal is equal to ₁ in the extension with the iteration of Hechler forcing.     

The associativity equation revisited

Summary Consideration of the Associativity Equation,x (y z) = (x y) z, in the case where:I × I I (I a real interval) is continuous and satisfies a cancellation property on both sides, provides a complete characterization of real continuous cancellation semigroups, namely that they are topologically order-isomorphic to addition on some real interval: ( – ,b), ( – ,b], –, +), (a, + ), or [a, + ) — whereb = 0 or –1 anda = 0 or 1. The original proof, however, involves some awkward handling of cases and has defied streamlining for some time. A new proof is given following a simpler approach, devised by Páles and fine-tuned by Craigen.     

The normal subgroup lattice of 2-transitive automorphism groups of linearly ordered sets

Using combinatorial and model-theoretic means, we examine the structure of normal subgroup lattices N(A()) of 2-transitive automorphism groups A() of infinite linearly ordered sets (, ). Certain natural sublattices of N(A()) are shown to be Stone algebras, and several first order properties of their dense and dually dense elements are characterized within the Dedekind-completion of (, ). As a consequence, A() has either precisely 5 or at least 2²¹ (even maximal) normal subgroups, and various other group- and lattice-theoretic results follow.     

An Ordered Set of Size ℵ1 with Monochromatic Maximal Chains

Every model of ZFC contains a product of two linear orders, each of size ₁, with the property that every subset or complement thereof contains a maximal chain.     

Bases in the spaces C and Lp

In this paper it is proved that for any numbers A and B, 0k(x), k=1, 2, ..., whose graphs lie in the strip 0x1, AyB. It is shown that for the space L_p, p>1, there is no analogous basis in a strip theorem.Translated from Matematicheskie Zametki, Vol. 10, No. 6, pp. 635–640, December, 1971.