2 papers
physics.bio-ph2019
Thermodynamics of switching in multistable non-equilibrium systems
Jacob Cook, Robert G. Endres
Multistable non-equilibrium systems are abundant outcomes of nonlinear dynamics with feedback but still relatively little is known about what determines the stability of the steady…
math.LO2016
Ordinal analysis of intuitionistic power and exponentiation Kripke Platek set theory
Jacob Cook, Michael Rathjen
Until the 1970s, proof theoretic investigations were mainly concerned with theories of inductive definitions, subsystems of analysis and finite type systems. With the pioneering wo…