J. Math. Log.