269

Answers
votes newest views recent
5
Class forcing: Pelletier vs Friedman
7
Is there a categorical proof of Gödel’s incompleteness theorem?
4
Decide the limit of a decreasing sequence of real number
2
Is there an RSS reader for mathematicians?
1
Generalisations of Petersen’s 2-factor theorem?
10
Is it possible to construct an infinite subset of $\Bbb R$ that is not order isomorphic to any proper subset of itself?
3
Subquotients in ZF
4
Is deciding whether a Turing machine *provably* runs forever equivalent to the halting problem?
26
In what rigorous sense are Sperner’s Lemma and the Brouwer Fixed Point Theorem equivalent?
6
Non-standard model of the domination principle
15
If ZFC has a transitive model, does it have one of arbitrary size?
7
A Model where Dedekind Reals and Cauchy Reals are Different
7
Deriving Konig’s Lemma directly from Infinite Ramsey’s Theorem for triples
2
Stronger theorem not resulting from proof analysis
3
Is there a “mathematical” definition of “simplify”?
10
Reverse mathematics below RCA
10
Proof theory and primitive roots
3
Indices of r.e. sets
4
A uniformity with a countable base is a pseudometric uniformity.
6
Cantor’s diagonal argument and ZF
2
$\Sigma_1^0-COH$?
2
Understanding Troelstra’s Uniformity Principle in Constructive Mathematics
7
Mathematical techniques to reduce the amount of storage memory
4
Ensuring nonempty lightface Borel sets have elements via theories of second-order arithmetic
6
From the product lemma to to a result about powersets
10
How would set theory research be affected by using ETCS instead of ZFC?
3
Can we weaken GCH in this class forcing?
6
What is the status of Cantor-Schroder-Bernstein in Reverse Math?
2
papers archives? (especially not indexed by google)
4
How should one look at the set of compatible ring structures on a given group?
1 2 3 4 5 … 9 next