Copertina

Mixed quantifier prefixes over Diophantine equations with integer variables

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Sun, Zhi-Wei
Natura:	Preprint
Pubblicazione:	2021
Soggetti:	Number Theory Logic 03D35, 11U05, 03D25, 11D99
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

On the Diophantine problem related to power circuits
di: Rybalov, Alexander
Pubblicazione: (2025)

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

Considering The Satisfiability of Cubic Diophantine Equations
di: Rosko, Milan
Pubblicazione: (2025)

Six equations in search of a finite-fold-ness proof
di: Cantone, Domenico, et al.
Pubblicazione: (2023)

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

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

Diophantine Maps
di: Eggink, A.
Pubblicazione: (2024)

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

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

Computability in infinite Galois theory and algorithmically random algebraic fields
di: Calvert, Wesley, et al.
Pubblicazione: (2023)

Monochromatic sums and quotients in $\mathbb N$
di: Di Nasso, Mauro, et al.
Pubblicazione: (2026)

Divisibility classes of ultrafilters and their patterns
di: Šobot, Boris
Pubblicazione: (2024)

A survey on divisibility of ultrafilters
di: Šobot, Boris
Pubblicazione: (2024)

$\widetilde{\mid}\hspace{1mm}$-divisibility of ultrafilters II: The big picture
di: Šobot, Boris
Pubblicazione: (2023)

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

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

Solution of certain Diophantine equations in Gaussian integers
di: Ghosh, Arkabarata
Pubblicazione: (2024)

Cofinal families of finite VC-dimension
di: Ben-Neria, Omer, et al.
Pubblicazione: (2025)

On the representation of number-theoretic functions by arithmetic terms
di: Prunescu, Mihai, et al.
Pubblicazione: (2024)

A weak version of the Strong Exponential Closure
di: D'Aquino, Paola, et al.
Pubblicazione: (2019)

Diophantine equations involving powers of factorials
di: Novaković, Saša
Pubblicazione: (2025)

Diophantine equations involving double factorials
di: Novaković, Saša
Pubblicazione: (2025)

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

Arithmetic closed forms count the Mersenne primes, the Fermat primes and the twin-prime pairs
di: Prunescu, Mihai
Pubblicazione: (2025)

Some Diophantine equations involving arithmetic functions and Bhargava factorials
di: Baczkowski, Daniel M., et al.
Pubblicazione: (2024)

Asymptotic Ramsey theory of Diophantine equations
di: Baglini, Lorenzo Luperi, et al.
Pubblicazione: (2025)

Normality, Relativization, and Randomness
di: Calvert, Wesley, et al.
Pubblicazione: (2023)

On Diophantine graphs
di: Batta, Gergő, et al.
Pubblicazione: (2024)

\texorpdfstring{$D$}{D}-maximal many-one degrees contain least finite-one degrees
di: Cintioli, Patrizio
Pubblicazione: (2026)

A computably enumerable many-one degree with no least finite-one degree
di: Cintioli, Patrizio
Pubblicazione: (2026)

A Computably Enumerable $tt$-Degree Without Computably Enumerable Irreducible $m$-Degrees
di: Cintioli, Patrizio
Pubblicazione: (2026)

Conjunctive reducibilities and completeness
di: Chitaia, Irakli, et al.
Pubblicazione: (2026)

The singleton degrees of the $Σ^0_2$ sets are not dense
di: Kent, Thomas F., et al.
Pubblicazione: (2024)

On the computational properties of basic mathematical notions
di: Normann, Dag, et al.
Pubblicazione: (2022)

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

Iterated Priority Arguments in Descriptive Set Theory
di: Day, Adam, et al.
Pubblicazione: (2022)

Problems with fixpoints of polynomials of polynomials
di: Pradic, Cécilia, et al.
Pubblicazione: (2026)

Fibonacci Numbers and Model-Complete Axiomatization of Presburger Arithmetic Expanded with a Beatty Sequence
di: Khani, Mohsen, et al.
Pubblicazione: (2025)

Nonstandard Witnesses and Observational Barriers for Π0_1 Sentences in ZFC: Standard Cuts, Uniform Reflection Failure, and the Semantic Void
di: Fukumoto, Yusei
Pubblicazione: (2025)