Sidney Raffer's user avatar
Sidney Raffer's user avatar
Sidney Raffer's user avatar
Sidney Raffer
  • Member for 13 years, 11 months
  • Last seen more than 2 years ago
3 votes

Is Multilinear Hilbert's tenth problem version undecidable?

11 votes
Accepted

Is equality of formulas with floor rounding or integer division decidable?

13 votes
Accepted

Are the terms of a linear recurrence integral?

35 votes

Define $\mathbb{N}$ in the ring $\mathbb{Z}$ without Lagrange's theorem

4 votes

Discrete orderings on $\mathbb{Z}[x,y]$ that violate the universal theory of the integers

5 votes

divisible by all standard prime numbers

11 votes

The existence of non-trivial homomorphisms $\prod_{n=1}^{\infty}\mathbb{Z}/\bigoplus_{n=1}^{\infty}\mathbb{Z}\to\mathbb{Z}/p\mathbb{Z}$

6 votes

Floors of powers of reals, how much do the first few determine the next?

11 votes
Accepted

Is equivalence of functions built from nested exponentiations a decidable problem?

5 votes
Accepted

Formulas in a Field and in a Field Extension

13 votes

Numbers that are generic w.r.t. exponentiation

28 votes
Accepted

Are surjectivity and injectivity of polynomial functions from $\mathbb{Q}^n$ to $\mathbb{Q}$ algorithmically decidable?

11 votes
Accepted

First order decidability of rings vs Diophantine decidability

3 votes

References on techniques for solving equations with discontinuous functions such as floor and ceiling?

8 votes
Accepted

Sets of integers represented by degree zero rational functions

1 vote
Accepted

Are there ever exotic isomorphisms between quotients of F[x]?

28 votes

Fiction books about mathematicians?

1 vote
Accepted

Solving a system of equations/inequalities that have trigonometric functions on the left-hand side

4 votes
Accepted

Searching for an inhomogeneous diophantine approximation algorithm

6 votes

Bounds on squarefree numbers

11 votes

Why can Diophantine equations represent exponential growth?

6 votes

Non-standard models of finite set theory

19 votes

What is the high-concept explanation on why real numbers are useful in number theory?

2 votes

Real-closed fields minus existentials for Presburger-like power and multiplication?

4 votes
Accepted

Implication of Polignac's conjecture on prime distribution in models of PA

4 votes

Decision Procedure for Inequalities between Homogeneous Polynomials

4 votes
Accepted

"Linear algebra" over Z/nZ - reference please!

3 votes
Accepted

Computation of inverses modulo p followup

6 votes
Accepted

Computable rings similar to Z

4 votes

Real number happens to be an integer