Recursive logic frames

Saharon Shelah, Jouko Väänänen

We define the concept of a logic frame, which extends the concept of an abstract logic by adding the concept of a syntax and an axiom system. In a recursive logic frame the syntax…