Article contents
Independent Sets of Axioms In Lκα
Published online by Cambridge University Press: 20 November 2018
Extract
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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Canadian Mathematical Society 1981
References
- 1
- Cited by