26 Answers votes newest views recent 9First order decidability of rings vs Diophantine decidability 3References on techniques for solving equations with discontinuous functions such as floor and ceiling? 8Sets of integers represented by degree zero rational functions 1Are there ever exotic isomorphisms between quotients of F[x]? 24Fiction books about mathematicians? 1Solving a system of equations/inequalities that have trigonometric functions on the left-hand side 3Searching for an inhomogeneous diophantine approximation algorithm 2Bounds on squarefree numbers 9Why can Diophantine equations represent exponential growth? 6Non-standard models of finite set theory 13What is the high-concept explanation on why real numbers are useful in number theory? 2Real-closed fields minus existentials for Presburger-like power and multiplication? 2Implication of Polignac’s conjecture on prime distribution in models of PA 4Decision Procedure for Inequalities between Homogeneous Polynomials 2“Linear algebra” over Z/nZ - reference please! 2Computation of inverses modulo p followup 5Computable rings similar to Z 3Real number happens to be an integer 3A question about open induction 1Continued fractions using all natural integers 5Importance of Log Convexity of the Gamma Function 16Computing the Galois group of a polynomial 5What are the most attractive Turing undecidable problems in mathematics? 14How often are irrational numbers well-approximated by rationals? 3Is no proof based on “tertium non datur” sufficient any more after Gödel? 10Does there exist a holomorphic function which takes given values on the positive integers?