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