scientific article; zbMATH DE number 517057

MaRDI QIDQ4282585zbMATH OpenFDO

Authors

Publication date 17 March 1994

zbMATH Keywords

Boolean Prime Ideal Theoremcompactnessdecision problemsDisjoint Transversals Axiomgraph colorabilityNP-completesatisfiabilitysurveyZF set theory

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other set-theoretic hypotheses and axioms (03E65) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Two hypergraph theorems equivalent to BPI
• scientific article; zbMATH DE number 2109540
• scientific article; zbMATH DE number 120350
• Applications of formative process to the decision problem in set theory
• scientific article; zbMATH DE number 1641581

Cited in

(7)

• Out-degree reducing partitions of digraphs
• Sublinear fully distributed partition with applications
• Bipartite bihypergraphs: a survey and new results
• Worm colorings
• scientific article; zbMATH DE number 2109540 (Why is no real title available?)
• An Efficient Fixed-Parameter Algorithm for the 2-Plex Bipartition Problem
• 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 Q4282585)