Showing math.LOShow all
2 papers · 1 filter
math.LO2004
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…
math.LO2000
A Note on Extensions of Infinitary Logic
Saharon Shelah, Jouko Väänänen
We show that a strong form of the so called Lindstrom's Theorem fails to generalize to extensions of L_{kappa,omega} and L_{kappa,kappa}: For weakly compact kappa there is no stron…