scientific article; zbMATH DE number 1416397

MaRDI QIDQ4943496zbMATH OpenFDO

Authors

Publication date 30 July 2000

zbMATH Keywords

Boolean prime ideal theoremcompactnessconstraint satisfaction problems

Mathematics Subject Classification ID

Classical propositional logic (03B05) Decidability of theories and sets of sentences (03B25) Axiom of choice and related propositions (03E25)

Recommendations

• Logical compactness and constraint satisfaction problems
• scientific article; zbMATH DE number 120350
• A compactness theorem for linear equations
• Two hypergraph theorems equivalent to BPI
• scientific article; zbMATH DE number 1885963

Cited in

(9)

• A compactness theorem for linear equations
• Logical compactness and constraint satisfaction problems
• scientific article; zbMATH DE number 3899208 (Why is no real title available?)
• scientific article; zbMATH DE number 120350 (Why is no real title available?)
• scientific article; zbMATH DE number 1303454 (Why is no real title available?)
• On a problem of saturation of certain reduced direct products
• scientific article; zbMATH DE number 1885963 (Why is no real title available?)
• Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems)
• Two hypergraph theorems equivalent to BPI

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4943496)