Some Application of Nevanlinna Theory to Mathematical Logic: Identities Exponential Functions

DOI10.2307/1999575MaRDI QIDQ3315491zbMATH OpenOpenAlexFDO

Authors C. Ward Henson, Lee A. Rubel

Publication date 1984

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/1999575

zbMATH Keywords

algorithm for the Hardy relation of eventual dominationidentities between functions of many variablesNevanlinna characteristicrates of growthValue distribution of analytic functions

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Equational classes, universal algebra in model theory (03C05) Value distribution of meromorphic functions of one complex variable, Nevanlinna theory (30D35) Nevanlinna theory; growth estimates; other inequalities of several complex variables (32A22)

Recommendations

• Detecting Algebraic (In)Dependence of Explicitly Presented Functions (Some Applications of Nevanlinna Theory to Mathematical Logic)
• Applications of differential algebra to algebraic independence of arithmetic functions
• scientific article; zbMATH DE number 3912354
• Ax-Schanuel type theorems on functional transcendence via Nevanlinna theory
• Nevanlinna theory and algebraic values of certain meromorphic functions

Cited in

(17)

• Barycenters of extreme points in the cone of non-negative entire functions
• Axiomatic (and non-axiomatic) mathematics
• Model theory of special subvarieties and Schanuel-type conjectures
• A normal form for restricted exponential functions
• Detecting Algebraic (In)Dependence of Explicitly Presented Functions (Some Applications of Nevanlinna Theory to Mathematical Logic)
• Generic solutions of equations with iterated exponentials
• Using types as search keys in function libraries
• A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots).
• Polynomial-exponential equations -- some new cases of solvability
• Finite models for positive combinatorial and exponential algebra
• E-ideals in exponential polynomial rings
• Picard type theorems and entire solutions of certain nonlinear partial differential equations
• Cyclic Arithmetic and Combinatorial Operations
• A note on exponential polynomials
• A portrait of Alfred Tarski
• Sums of products of functions of x times functions of y
• Equational theory of positive numbers with exponentiation is not finitely axiomatizable

This page was built for publication: Some Application of Nevanlinna Theory to Mathematical Logic: Identities Exponential Functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3315491)