41

Answers
votes newest views recent
0
Avoiding reflexive paradox in set theory
3
Is deciding whether a Turing machine *provably* runs forever equivalent to the halting problem?
11
Is there any proof that you feel you do not “understand”?
2
Basic results with three or more hypotheses
6
Are the two meanings of “undecidable” related?
10
A Model where Dedekind Reals and Cauchy Reals are Different
0
Countable open subgroup
1
Anick resolution
6
Question on Godel completeness theorem
4
A (seem to be) elementary logic question
7
Self-containing structures
14
Similarities between Post’s Problem and Cohen’s Forcing
7
A question about Universal sets.
4
Set theory question
10
How are Modal Logic and Graph Theory related?
8
Notation arb(x)
1
What axioms are stronger than the Axiom of choice?
1
which texts do you recommend to study mathematical logic ?
0
Zero-dimensional space
1
A question about the Axiom of Choice and straight lines in the Euclidean plane.
4
Games that never begin
1
Is it necessary that gcd > 1 of an infinite set?
2
A question about formulating first order axioms for group theory.
0
undergraduate logic textbook
6
The set of $\Delta_1$ indices
11
Road to Solovay’s Land.
4
Elementary submodels of V
2
Statement of consistency in Godel’s second incompleteness theorem
4
ULTRAINFINITISM, or a step beyond the transfinite
2
$(<\kappa)$-closure for Prikry forcing
1 2 next