The Role of Arts in the Process of Leadership Formation and Ecclesial Transformation

This dissertation investigates how the arts can be instrumental in the process of leadership formation and church transformation. By synthesizing results of an evaluation survey with a holistic-inductive design of inquiry, this dissertation demonstrates that the arts, as expressions of faith, can be transformative. By presenting the arts program at the Old West Church in Boston, which integrates arts as a medium for the expression of the Christian faith, this dissertation provides biblical, theological, and practical frameworks for reflecting on the transformative character of arts in the process of leadership formation and church transformation.

Fixed Point vs. First-Order Logic on Finite Ordered Structures with Unary Relations

We prove that first order logic is strictly weaker than fixed point logic over every infinite classes of finite ordered structures with unary relations: Over these classes there is always an inductive unary relation which cannot be defined by a first-order formula, even when every inductive sentence (i.e., closed formula) can be expressed in first-order over this particular class. Our proof first establishes a property valid for every unary relation definable by first-order logic over these classes which is peculiar to classes of ordered structures with unary relations. In a second step we show that this property itself can be expressed in fixed point logic and can be used to construct a non-elementary unary relation.