Zeros of sections of power series representing entire functions admissible in the sense of Hayman

Author(s):  
Albert Edrei
2016 ◽  
Vol 28 (4) ◽  
pp. 472-507 ◽  
Author(s):  
MARIE KERJEAN ◽  
CHRISTINE TASSON

In this paper, we describe a denotational model of Intuitionist Linear Logic which is also a differential category. Formulas are interpreted as Mackey-complete topological vector space and linear proofs are interpreted as bounded linear functions. So as to interpret non-linear proofs of Linear Logic, we use a notion of power series between Mackey-complete spaces, generalizing entire functions in $\mathbb{C}$. Finally, we get a quantitative model of Intuitionist Differential Linear Logic, with usual syntactic differentiation and where interpretations of proofs decompose as a Taylor expansion.


2015 ◽  
Vol 288 (8-9) ◽  
pp. 917-924 ◽  
Author(s):  
Sorin G. Gal ◽  
Irene Sabadini

1926 ◽  
Vol 27 (3) ◽  
pp. 209
Author(s):  
Julia T. Colpitts

Analysis ◽  
1992 ◽  
Vol 12 (3-4) ◽  
pp. 343-358
Author(s):  
Bernd Fritzsche ◽  
Bernd Kirstein

1998 ◽  
Vol 9 (4) ◽  
pp. 529-536 ◽  
Author(s):  
Wolfgang Luh ◽  
Valeri A. Martirosian ◽  
Jürgen Müller

2016 ◽  
Vol 8 (2) ◽  
pp. 239-250
Author(s):  
M.S. Dobushovskyy ◽  
M.M. Sheremeta

For the maximum of the integrand of Laplace-Stieltjes integral the lower estimates on sequence are found. Using the estimates we obtained analogues of Whittaker's theorem for entire functions given by lacunary power series.


2005 ◽  
Vol 78 (1) ◽  
pp. 59-90 ◽  
Author(s):  
L. Bernal-González ◽  
J. A. Prado-Tendero

AbstractInspired by a statement of W. Luh asserting the existence of entire functions having together with all their derivatives and antiderivatives some kind of additive universality or multiplicative universality on certain compact subsets of the complex plane or of, respectively, the punctured complex plane, we introduce in this paper the new concept of U-operators, which are defined on the space of entire functions. Concrete examples, including differential and antidifferential operators, composition, multiplication and shift operators, are studied. A result due to Luh, Martirosian and Müller about the existence of universal entire functions with gap power series is also strengthened.


2019 ◽  
Vol 84 (3) ◽  
pp. 1194-1214
Author(s):  
JAVIER UTRERAS

AbstractWe study the first-order theory of polynomial rings over a GCD domain and of the ring of formal entire functions over a non-Archimedean field in the language $\{ 1, + , \bot \}$. We show that these structures interpret the first-order theory of the semi-ring of natural numbers. Moreover, this interpretation depends only on the characteristic of the original ring, and thus we obtain uniform undecidability results for these polynomial and entire functions rings of a fixed characteristic. This work enhances results of Raphael Robinson on essential undecidability of some polynomial or formal power series rings in languages that contain no symbols related to the polynomial or power series ring structure itself.


Sign in / Sign up

Export Citation Format

Share Document