A modern pioneer in Korea the life story of Henry G. Appenzeller

http://www.archive.org/details/amodernpioneerin00grifuoft

Modern religious movements in India.

http://www.archive.org/details/modernreligiousm025064mbp

Thoughts from modern martyrs/ edited and arranged by James Anthony Walsh.

http://www.archive.org/details/thoughtsfrommode00walsuoft

The making of modern missions, by Stacy R. Warburton.

http://www.archive.org/details/makingofmodernmi011868mbp

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.