Detecting Algebraic (In)Dependence of Explicitly Presented Functions (Some Applications of Nevanlinna Theory to Mathematical Logic)

DOI10.2307/2154337zbMATH Open0778.30005OpenAlexW4229524619MaRDI QIDQ4038441FDOQ4038441

Authors: R. H. Gurevič 

Publication date: 16 May 1993

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

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

Recommendations

• On exponentiation -- a solution to Tarski's high school algebra problem
• Some Application of Nevanlinna Theory to Mathematical Logic: Identities Exponential Functions
• Some results on algebraic independence
• scientific article; zbMATH DE number 3972969
• Equational Theory of Positive Numbers with Exponentiation

Mathematics Subject Classification ID

Value distribution of meromorphic functions of one complex variable, Nevanlinna theory (30D35) Analytic continuation of functions of one complex variable (30B40) Continuation of analytic objects in several complex variables (32D15) Model theory (03C99)

Cited In (2)

• Axiomatic (and non-axiomatic) mathematics
• Some Application of Nevanlinna Theory to Mathematical Logic: Identities Exponential Functions

This page was built for publication: Detecting Algebraic (In)Dependence of Explicitly Presented Functions (Some Applications of Nevanlinna Theory to Mathematical Logic)

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