NOTES ON THE DPRM PROPERTY FOR LISTABLE STRUCTURES
From MaRDI portal
Publication:5070471
DOI10.1017/jsl.2021.97zbMath1500.11093arXiv2012.14054OpenAlexW3215741069MaRDI QIDQ5070471
Publication date: 12 April 2022
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2012.14054
Varieties over global fields (11G35) Model theory (number-theoretic aspects) (11U09) Theory of numerations, effectively presented structures (03D45) Approximation to algebraic numbers (11J68)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Definability of Frobenius orbits and a result on rational distance sets
- Towards Hilbert's tenth problem for rings of integers through Iwasawa theory and Heegner points
- Division-ample sets and the Diophantine problem for rings of integers
- Hilbert's tenth problem for fields of rational functions over finite fields
- Ranks of twists of elliptic curves and Hilbert's tenth problem
- Existential definability of non-nullity in rings
- Diophantine subsets of function fields of curves
- Quasi finitely axiomatizable totally categorical theories
- The decision problem for exponential diophantine equations
- Ensembles presque périodiques \(k\)-reconnaissables. (Almost periodic \(k\)-recognizable sets)
- Positive equivalences
- On recursively enumerable structures
- Elliptic curves, \(L\)-functions, and Hilbert's tenth problem
- Recursively enumerable sets of polynomials over a finite field are Diophantine
- DIOPHANTINE SETS OF POLYNOMIALS OVER ALGEBRAIC EXTENSIONS OF THE RATIONALS
- Algorithmic Randomness and Complexity
- Effective procedures in field theory
- Extension of Hilbert's tenth problem to some algebraic number fields
- Hilbert's Tenth Problem for a Class of Rings of Algebraic Integers
- Diophantine relationships between algebraic number fields
- Elliptic curves retaining their rank in finite extensions and Hilbert's Tenth Problem for rings of algebraic numbers
- Diophantine sets of polynomials over number fields
- An Undecidability Result for Power Series Rings of Positive Characteristic. II
- Diophantine Sets Over Algebraic Integer Rings. II
- Diophantine Sets Over Z[ T ]
- Diophantine Sets over Some Rings of Algebraic Integers
- Hilbert's Tenth Problem for Rational Function Fields in Characteristic 2
- Diophantine stability
- On Diophantine sets over polynomial rings
- The Logical Complexity of Finitely Generated Commutative Rings
- Unrecognizable Sets of Numbers
- Uniform tag sequences
- Diophantine definability of infinite discrete nonarchimedean sets and Diophantine models over large subrings of number fields
- Definability and decision problems in arithmetic
- Algorithms in real algebraic geometry
- Weakly computable real numbers
- Defining \(\mathbb Z\) in \(\mathbb Q\)
This page was built for publication: NOTES ON THE DPRM PROPERTY FOR LISTABLE STRUCTURES
