Cover Image

Definability and decidability for rings of integers in totally imaginary fields

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Springer, Caleb
Format:	Preprint
Published:	2022
Subjects:	Number Theory Logic 11U05
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

First-order definitions of rings of integral functions over algebraic extensions of function fields and undecidability
by: Shlapentokh, Alexandra, et al.
Published: (2024)

Defining $\mathbb Z$ using unit groups
by: Mazur, Barry, et al.
Published: (2023)

The Diophantine problem for addition and divisibility for rings of $S$-integers of quadratic imaginary extensions of $\mathbb{Q}$
by: Hormazábal, Natalia, et al.
Published: (2025)

Hilbert's tenth problem in Anticyclotomic towers of number fields
by: Ray, Anwesh, et al.
Published: (2023)

Rank stability in quadratic extensions and Hilbert's tenth problem for the ring of integers of a number field
by: Alpöge, Levent, et al.
Published: (2025)

Hilbert's Tenth Problem for some Noncommutative Rings
by: Eggink, A.
Published: (2024)

Existential rank and essential dimension of diophantine sets
by: Daans, Nicolas, et al.
Published: (2021)

Mixed quantifier prefixes over Diophantine equations with integer variables
by: Sun, Zhi-Wei
Published: (2021)

Hilbert's tenth problem for families of $ \mathbb{Z}_p $-extensions of imaginary quadratic fields
by: Müller, Katharina, et al.
Published: (2024)

Undecidability of expansions of Laurent series fields by cyclic discrete subgroups
by: Gitin, Leo
Published: (2024)

Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence
by: Khani, Mohsen, et al.
Published: (2021)

First-order definability of Darmon points in number fields
by: De Rasis, Juan Pablo, et al.
Published: (2024)

Diophantine Maps
by: Eggink, A.
Published: (2024)

Undecidability of infinite towers of Kummer extensions of $\mathbb{F}_p(t)$
by: Martinez-Ranero, Carlos, et al.
Published: (2024)

On the Diophantine problem related to power circuits
by: Rybalov, Alexander
Published: (2025)

First-order definability of Campana Points and Darmon Points in algebraic function fields in one variable over number fields
by: De Rasis, Juan Pablo
Published: (2025)

Decidability of Extensions of Presburger Arithmetic by Hardy Field Functions
by: Brown, Hera, et al.
Published: (2025)

On the Weierstrass Preparation Theorem over General Rings
by: Bell, Jason, et al.
Published: (2025)

Decidability of polynomial equations over function fields in positive characteristic
by: Daans, Nicolas
Published: (2025)

Undecidability on Diophantine equations over $\mathbb Z[i]$ with $20$ unknowns
by: Matiyasevich, Yuri, et al.
Published: (2025)

Points on a curve with a power on a curve
by: Boxall, Gareth
Published: (2024)

Hilbert's tenth problem for rings of holomorphic functions of bounded order
by: Pasten, Hector
Published: (2024)

Modular Zilber-Pink for geometrically generic varieties
by: Aslanyan, Vahagn, et al.
Published: (2025)

Rank stability makes rings of integers diophantine
by: Poonen, Bjorn
Published: (2025)

Universally defining $\mathbb{Z}$ in $\mathbb{Q}$ with $10$ quantifiers
by: Daans, Nicolas
Published: (2023)

Equations involving the modular $j$-function and its derivatives
by: Aslanyan, Vahagn, et al.
Published: (2023)

Arithmetic-term representations for the greatest common divisor
by: Prunescu, Mihai, et al.
Published: (2024)

Integer-valued o-minimal functions
by: Bhardwaj, Neer, et al.
Published: (2024)

On polynomial systems of equations in square matrices filled with natural numbers
by: Prunescu, Mihai
Published: (2025)

First-order definability of affine Campana points in the projective line over a number field
by: De Rasis, Juan Pablo
Published: (2024)

Diophantine stability for elliptic curves on average
by: Ray, Anwesh, et al.
Published: (2023)

The Galois characterisation of $p$-adically closed fields -- A modern perspective
by: Gitin, Leo, et al.
Published: (2026)

Partition regularity in imaginary quadratic rings of integers
by: Donoso, Sebastián, et al.
Published: (2026)

Exponential sums and motivic oscillation index of arbitrary ideals and their applications
by: Nguyen, Kien Huu
Published: (2023)

Certifying rings of integers in number fields
by: Baanen, Anne, et al.
Published: (2024)

Isogeny relations in products of families of elliptic curves
by: Ferrigno, Luca
Published: (2024)

Undecidability of infinite algebraic extensions of $\mathbb{F}_p(t)$
by: Martinez-Ranero, Carlos, et al.
Published: (2024)

Existentially defining valuations in function fields over large fields
by: Daans, Nicolas
Published: (2025)

Eisenstein cocycles for imaginary quadratic fields
by: Lecouturier, Emmanuel, et al.
Published: (2025)

Analytically generated sharply o-minimal structures
by: Carmon, Oded
Published: (2026)