Found: 8
Select item for more details and to access through your institution.
Reduction games, provability and compactness.
- Published in:
- Journal of Mathematical Logic, 2022, v. 22, n. 3, p. 1, doi. 10.1142/S021906132250009X
- By:
- Publication type:
- Article
A NOTE ON THE REVERSE MATHEMATICS OF THE SORITES.
- Published in:
- Review of Symbolic Logic, 2019, v. 12, n. 1, p. 30, doi. 10.1017/S1755020318000461
- By:
- Publication type:
- Article
Turing Computability.
- Published in:
- 2017
- By:
- Publication type:
- Book Review
STRONG REDUCTIONS BETWEEN COMBINATORIAL PRINCIPLES.
- Published in:
- Journal of Symbolic Logic, 2016, v. 81, n. 4, p. 1405, doi. 10.1017/jsl.2016.1
- By:
- Publication type:
- Article
Ramsey’s theorem for trees: the polarized tree theorem and notions of stability.
- Published in:
- Archive for Mathematical Logic, 2010, v. 49, n. 3, p. 399, doi. 10.1007/s00153-010-0179-6
- By:
- Publication type:
- Article
Sorites Without Vagueness I: Classificatory Sorites.
- Published in:
- Theoria: A Swedish Journal of Philosophy, 2010, v. 76, n. 1, p. 4, doi. 10.1111/j.1755-2567.2009.01056.x
- By:
- Publication type:
- Article
Sorites Without Vagueness II: Comparative Sorites.
- Published in:
- Theoria: A Swedish Journal of Philosophy, 2010, v. 76, n. 1, p. 25, doi. 10.1111/j.1755-2567.2009.01057.x
- By:
- Publication type:
- Article
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