scientific article; zbMATH DE number 1941931

MaRDI QIDQ4408991zbMATH OpenFDO

Authors Adam Kolany

Publication date 5 November 2003

zbMATH Keywords

compactness propertyhypergraph satisfiabilityRadò selection lemma

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Hypergraphs (05C65)

Recommendations

• Rado selection lemma and other combinatorial statements uniformly proved
• Variations of Rado's lemma
• Variants of RADO'S Selection Lemma and their Applications
• Π₀¹-classes and Rado's selection principle
• Some consequences of Rado's selection lemma

Cited in

(1)

• Rado selection lemma and other combinatorial statements uniformly proved

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 Q4408991)