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

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.     

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.     

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.     

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.     

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.     

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.     

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.     

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

Lipschitz and darbo conditions for the superposition operator in ideal spaces

Summary In this paper we give necessary and sufficient conditions for the superposition operator Fx(s)=f(s, x(s)) to satisfy a Lipschitz condition Fx₁ - Fx₂kx₁ - x₂ or a Darbo condition (FN)k(N) in ideal spaces of measurable functions, where is the Hausdorff measure of noncompactness. Moreover, we characterize a large class of spaces in which the above mentioned two conditions are equivalent.

---

Sunto In questo lavoro diamo delle condizioni necessarie e sufficienti perchè l'operatore di sovrapposizione Fx(s)=f (s, x(s)) soddisfi alla condizione di Lipschitz Fx₁–Fx₂ kx₁–x₂ o quella di Darbo (FN)k(N) in spazi ideali di funzioni misurabili, ove è la misura di non compattezza di Hausdorff. Inoltre, caratterizziamo un'ampia classe di spazi in cui le suddette due condizioni sono equivalenti.

     

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.     

Interpolation of spectra

By the M.Riesz Convexity Theorem, an operator T on the space of simple integrable functions into the measurable functions (on some measure space) which has continuous extensions to L^p() and L^q() , where 1 p q , also has continuous exten — sions to all L^r () , p r q . It is shown that, whenever (T_p) and (T_q) are o-dimensional (in particular, countable) then the spectra (T_r) (p r q) are pairwise identical. For q = , only w^*-continuous extensions are considered. An example due to Dayanithy shows that the conclusion fails in general.     

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.     

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.     

The Ramsey property for collections of sequences not containing all arithmetic progressions

A family of sequences has the Ramsey property if for every positive integerk, there exists a least positive integerf (k) such that for every 2-coloring of {1,2, ...,f (k)} there is a monochromatick-term member of . For fixed integersm > 1 and 0 q < m, let _q(m) be the collection of those increasing sequences of positive integers {x ₁,..., x_k} such thatx _i+1 – x_i q(modm) for 1 i k – 1. Fort a fixed positive integer, denote byA _t the collection of those arithmetic progressions having constant differencet. Landman and Long showed that for allm 2 and 1 q < m, _q(m) does not have the Ramsey property, while _q(m) A _m does. We extend these results to various finite unions of _q(m) 's andA _t 's. We show that for allm 2, _q=1 ^m–1 _q(m) does not have the Ramsey property. We give necessary and sufficient conditions for collections of the form _q(m) ( _{t T} A _t) to have the Ramsey property. We determine when collections of the form _a(m₁) _b(m₂) have the Ramsey property. We extend this to the study of arbitrary finite unions of _q(m)'s. In all cases considered for which has the Ramsey property, upper bounds are given forf .     

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

Complemented subspaces of sums and products of banach spaces

Summary We prove that, when X is one of the Banach spaces l^p (1p ) or c₀, then every infinite-dimensional complemented subspace of X^N (resp. X^(N)) is isomorphic to one of the following spaces: (, X, × X, X^N (resp. , X, X, X^(N)). Therefore, X^N and X^(N) are primary. We also give some consequences and related results.The second author acknowledges partial support from the Italian Ministero della Pubblica Istruzione.     

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.     

The Second Lacuna in the Orders of Movement Groups of the Spaces U n

We prove the nonexistence of symmetrically linearly connected spaces of hyperplane elements admitting a movement group G _r with n ² - n + 2 r n² - 1, n 5.