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.     

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

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.     

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.     

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.     

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.     

Characterization,structure and analysis on abelian ℒ∞ groups

An abelian topological group is an group if and only if it is a locally -compactk-space and every compact subset in it is contained in a compactly generated locally compact subgroup. Every abelian groupG is topologically isomorphic to G ₀ where ₀ andG ₀ is an abelian group where every compact subset is contained in a compact subgroup. Intrinsic definitions of measures, convolution of measures, measure algebra,L ₁-algebra, Fourier transforms of abelian groups are given and their properties are studied.     

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.     

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.     

Quasi-conformal mapping theorem and bifurcations

LetH be a germ of holomorphic diffeomorphism at 0 . Using the existence theorem for quasi-conformal mappings, it is possible to prove that there exists a multivalued germS at 0, such thatS(ze ²ⁱ )=HS(z) (1). IfH is an unfolding of diffeomorphisms depending on (,0), withH ₀=Id, one introduces its ideal . It is the ideal generated by the germs of coefficients (a _i (), 0) at 0 ^k , whereH (z)–z=a _i ()z ⁱ . Then one can find a parameter solutionS (z) of (1) which has at each pointz ₀ belonging to the domain of definition ofS ₀, an expansion in seriesS (z)=z+b _i ()(z–z ₀) ⁱ with , for alli.This result may be applied to the bifurcation theory of vector fields of the plane. LetX be an unfolding of analytic vector fields at 0 ² such that this point is a hyperbolic saddle point for each . LetH (z) be the holonomy map ofX at the saddle point and its associated ideal of coefficients. A consequence of the above result is that one can find analytic intervals , , transversal to the separatrices of the saddle point, such that the difference between the transition mapD (z) and the identity is divisible in the ideal . Finally, suppose thatX is an unfolding of a saddle connection for a vector fieldX ₀, with a return map equal to identity. It follows from the above result that the Bautin ideal of the unfolding, defined as the ideal of coefficients of the difference between the return map and the identity at any regular pointz, can also be computed at the singular pointz=0. From this last observation it follows easily that the cyclicity of the unfoldingX , is finite and can be computed explicity in terms of the Bautin ideal.Dedicated to the memory of R. Mañé     

Sensitivity analysis of the greatest eigenvalue of a symmetric matrix via the ɛ-subdifferential of the associated convex quadratic form

LetA(·) be ann × n symmetric affine matrix-valued function of a parameteruR ^m , and let (u) be the greatest eigenvalue ofA(u). Recently, there has been interest in calculating (u), the subdifferential of atu, which is useful for both the construction of efficient algorithms for the minimization of (u) and the sensitivity analysis of (u), namely, the perturbation theory of (u). In this paper, more generally, we investigate the Legendre-Fenchel conjugate function of (·) and the -subdifferential (u) of atu. Then, we discuss relations between the set (u) and some perturbation bounds for (u).The author is deeply indebted to Professor J. B. Hiriart-Urruty who suggested this study and provided helpful advice and constant encouragement. The author also thanks the referees and the editors for their substantial help in the improvement of this paper.     

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

Finite cutsets and finite antichains

An ordered set (P,) has the m cutset property if for each x there is a set Fx with cardinality less than m, such that each element of Fx is incomparable to x and {x} Fx meets every maximal chain of (P,). Let n be least, such that each element x of any P having the m cutset property belongs to some maximal antichain of cardinality less than n. We specify n for m < w. Indeed, n-1=m= width P for m=1,2,n=5 if m=3 and n₁ if m 4. With the added hypothesis that every bounded chain has a supremum and infimum in P, it is shown that for 4m₀, n=₀. That is, if each element x has a finite cutset Fx, each element belongs to a finite maximal antichain.This work was supported by the NSERC of Canada.     

On spaces of Baire I functions over K-analytic spaces

Suppose that is a relatively countably compact subset of B₁(X), the space of Baire I functions over a K-analytic space X equipped with the pointwise convergence topology. It is proved that (1) the closure of is a strongly countably compact Frechét-Urysohn space; (2) if is ₁ -compact, is a bicompactum; (3) if X is a paracompact space, the closure of is a bicompactum.Translated from Matematicheskie Zametki, Vol. 52, No. 3, pp. 108–116, September, 1992.     

Many simple cardinal invariants

Summary Forg in we definec(f,g) be the least number of uniform trees withg-splitting needed to cover a uniform tree withf-splitting. We show that we can simultaneously force ₁ many different values for different functions (f,g). In the language of [B1]: There may be ₁ many distinct uniformII ₁ ¹ characteristics.Supported by Israeli Academy of Sciences, Basic Research FundPublication 448. Supported partially by Israeli Academy of Sciences, Basic Research Fund and by the Edmund Landau Center for research in Mathematical Analysis (supported by the Minerva Foundation, Germany)     

The number of linear orders on a field

An example is given of a field which can be ordered in exactly ways where is a given cardinal number.Translated from Matematicheskie Zametki, Vol. 6, No. 2, pp. 201–211, August, 1969.     

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].     

Sukzessive Minima mit und ohne Nebenbedingungen

Given semi-normsf andg on ⁿ and a real number >0. Then the successive minima off under the constraintg are defined by _j : = inf {: there existj linear independent vectors inZ ⁿ withf andg}. The main theorem of this paper (Lagrange multiplier theorem) states that the successive minima of a certainnorm h on ⁿ (without constraints) coincide with the _j 's up to bounded factors. Moreover, this norm is constructed explicitly. Using Minkowski's wellknown theorem on successive minima and our result certain inequalities on simultaneous Diophantine approximations are derived.