∞∀∃∀ (ϱ, 1)

Michael Deutsch. ∞∀∃∀ (ϱ, 1). Math. Log. Q., 35(6):517-529, 1989. [doi]

Abstract

Abstract is missing.