Volume 4, No. 2 (2017)

Between primitive and 2-transitive: Synchronization and its friends

Towards better: A motivated introduction to better-quasi-orders

Numerical infinities and infinitesimals: Methodology, applications, and repercussions on two Hilbert problems