Extending ω-consistent sets to maximally consistent, ω-complete sets.
Autor: | Weaver, George1, Thau, Michael2, Leblanc, Hugues2 |
---|---|
Zdroj: | Mathematical Logic Quarterly. 1990, Vol. 36 Issue 5, p381-383. 3p. |
Databáze: | Academic Search Ultimate |
Externí odkaz: |