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.     

On the simplicity of the automorphism group ofP(ω)/fin

Summary We prove that the automorphism group ofP()/fin remains simple if ₂ Cohen reals are added to a model of ZFC+CH.This paper is based on a part of author's Dissertation [4] written under the supervision of Professor Sabine Koppelberg whom the author would like to thank for her encouragement during the preparation of the thesis. Thanks are also due to the referee for some valuable suggestions on improvement of the formulation     

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.     

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.     

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.     

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

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.     

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.     

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.     

Sur l'unique ergodicité des 1-formes fermées singulières

Summary We study the relations between the de Rham cohomology class of a closed differential 1-form with Morse singularities on a manifoldM of dimensionn3, and the ergodic properties of the foliationF it defines. We show by examples that, if the fundamental group is large enough, very different behaviours can occur in the same class. In contrast, if the fundamental group admits no surjective homomorphism onto the free group on 3 generators, thenF is always uniquely ergodic provided it has no compact leaf; if the natural homomorphism ₁(M)H ₁(M,Z)/torsion does not factor through a free group, then the same result is true in almost every cohomology class. We also give results about the existence of noncompact leaves and the number of ergodic measures.     

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.     

Torsion tensor and critical metrics on contact (2n+1)-manifolds

Contact Riemannian manifolds (M, ,g) satisfying the condition (1) =0, where is the torsion introduced byChern andHamilton [6] and is the characteristic vector field, have interesting geometric properties (see [6], [9], [11]). In this paper we give a variational characterization of compact contact Riemannian manifolds which satisfy (1). Moreover we study the tangent sphere bundles (T ₁ M, , g), where (,g) is the standard contact Riemannian structure, which satisfy the condition (1); in particular in the 3-dimensional case we find a surprising result (see Corollary 5.3).Supported by funds of the M.U.R.S.T.     

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

On countably compact,locally countable spaces

We study the cardinalities of countably compact, locally countableT ₃ spaces. For alln(<), there exists one of cardinality _n . IfV=L, then there exists one of cardinalityx iffx= orx =x. MA implies that there exists one of cardinality>2.     

Mengenwertige Masse und Fortsetzungen

Let (, _i) be a probability space for i=1,2 with and : ^m a correspondence, i.e. () is a non-void subset of ^m for all . We give necessary and sufficient conditions under which it holds, that ₂ extends ₁. iff _A d₂ is equal to _A d₁ for all A, where _A d_i is the set of all integrals _A f d_i of functions f: ^m with f()() _i.-a.e.     

On an asymmetric divisor problem with congruence conditions

For fixed positive integersab, natural numbersl ₁k ₁,l ₂k ₂ andn, denote withd _a,b (l ₁,k ₁;l ₂,k ₂;n) the number of all (,)N² with ^{a b} =n,l ₁(modk ₁),l ₂(modk ₂). In the present paper we establish asymptotic formulas for the Dirichlet summatory function ofd _a,b (l ₁,k ₁;l ₂,k ₂;n) with both upper and lower estimates of the error term, all of them uniform in the moduli.     

EM constructions for a class of generalized quantifiers

Summary We consider a class of Lindström extensions of first-order logic which are susceptible to a natural Skolemization procedure. In these logics Ehrenfeucht Mostowski (EM) functors for theories with arbitrarily large models can be obtained under suitable restrictions. Characteristic dependencies between algebraic properties of the quantifiers and the maximal domains of EM functors are investigated.Results are applied to Magidor Malitz logic,L(Q ^<), showing e.g. its Hanf number to be equal to (₁) in the countably compact case. Using results of Baumgartner, the maximal number of isomorphism types of linearly ordered models of regular cardinality is shown to be achieved for theories that admit an EM functor on a typically restricted domain.     

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.     

Transformation of Wiener measure under anticipative flows

Summary LetT()=+F() be a transformation from the Wiener space to itself with the range ofF() assumed to be in the Cameron-Martin space. The absolute continuity and the density function associated withT is considered;T is assumed to be embedded in or defined through a parameterizationT _t =+F _t () andF _t is assumed to be differentiable int. The paper deals first with the case where the range of thet-derivative ofF _t () is also in the Cameron-Martin space and new representations for the Radon-Nikodym derivative and the Carleman-Fredholm determinant are derived. The case where thet-derivative ofF _t is not in the Cameron-Martin space is considered next and results on the absolute continuity and the density function, under conditions which are considerably weaker than previously known conditions, are presented.The work of the second author was supported by the fund for promotion of research at the Technion