Does anyone know a good reference for omega-logic, something like a standard reference. With omega-logic I mean first-order logic with an extra predicate K and the rule A(0) A(1) ... A(k) ... ----------------------------- \forall x (K(x) \implies A(x)) I need to know in what degree compactness fails. Anyone? Best regards, Fredrik Engström