Independent Sets of Axioms In Lκα
Xavier Caicedo · Canadian Mathematical Bulletin · 1981
A set of sentences T is called independent if for every . It is countably independent if every countable subset is independent. In flnitary first order logic, Lωω, the two notions coincide because of compactness. This is not the case for infinitary logic.