All Stories

  1. Characterisations of variant transfinite computational models: Infinite time Turing, ordinal time Turing, and Blum–Shub–Smale machines
  2. LOCAL CLUB CONDENSATION AND L-LIKENESS
  3. Large Cardinals, Inner Models, and Determinacy: An Introductory Overview
  4. SOME OBSERVATIONS ON TRUTH HIERARCHIES
  5. The Aftermath
  6. Σ* Fine Structure
  7. Relativistic Computers and Transfinite Computation
  8. On Σ 3 1
  9. On the Strength of Mutual Stationarity