Categoricity of computable infinitary theories

Computable structures of Scott rank are an important boundary case for structural complexity. While every countable structure is determined, up to isomorphism, by a sentence of , this sentence may not be computable. We give examples, in several familiar classes of structures, of computable structures with Scott rank whose computable infinitary theories are each -categorical. General conditions are given, covering many known methods for constructing computable structures with Scott rank , which guarantee that the resulting structure is a model of an -categorical computable infinitary theory. Work on this paper began at the Workshop on Model Theory and Computable Structure Theory at University of Florida Gainesville, in February, 2007. The authors are grateful to the organizers of this workshop. They are also grateful for financial support from National Science Foundation grants DMS DMS 05-32644, DMS 05-5484. The second author is also grateful for the support of grants RFBR 08-01-00336 and NSc-335.2008.1.     

Degree spectra of the successor relation of computable linear orderings

We establish that for every computably enumerable (c.e.) Turing degree b the upper cone of c.e. Turing degrees determined by b is the degree spectrum of the successor relation of some computable linear ordering. This follows from our main result, that for a large class of linear orderings the degree spectrum of the successor relation is closed upward in the c.e. Turing degrees. The authors acknowledge partial support by the NSF binational grant DMS-0554841, and Harizanov by the NSF grant DMS-0704256, and Chubb by the Sigma Xi Grant in Aid of Research.     

The elementary diagram of a trivial,weakly minimal structure is near model complete

We prove that if M is any model of a trivial, weakly minimal theory, then the elementary diagram T(M) eliminates quantifiers down to Boolean combinations of certain existential formulas. M. C. Laskowski has been partially supported by NSF grant DMS-0600217.     

Chains and antichains in partial orderings

We study the complexity of infinite chains and antichains in computable partial orderings. We show that there is a computable partial ordering which has an infinite chain but none that is or , and also obtain the analogous result for antichains. On the other hand, we show that every computable partial ordering which has an infinite chain must have an infinite chain that is the difference of two sets. Our main result is that there is a computably axiomatizable theory K of partial orderings such that K has a computable model with arbitrarily long finite chains but no computable model with an infinite chain. We also prove the corresponding result for antichains. Finally, we prove that if a computable partial ordering has the feature that for every , there is an infinite chain or antichain that is relative to , then we have uniform dichotomy: either for all copies of , there is an infinite chain that is relative to , or for all copies of , there is an infinite antichain that is relative to .     

Pointwise convergence for semigroups in vector-valued <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> spaces

Suppose that {T _t  : t  ≥  0} is a symmetric diffusion semigroup on L ²(X) and denote by its tensor product extension to the Bochner space , where belongs to a certain broad class of UMD spaces. We prove a vector-valued version of the Hopf–Dunford–Schwartz ergodic theorem and show that this extends to a maximal theorem for analytic continuations of on . As an application, we show that such continuations exhibit pointwise convergence.     

The mapping class group and the Meyer function for plane curves

For each d ≥ 2, the mapping class group for plane curves of degree d will be defined and it is proved that there exists uniquely the Meyer function on this group. In the case of d = 4, using our Meyer function, we can define the local signature for four-dimensional fiber spaces whose general fibers are non-hyperelliptic compact Riemann surfaces of genus 3. Some computations of our local signature will be given.     

Quasiminimizers in one dimension: integrability of the derivative,inverse function and obstacle problems

It is shown that a K-quasiminimizer u for the one-dimensional p-Dirichlet integral is a K′-quasiminimizer for the q-Dirichlet integral, 1  ≤  q  <  p ₁(p, K), where p ₁(p, K) > p; the exact value for p ₁(p, K) is obtained. The inverse function of a non-constant u is also K′′-quasiminimizer for the s-Dirichlet integral and the range of the exponent s is specified. Connections between quasiminimizers, superminimizers and solutions to obstacle problems are studied.     

On orbits of automorphism groups II

Let G be a finite group, let A be a group of automorphisms of G and let C_G(A) denote the subgroup of fixed points of A in G. If the order of C_G(A) is coprime to the number of orbits of A in G, then C_G(A) is contained in the autocommutator subgroup [G, A]. The notion of class-avoiding automorphism is used to extend theorems of J. Thompson and P. Rowley. Received: 3 November 2008, Revised: 1 December 2008     

Shelah’s work on non-semi-proper iterations,I

In this paper, we give details of results of Shelah concerning iterated Namba forcing over a ground model of CH and iteration of P[W] where W is a stationary subset of ω ₂ concentrating on points of countable cofinality.     

Linear fractional mappings: invariant sets, semigroups and commutativity

