Using Ehrenfeucht-Fraisse games to prove elementary equivalent
47658
Can't EF game theory be applied to finite languages WITH function symbols?
120130
Baker-Hausdorff Lemma from Sakurai's book
135124
Calculating the expected payoff in a 2-finger morra game
141529
Proving existence of a minimum
91281
Proving the so-called "Well Ordering Principle"
121605
A coin tossing game which leads to a contradiction
115224
Equivalences of $\diamondsuit$-principle.
152685
Parallel postulate from Playfair's axiom
141895
Proving that a sequence is monotone
133884
A proof using Yoneda lemma
146984
Prove: Full Rank and a solution os linear system
102307
Discrete Math Proofs Involving Real Numbers
55199
Number Theory in a Choice-less World
156176
Lebesgue measurability of nearly identical sets
85338
Equivalence relations on classes instead of sets
62755
The simplest way of proving that $|\mathcal{P}(\mathbb{N})| = |\mathbb{R}| = c$
37629
Combinatorial card game