All Stories

  1. Isomorphism theorems between models of mixed choice
  2. A short proof of the Schröder–Simpson Theorem