We study commutativity and embeddability (into continuous semi-groups) properties of linear fractional self-mappings of the open unit disk in the complex plane. The common thread in our approach is the classical notion of the Kœnigs function which we use in each of the three possible cases (dilation, hyperbolic and parabolic). Since we are interested in a classical subject, the paper is written in the style of a survey, in order to make it accessible to a wider audience. Therefore it contains, in addition to our new results, an exposition of most relevant facts. Dedicated to Professor Felix E. Browder with admiration and respect     

Sheaf toposes for realizability

We compare realizability models over partial combinatory algebras by embedding them into sheaf toposes. We then use the machinery of Grothendieck toposes and geometric morphisms to study the relationship between realizability models over different partial combinatory algebras. This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction of Dana Scott.     

Some subordination results for classes of analytic functions defined by the Al-Oboudi–Al-Amoudi operator

In this paper, we investigate several interesting subordination results of some classes of analytic functions defined by means of the Al-Oboudi–Al-Amoudi operator. Received: 15 August 2008, Revised: 19 November 2008     

Finite isometry groups of 4-manifolds with positive sectional curvature

Let M be an oriented compact Riemannian 4-manifold with positive sectional curvature. Let G be a finite subgroup of the isometry group of M. We prove that, if G is a finite group of order , then

Invariants of knot diagrams

We construct a new order 1 invariant for knot diagrams. We use it to determine the minimal number of Reidemeister moves needed to pass between certain pairs of knot diagrams. J. Hass was partially supported by an NSF grant.     

Tautness for riemannian foliations on non-compact manifolds

For a riemannian foliation on a closed manifold M, it is known that is taut (i.e. the leaves are minimal submanifolds) if and only if the (tautness) class defined by the mean curvature form (relatively to a suitable riemannian metric μ) is zero (cf. álvarez in Ann Global Anal Geom 10:179–194, 1992). In the transversally orientable case, tautness is equivalent to the non-vanishing of the top basic cohomology group , where (cf. Masa in Comment Math Helv 67:17–27, 1992). By the Poincaré Duality (cf. Kamber et and Tondeur in Astérisque 18:458–471, 1984) this last condition is equivalent to the non-vanishing of the basic twisted cohomology group , when M is oriented. When M is not compact, the tautness class is not even defined in general. In this work, we recover the previous study and results for a particular case of riemannian foliations on non compact manifolds: the regular part of a singular riemannian foliation on a compact manifold (CERF). J. I. Royo Prieto was partially supported by EHU06/05, by a PostGrant from the Basque Government and by the MCyT of the Spanish Government. R. Wolak was partially supported by the KBN grant 2PO3A 021 25.     

Closed geodesics on compact nilmanifolds with Chevalley rational structure

We study the distribution of closed geodesics on nilmanifolds Γ \ N arising from a 2-step nilpotent Lie algebra constructed from an irreducible representation of a compact semisimple Lie algebra on a real finite dimensional vector space U. We determine sufficient conditions on the semisimple Lie algebra for Γ \ N to have the density of closed geodesics property where Γ is a lattice arising from a Chevalley rational structure on .     

Semifree actions of free groups

We study countable universes similar to a free action of a group G. It turns out that this is equivalent to the study of free semi-actions of G, with two universes being transformable iff one corresponding free semi-action can be obtained from the other by a finite alteration. In the case of a free group G (in finitely many or countably many generators), a classification is given. Research partially supported by a DAAD Doktorandenstipendium D/02/02345.     

Quotients of values of the Dedekind Eta function

Inspired by Riemann’s work on certain quotients of the Dedekind Eta function, in this paper we investigate the value distribution of quotients of values of the Dedekind Eta function in the complex plane, using the form , where A _j-1 and A _j are matrices whose rows are the coordinates of consecutive visible lattice points in a dilation XΩ of a fixed region Ω in , and z is a fixed complex number in the upper half plane. In particular, we show that the limiting distribution of these quotients depends heavily on the index of Farey fractions which was first introduced and studied by Hall and Shiu. The distribution of Farey fractions with respect to the value of the index dictates the universal limiting behavior of these quotients. Motivated by chains of these quotients, we show how to obtain a generalization, due to Zagier, of an important formula of Hall and Shiu on the sum of the index of Farey fractions. A. Zaharescu is supported by National Science Foundation Grant DMS-0456615.     

Eigenvalues of $$(-\triangle + \frac{R}{2})$$ on manifolds with nonnegative curvature operator

In this paper, we show that the eigenvalues of are nondecreasing under the Ricci flow for manifolds with nonnegative curvature operator. Then we show that the only steady Ricci breather with nonnegative curvature operator is the trivial one which is Ricci-flat.