# Tagged Questions

**6**

votes

**2**answers

405 views

### The Theory of Transfinite Diophantine Equations [closed]

The theory of Diophantine equations is one of the main stream research areas in number theory. There are many known results and unknown conjectures about the existence of non-trivial solutions for ...

**4**

votes

**4**answers

601 views

### Prime numbers and limit ordinals

As a set, i.e. as a von Neumann ordinal, the $\omega$-th limit ordinal $\omega^2$ is fairly complex and not so easy to visualize (for the novice). But as an explicit well-ordering of $\mathbb{N}$, ...

**22**

votes

**1**answer

609 views

### Does an existence of large cardinals have implications in number theory or combinatorics?

Does an existence of large cardinals have implications in more down-to-earth fields like number theory, finite combinatorics, graph theory, Ramsey theory or computability theory? Are there any ...

**0**

votes

**0**answers

99 views

### Operating on a set of sequences - such as adding sequences and so on possible even when sequence is coded as number?

From http://math.stackexchange.com/questions/346680/operating-on-a-set-of-sequences-such-as-adding-sequences-and-so-on-possible-ev
Suppose that there is a way to code some set of sequences into ...

**1**

vote

**1**answer

772 views

### Are there non-commutative models of arithmetic which have a prime number structure?

Peano Arithmetic (PA) models have a prime number structure and commutativity of addition and multiplication. Presburger arithmetic (PrA) models of arithmetic have addition without multiplication and ...

**-1**

votes

**1**answer

538 views

### Axiom of Choice and Number Theory [closed]

There are so many applications of the Axiom of Choice (and consequently its equivalents) in number theory. But do you know any application of the Zorn's Lemma in Number Theory !? I mean a theorem or ...

**6**

votes

**4**answers

672 views

### Does there exist a non-trivial Ultrafinitist set theory?

Does there exist a set theory T-which has not yet been proved to be inconsistent-and in which
one can prove the existence of (1) the empty set (2) sets that are singletons and (3) sets which
have ...

**10**

votes

**3**answers

407 views

### Applications of idempotent ultrafilters

Recently Justin Moore has posted a solution to the amenability of Thompson's group F. A key(?) step exploits the existence of idempotent ultrafilters on $\mathbb N$ to construct an idempotent measure ...

**1**

vote

**1**answer

300 views

### Absoluteness of Countability

Let M be a countable transitive model for ZFC, P is a partial order in M. Notions like "partial orders" and "dense" are absolute. Consider the following set
$S$={$D\in M: D$ is dense in $P$} = {$D: D$ ...

**4**

votes

**2**answers

289 views

### Heights of several interesting posets

Let the height of a poset $P$ be the supremum of ordinals that are order types of all well-ordered subsets of $P$ (with order inherited from $P$).
Define several sets of total functions, in each ...

**12**

votes

**3**answers

1k views

### How to prove that every real number is a zero of some power series with rational coefficients (if true)

How would one approach proving that every real number is a zero of some power series with rational coefficients? I suspect that it is true, but there may exist some zero of a non-analytic function ...

**5**

votes

**1**answer

349 views

### Does second-order arithmetic prove every expressible instance of Dependent Choice?

Let bigset(X) and rel(X,Y) be otherwise arbitrary formulas in the language of second-order arithmetic with the indicated variables free, and thmemberof(Z,x,X) be the formula asserting that X is the ...

**45**

votes

**5**answers

8k views

### Inaccessible cardinals and Andrew Wiles's proof

In a recent issue of New Scientist (16 Aug 2010), I was surprised to read that a part of Wiles' proof of Taniyama-Shimura conjecture relies on inaccessible cardinals.
Here's the link:
...

**35**

votes

**7**answers

2k views

### How would one even begin to try to prove that a simple number-theoretic statement is undecidable?

This question is closely related to this one: Knuth's intuition that Goldbach might be unprovable. It stems from my ignorance about non-standard models of arithmetic. In a comment on the other ...

**73**

votes

**11**answers

14k views

### Knuth's intuition that Goldbach might be unprovable

Knuth's intuition that Goldbach's conjecture (every even number greater than 2 can be written as a sum of two primes) might be one of the statements that can neither be proved nor disproved really ...

**4**

votes

**2**answers

804 views

### A question about fields of real numbers.

Assume that the Continuum Hypothesis holds. If F is an uncountable field of real numbers, does F always
necessesarily contain a proper uncountable sub-field? Are there many specific uncountable fields ...