Coordination of 01-agents vs. coordination of worlds-based agents Alessandro Agostini; Dick de Jongh; Franco Montagna Abstract: As far as we know, a {\em learning to coordinate} paradigm was first introduced in Formal Learning Theory by using the tools of recursion theory. In this paper, we present a first-order paradigm of coordination---we call this the paradigm of {\em SF-coordination}. The paradigm of SF-coordination is shown to extend Montagna-Osherson's paradigm, in the sense that Montagna and Osherson's 01-agents coordinate if and only if some first-order equivalent agents of the first-order paradigm SF-coordinate. Keyword(s): formal learning theory, inductive inference, coordination