Turing meets Schanuel

DOI10.1016/j.apal.2015.10.003zbMath1432.03063OpenAlexW2473874150MaRDI QIDQ2630828

Angus J. Macintyre

Publication date: 22 July 2016

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2015.10.003

zbMATH Keywords

exponential fieldsSchanuel conjecturecomputable models

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory (number-theoretic aspects) (11U09) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Model theory of fields (12L12)

Related Items

Comments on Rosenlicht’s Integration in Finite Terms, Set theory and the analyst, Deciding first-order formulas involving univariate mixed trigonometric-polynomials, The computability of LQR and LQG control, Models of true arithmetic are integer parts of models of real exponentation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Finitely presented exponential fields
• From Schanuel's conjecture to Shapiro's conjecture
• Pseudo-exponentiation on algebraically closed fields of characteristic zero
• Discretely normed Abelian groups
• Exponential rings, exponential polynomials and exponential functions
• On the theory of the real exponential field
• Fields with free multiplicative groups modulo torsion
• Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics
• The elementary theory of restricted analytic fields with exponentiation
• Geometric categories and o-minimal structures
• Schanuel's conjecture and free exponential rings
• Subspaces of computable vector spaces
• Projections of semi-analytic sets
• Some Definability Results in Abstract Kummer Theory
• On the structure of semialgebraic sets over p-adic fields
• Exponential algebraicity in exponential fields
• The algebraic numbers definable in various exponential fields
• Alan Turing and the Foundations of Computable Analysis
• Effective procedures in field theory
• The classical and the ω-complete arithmetic
• Some consequences of the axiom of constructibility
• Countable Abelian Groups with a Discrete Norm are Free
• A remark on Zilber's pseudoexponentiation
• COMPARING AND ZILBER’S EXPONENTIAL FIELDS: ZERO SETS OF EXPONENTIAL POLYNOMIALS
• On the elementary theory of restricted elementary functions
• A Characterization of Free Abelian Groups
• Definable Sets in Ordered Structures. II
• Second order arithmetic and related topics
• A note on algebraic independence of logarithmic and exponential constants
• Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function
• Ideal membership in polynomial rings over the integers
• On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
• The removal of $\pi $ from some undecidable problems involving elementary functions
• Effective results for unit equations over finitely generated integral domains
• Covers of multiplicative groups of algebraically closed fields of arbitrary characteristic
• Schanuel Nullstellensatz for Zilber fields
• Heights on groups and small multiplicative dependencies
• THE UNIFORM SCHANUEL CONJECTURE OVER THE REAL NUMBERS
• Computable Algebra, General Theory and Theory of Computable Fields
• A minimal model for strong analysis
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function