Two conjectures on the arithmetic in R and C
From MaRDI portal
(Redirected from Publication:3552394)
Two conjectures on the arithmetic in \(\mathbb R\) and \(\mathbb C\)
Two conjectures on the arithmetic in \(\mathbb R\) and \(\mathbb C\)
Foundations of classical theories (including reverse mathematics) (03B30) Complexity of computation (including implicit computational complexity) (03D15) Decidability (number-theoretic aspects) (11U05) Model theory (number-theoretic aspects) (11U09) Linear equations (linear algebraic aspects) (15A06)
Abstract: We discuss two conjectures. (I) For each x_1,...,x_n in R (C) there exist y_1,...,y_n in R (C) such that forall i in {1,...,n} |y_i| leq 2^{2^{n-2}} forall i in {1,...,n} (x_i=1 Rightarrow y_i=1) forall i,j,k in {1,...,n} (x_i+x_j=x_k Rightarrow y_i+y_j=y_k) forall i,j,k in {1,...,n} (x_i cdot x_j=x_k Rightarrow y_i cdot y_j=y_k) (II) Let G be an additive subgroup of C. Then for each x_1,...,x_n in G there exist y_1,...,y_n in G cap Q such that forall i in {1,...,n} |y_i| leq 2^{n-1} forall i in {1,...,n} (x_i=1 Rightarrow y_i=1) forall i,j,k in {1,...,n} (x_i+x_j=x_k Rightarrow y_i+y_j=y_k)
Recommendations
Cites work
- A Sharp Bound for Solutions of Linear Diophantine Equations
- Algorithms in real algebraic geometry
- Characterizing integers among rational numbers with a universal-existential formula
- COMPLEXITY AND REAL COMPUTATION: A MANIFESTO
- Diophantine Representation of the Set of Prime Numbers
- Finiteness theorems for abelian varieties over number fields.
- Hilbert's Tenth Problem is Unsolvable
- History of the theory of numbers. Vol. I: Divisibility and primality. Vol. II: Diophantine analysis. Vol. III: Quadratic and higher forms.
- scientific article; zbMATH DE number 3042983 (Why is no real title available?)
- Number theory III: Diophantine geometry
- Proof of Recursive Unsolvability of Hilbert's Tenth Problem
- Some conjectures on addition and multiplication of complex (real) numbers
This page was built for publication: Two conjectures on the arithmetic in \(\mathbb R\) and \(\mathbb C\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3552394)