NOTES ON THE DPRM PROPERTY FOR LISTABLE STRUCTURES

DOI10.1017/jsl.2021.97zbMath1500.11093arXiv2012.14054OpenAlexW3215741069MaRDI QIDQ5070471

Hector Pasten

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

zbMATH Keywords

global fieldsDiophantine setlistable structure

Mathematics Subject Classification ID

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)

Existential definability and diophantine stability

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