Found: 5
Select item for more details and to access through your institution.
A note on the Σ<sub>1</sub> collection scheme and fragments of bounded arithmetic.
- Published in:
- Mathematical Logic Quarterly, 2010, v. 56, n. 2, p. 126, doi. 10.1002/malq.200810043
- By:
- Publication type:
- Article
END-EXTENSIONS OF MODELS OF WEAK ARITHMETIC FROM COMPLEXITY-THEORETIC CONTAINMENTS.
- Published in:
- Journal of Symbolic Logic, 2016, v. 81, n. 3, p. 901, doi. 10.1017/jsl.2015.53
- By:
- Publication type:
- Article
FRAGMENTS OF APPROXIMATE COUNTING.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 2, p. 496, doi. 10.1017/jsl.2013.37
- By:
- Publication type:
- Article
Ramsey's theorem for pairs, collection, and proof size.
- Published in:
- Journal of Mathematical Logic, 2024, v. 24, n. 2, p. 1, doi. 10.1142/S0219061323500071
- By:
- Publication type:
- Article
Approximate counting and NP search problems.
- Published in:
- Journal of Mathematical Logic, 2022, v. 22, n. 3, p. 1, doi. 10.1142/S021906132250012X
- By:
- Publication type:
- Article