#3
Is Fraïssé's Conjecture Provable in ATR₀?
!!#4
Stable Forking Conjecture
!!#5
Does the Partition Principle imply the Axiom of Choice?
!!!#6
Is the (Triangle-Free) Henson Graph Pseudofinite?
!#7
Kolmogorov-Loveland randomness vs Martin-Löf randomness
!!#8
Conservativity of Ramsey's Theorem for pairs
!!#9
Borel boundedness of CBERs
!!