Paper proves convergence of MDL to Einstein-Hilbert with boundary term.
problem Proving convergence of discrete MDL to continuous Einstein-Hilbert action.
method Proves \(Γ\)-convergence using diffeomorphism-natural discrete MDL-type functional.
result Identifies Carathéodory densities and obtains \(\liminf/\limsup\) bounds.