Turing meets Schanuel
From MaRDI portal
Publication:2630828
DOI10.1016/j.apal.2015.10.003zbMath1432.03063MaRDI QIDQ2630828
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
03C60: Model-theoretic algebra
11U09: Model theory (number-theoretic aspects)
03C57: Computable structure theory, computable model theory
03D45: Theory of numerations, effectively presented structures
12L12: Model theory of fields
Related Items
Models of true arithmetic are integer parts of models of real exponentation, Comments on Rosenlicht’s Integration in Finite Terms, Deciding first-order formulas involving univariate mixed trigonometric-polynomials, The computability of LQR and LQG control, Set theory and the analyst
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