The following pages link to Robert H. Cowen (Q920086):
Displayed 25 items.
- Two hypergraph theorems equivalent to BPI (Q920087) (← links)
- (Q1035837) (redirect page) (← links)
- 2-cnfs and logical embeddings (Q1035838) (← links)
- (Q1159636) (redirect page) (← links)
- Compactness via prime semilattices (Q1159637) (← links)
- Generalizing Konig's infinity lemma (Q1220513) (← links)
- Binary consistent choice on triples (Q1227619) (← links)
- BREAKUP: A preprocessing algorithm for satisfiability testing of CNF formulas (Q1317978) (← links)
- A new proof of the compactness theorem for propositional logic (Q2530300) (← links)
- Superinductive classes in class-set theory (Q2534169) (← links)
- A short proof of Rado's lemma (Q2546867) (← links)
- A characterization of logical consequence in quantification theory (Q2559348) (← links)
- A compactness theorem for linear equations (Q2563454) (← links)
- Odd neighborhood transversals on grid graphs (Q2643313) (← links)
- Deleting Edges from Ramsey Minimal Examples (Q3459998) (← links)
- Generalized Davis-Putnam and satisfiability problems in mathematics (Q3577911) (← links)
- (Q3947641) (← links)
- (Q3952103) (← links)
- (Q4025013) (← links)
- Elementary Equivalence and Constructible Models of Zermelo‐Fraenkel Set Theory (Q4115150) (← links)
- (Q4305338) (← links)
- Some Combinatorial Theorems Equivalent to the Prime Ideal Theorem (Q4401450) (← links)
- <i>A Beginner's Guide to Mathematical Logic</i> (Q4577003) (← links)
- (Q4798546) (← links)
- (Q4824884) (← links)