A compactness theorem for infinite constraint satisfaction

• Autorzy: Cowen R.
• Języki publikacji: EN

Abstrakty

EN

A useful compactness theorem for constraint satisfaction problems is proved equivalent to BPI, the Boolean Prime Ideal Theorem. The relation of various restricted versions of the Theorem to each other and to BPI is also explored.

• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 1998
• Tom: No. 32
• Strony: 97--107

Twórcy

autor

Cowen R.