The polarized Ramsey’s theorem.
- Published in:
- Archive for Mathematical Logic, 2009, v. 48, n. 2, p. 141, doi. 10.1007/s00153-008-0108-0
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2009 AND VI 48 AND IP 2
Results: 4
1
2
A solution to Curry and Hindley’s problem on combinatory strong reduction.
- Published in:
- Archive for Mathematical Logic, 2009, v. 48, n. 2, p. 159, doi. 10.1007/s00153-008-0109-z
- By:
- Publication type:
- Article
3
Parameterized partition relations on the real numbers.
- Published in:
- Archive for Mathematical Logic, 2009, v. 48, n. 2, p. 201, doi. 10.1007/s00153-009-0121-y
- By:
- Publication type:
- Article
4
Counting proofs in propositional logic.
- Published in:
- Archive for Mathematical Logic, 2009, v. 48, n. 2, p. 185, doi. 10.1007/s00153-009-0119-5
- By:
- Publication type:
- Article