Six equations in search of a finite-fold-ness proof
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Cantone, Domenico, Cuzziol, Luca, Omodeo, Eugenio G. |
|---|---|
| Format: | Preprint |
| Publié: |
2023
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
Mixed quantifier prefixes over Diophantine equations with integer variables
par: Sun, Zhi-Wei
Publié: (2021)
par: Sun, Zhi-Wei
Publié: (2021)
Undecidability on Diophantine equations over $\mathbb Z[i]$ with $20$ unknowns
par: Matiyasevich, Yuri, et autres
Publié: (2025)
par: Matiyasevich, Yuri, et autres
Publié: (2025)
A computably enumerable many-one degree with no least finite-one degree
par: Cintioli, Patrizio
Publié: (2026)
par: Cintioli, Patrizio
Publié: (2026)
\texorpdfstring{$D$}{D}-maximal many-one degrees contain least finite-one degrees
par: Cintioli, Patrizio
Publié: (2026)
par: Cintioli, Patrizio
Publié: (2026)
On the representation of number-theoretic functions by arithmetic terms
par: Prunescu, Mihai, et autres
Publié: (2024)
par: Prunescu, Mihai, et autres
Publié: (2024)
Computable categoricity relative to a c.e. degree
par: Villano, Java Darleen
Publié: (2024)
par: Villano, Java Darleen
Publié: (2024)
A new proof of Chen's theorem for Markoff graphs
par: Martin, Daniel E.
Publié: (2025)
par: Martin, Daniel E.
Publié: (2025)
A Computably Enumerable $tt$-Degree Without Computably Enumerable Irreducible $m$-Degrees
par: Cintioli, Patrizio
Publié: (2026)
par: Cintioli, Patrizio
Publié: (2026)
Conjunctive reducibilities and completeness
par: Chitaia, Irakli, et autres
Publié: (2026)
par: Chitaia, Irakli, et autres
Publié: (2026)
The singleton degrees of the $Σ^0_2$ sets are not dense
par: Kent, Thomas F., et autres
Publié: (2024)
par: Kent, Thomas F., et autres
Publié: (2024)
Low$_2$ computably enumerable sets have hyperhypersimple supersets
par: Cholak, Peter, et autres
Publié: (2024)
par: Cholak, Peter, et autres
Publié: (2024)
A non-recursively enumerable subset of $\mathbb{N}$ which has a short description in terms of arithmetic
par: Tyszka, Apoloniusz
Publié: (2013)
par: Tyszka, Apoloniusz
Publié: (2013)
The Diophantine equation $b (b+1) (b+2) = t a (a + 1) (a + 2)$ and gap principle
par: Chan, Tsz Ho
Publié: (2024)
par: Chan, Tsz Ho
Publié: (2024)
Hilbert's tenth problem for rings of holomorphic functions of bounded order
par: Pasten, Hector
Publié: (2024)
par: Pasten, Hector
Publié: (2024)
Extensions of categoricity relative to a degree
par: Villano, Java Darleen
Publié: (2025)
par: Villano, Java Darleen
Publié: (2025)
Rational angle bisectors on the coordinate plane and solutions of Pell's equations
par: Hirotsu, Takashi
Publié: (2023)
par: Hirotsu, Takashi
Publié: (2023)
On split families of Thue equations with linear recurrence sequences as factors
par: Hilgart, Tobias
Publié: (2024)
par: Hilgart, Tobias
Publié: (2024)
A question of Erdös on $3$-powerful numbers and an elliptic curve analogue of the Ankeny-Artin-Chowla conjecture
par: Walsh, P. G.
Publié: (2024)
par: Walsh, P. G.
Publié: (2024)
On an elementary method for solving $Ax^4-By^2=1$
par: Walsh, P. G.
Publié: (2026)
par: Walsh, P. G.
Publié: (2026)
Character varieties on a four-holed sphere
par: Shin, Eunju
Publié: (2023)
par: Shin, Eunju
Publié: (2023)
Three integers whose sum, product and the sum of the products of the integers, taken two at a time, are perfect squares
par: Choudhry, Ajai
Publié: (2025)
par: Choudhry, Ajai
Publié: (2025)
Diophantine equation related to angle bisectors and solutions of Pell's equations
par: Hirotsu, Takashi
Publié: (2022)
par: Hirotsu, Takashi
Publié: (2022)
Least zero of pairs of additive cubic equations
par: Xiao, Yixiu, et autres
Publié: (2025)
par: Xiao, Yixiu, et autres
Publié: (2025)
Thue equations over $\mathbb{C}(T)$: The Complete Solution of a Simple quartic family
par: Faye, Bernadette, et autres
Publié: (2023)
par: Faye, Bernadette, et autres
Publié: (2023)
On a conjecture of Levesque and Waldschmidt II
par: Hilgart, Tobias, et autres
Publié: (2024)
par: Hilgart, Tobias, et autres
Publié: (2024)
On the equational theory of finite modular lattices
par: Herrmann, Christian
Publié: (2024)
par: Herrmann, Christian
Publié: (2024)
On arithmetic terms expressing the prime-counting function and the n-th prime
par: Prunescu, Mihai, et autres
Publié: (2024)
par: Prunescu, Mihai, et autres
Publié: (2024)
Regainingly approximable numbers and sets
par: Hertling, Peter, et autres
Publié: (2023)
par: Hertling, Peter, et autres
Publié: (2023)
The strength of Ramsey Theorem for coloring relatively large sets
par: Carlucci, Lorenzo, et autres
Publié: (2012)
par: Carlucci, Lorenzo, et autres
Publié: (2012)
Hallucination, abstention, and computable inseparability
par: Imamura, Takuma
Publié: (2026)
par: Imamura, Takuma
Publié: (2026)
How often does a cubic hypersurface have a rational point?
par: Beneish, Lea, et autres
Publié: (2024)
par: Beneish, Lea, et autres
Publié: (2024)
Computability in infinite Galois theory and algorithmically random algebraic fields
par: Calvert, Wesley, et autres
Publié: (2023)
par: Calvert, Wesley, et autres
Publié: (2023)
The Diophantine problem for addition and divisibility for rings of $S$-integers of quadratic imaginary extensions of $\mathbb{Q}$
par: Hormazábal, Natalia, et autres
Publié: (2025)
par: Hormazábal, Natalia, et autres
Publié: (2025)
Diophantine Maps
par: Eggink, A.
Publié: (2024)
par: Eggink, A.
Publié: (2024)
Subresiduated Nelson Algebras
par: Lubomirsky, Noemí, et autres
Publié: (2024)
par: Lubomirsky, Noemí, et autres
Publié: (2024)
Decision algorithms for fragments of real analysis. III: A theory of differentiable functions with (semi-)open intervals
par: Buriola, G., et autres
Publié: (2025)
par: Buriola, G., et autres
Publié: (2025)
Considering The Satisfiability of Cubic Diophantine Equations
par: Rosko, Milan
Publié: (2025)
par: Rosko, Milan
Publié: (2025)
Decidability of Extensions of Presburger Arithmetic by Hardy Field Functions
par: Brown, Hera, et autres
Publié: (2025)
par: Brown, Hera, et autres
Publié: (2025)
Robinson Splitting Theorem and $Σ_1$ Induction
par: Liu, Yong, et autres
Publié: (2026)
par: Liu, Yong, et autres
Publié: (2026)
An equiconsistency proof for $\mathrm{CZF} + V = L$
par: Wang, Shuwei
Publié: (2026)
par: Wang, Shuwei
Publié: (2026)
Documents similaires
-
Mixed quantifier prefixes over Diophantine equations with integer variables
par: Sun, Zhi-Wei
Publié: (2021) -
Undecidability on Diophantine equations over $\mathbb Z[i]$ with $20$ unknowns
par: Matiyasevich, Yuri, et autres
Publié: (2025) -
A computably enumerable many-one degree with no least finite-one degree
par: Cintioli, Patrizio
Publié: (2026) -
\texorpdfstring{$D$}{D}-maximal many-one degrees contain least finite-one degrees
par: Cintioli, Patrizio
Publié: (2026) -
On the representation of number-theoretic functions by arithmetic terms
par: Prunescu, Mihai, et autres
Publié: (2024)