The equivalence of theories that characterize ALogTime

A number of theories have been developed to characterize ALogTime (or uniform NC ¹, or just NC ¹), the class of languages accepted by alternating logtime Turing machines, in the same way that Buss’s theory characterizes polytime functions. Among these, ALV′ (by Clote) is particularly interesting because it is developed based on Barrington’s theorem that the word problem for the permutation group S ₅ is complete for ALogTime. On the other hand, ALV (by Clote), T ⁰ NC ⁰ (by Clote and Takeuti) as well as Arai’s theory and its two-sorted version VNC ¹ (by Cook and Morioka) are based on the circuit characterization of ALogTime. While the last three theories have been known to be equivalent, their relationship to ALV′ has been an open problem. Here we show that ALV′ is indeed equivalent to the other theories.      

On End-Extensions of Models of ¬exp

Every model of IΔ₀ is the tally part of a model of the stringlanguage theory Th-FO (a main feature of which consists in having induction on notation restricted to certain AC⁰. sets). We show how to “smoothly” introduce in Th-FO the binary length function, whereby it is possible to make exponential assumptions in models of Th-FO. These considerations entail that every model of IΔ₀ + ¬exp is a proper initial segment of a model of Th-FO and that a modicum of bounded collection is true in these models. Mathematics Subject Classification: 03F30, 03C62, 68Q15.     

Quotient Fields of a Model of IΔ0 + Ω1

In [4] the authors studied the residue field of a model M of IΔ₀ + Ω₁ for the principal ideal generated by a prime p. One of the main results is that M/<p> has a unique extension of each finite degree. In this paper we are interested in understanding the structure of any quotient field of M, i.e. we will study the quotient M/I for I a maximal ideal of M. We prove that any quotient field of M satisfies the property of having a unique extension of each finite degree. We will use some of Cherlin's ideas from [3], where he studies the ideal theory of non standard algebraic integers.     

Spectral Problems for Systems of Differential Equations y′ + A0y = λA1y with λ–Polynomial Boundary Conditions

This paper deals with the spectral properties of boundary eigenvalue problems for systems of first order differential equations with boundary conditions which depend on the spectral parameter polynomially. It is not assumed that is injective or surjective. The main results concern the completeness minimality and Riesz basis properties of the corresponding eigenfunctions and associated functions.     

On the complex oscillation theory of f ″ + A (z)f = 0 where A (z) is analytic in the unit disc

In this paper, we investigate the complex oscillation theory of the second order linear differential equation f ″ + A (z)f = 0, where the coefficient A (z) is an analytic function in the unit disc Δ = {z: |z | < 1} (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)