Ann. Math. Log.