39

Answers
votes newest views recent
14
Similarities between Post’s Problem and Cohen’s Forcing
11
Road to Solovay’s Land.
11
Is there any proof that you feel you do not “understand”?
10
A Model where Dedekind Reals and Cauchy Reals are Different
10
How are Modal Logic and Graph Theory related?
8
Notation arb(x)
7
Self-containing structures
7
A question about Universal sets.
6
Are the two meanings of “undecidable” related?
6
Question on Godel completeness theorem
6
The set of $\Delta_1$ indices
5
Undecidable completion of undecidable theory, and pairs of RCF
4
Moschovakis Coding Lemma
4
A question about Second-Order ZFC and the Continuum Hypothesis
4
Examples of conjectures that were widely believed to be true but later proved false
4
ULTRAINFINITISM, or a step beyond the transfinite
4
Games that never begin
4
A (seem to be) elementary logic question
4
Elementary submodels of V
4
Set theory question
3
Forcing over models without the axiom of choice
2
$(<\kappa)$-closure for Prikry forcing
2
Statement of consistency in Godel’s second incompleteness theorem
2
Cardinality of a certain set of distinct subsets of $\mathbb{N}$
2
Composite pairs of the form n!-1 and n!+1
2
Basic results with three or more hypotheses
2
A question about formulating first order axioms for group theory.
1
Is it necessary that gcd > 1 of an infinite set?
1
A question about the Axiom of Choice and straight lines in the Euclidean plane.
1
which texts do you recommend to study mathematical logic ?
1 2 next