Infinitary logic and countable model theory

Source: url:https://github.com/cameronfreer/infinitary-logic Authors: Cameron Freer Status: verified Main declarations: FirstOrder.Language.scottSentence_characterizes Tags: mathematical-logic, infinitary-logic, model-theory, descriptive-set-theory MSC: 03C75, 03E15, 03C30