39

Answers
votes newest views recent
1
Blackbox Theorems
0
undergraduate logic textbook
4
Examples of conjectures that were widely believed to be true but later proved false
2
Basic results with three or more hypotheses
9
Is there any proof that you feel you do not “understand”?
4
ULTRAINFINITISM, or a step beyond the transfinite
2
Composite pairs of the form n!-1 and n!+1
7
Self-containing structures
14
Similarities between Post’s Problem and Cohen’s Forcing
1
What axioms are stronger than the Axiom of choice?
4
Games that never begin
3
Forcing over models without the axiom of choice
0
$\aleph_\omega$ many subsets of $\aleph_\omega$
10
How are Modal Logic and Graph Theory related?
4
A question about Second-Order ZFC and the Continuum Hypothesis
1
A question about the Axiom of Choice and straight lines in the Euclidean plane.
5
Are the two meanings of “undecidable” related?
10
A Model where Dedekind Reals and Cauchy Reals are Different
11
Road to Solovay’s Land.
0
Zero-dimensional space
0
Countable open subgroup
1
Linking associative algebras with nonassociative algebras
1
Axiom of Choice and Vitali’s theorem
1
which texts do you recommend to study mathematical logic ?
5
Undecidable completion of undecidable theory, and pairs of RCF
2
Cardinality of a certain set of distinct subsets of $\mathbb{N}$
6
Question on Godel completeness theorem
4
Set theory question
2
Statement of consistency in Godel’s second incompleteness theorem
8
Notation arb(x)
1 2 next