Journal of Logic and Analysis