Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Avigad, Jeremy
2004.
Forcing in Proof Theory.
Bulletin of Symbolic Logic,
Vol. 10,
Issue. 3,
p.
305.
Mileti, Joseph R.
2005.
Partition Theorems and Computability Theory.
Bulletin of Symbolic Logic,
Vol. 11,
Issue. 3,
p.
411.
Bigorajska, Teresa
and
Kotlarski, Henryk
2006.
Partitioning 𝛼–large sets: Some lower bounds.
Transactions of the American Mathematical Society,
Vol. 358,
Issue. 11,
p.
4981.
MONTALBÁN, ANTONIO
2006.
INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS.
Journal of Mathematical Logic,
Vol. 06,
Issue. 01,
p.
89.
Montalbán, Antonio
2007.
On the Equimorphism Types of Linear Orderings.
Bulletin of Symbolic Logic,
Vol. 13,
Issue. 1,
p.
71.
De Smet, Michiel
and
Weiermann, Andreas
2008.
Logic and Theory of Algorithms.
Vol. 5028,
Issue. ,
p.
168.
Kotlarski, Henryk
and
Zdanowski, Konrad
2009.
On a question of Andreas Weiermann.
Mathematical Logic Quarterly,
Vol. 55,
Issue. 2,
p.
201.
Wilkie, Alex J.
2009.
2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08.
The Bulletin of Symbolic Logic,
Vol. 15,
Issue. 1,
p.
95.
Kohlenbach , Ulrich
and
Kreuzer , Alexander
2009.
Ramsey's Theorem for Pairs and Provably Recursive Functions.
Notre Dame Journal of Formal Logic,
Vol. 50,
Issue. 4,
Dzhafarov, Damir D.
and
Hirst, Jeffry L.
2009.
The polarized Ramsey’s theorem.
Archive for Mathematical Logic,
Vol. 48,
Issue. 2,
p.
141.
Chong, C.
Lempp, Steffen
and
Yang, Yue
2009.
On the role of the collection principle for Σ⁰₂-formulas in second-order reverse mathematics.
Proceedings of the American Mathematical Society,
Vol. 138,
Issue. 3,
p.
1093.
Shore, Richard A.
2010.
Reverse Mathematics: The Playground of Logic.
The Bulletin of Symbolic Logic,
Vol. 16,
Issue. 3,
p.
378.
Dzhafarov, Damir D.
Hirst, Jeffry L.
and
Lakins, Tamara J.
2010.
Ramsey’s theorem for trees: the polarized tree theorem and notions of stability.
Archive for Mathematical Logic,
Vol. 49,
Issue. 3,
p.
399.
Montalbán, Antonio
2011.
Open Questions in Reverse Mathematics.
The Bulletin of Symbolic Logic,
Vol. 17,
Issue. 3,
p.
431.
Marcone, Alberto
and
Shore, Richard A.
2011.
The maximal linear extension theorem in second order arithmetic.
Archive for Mathematical Logic,
Vol. 50,
Issue. 5-6,
p.
543.
Dzhafarov, Damir D.
2011.
Stable Ramsey's Theorem and Measure.
Notre Dame Journal of Formal Logic,
Vol. 52,
Issue. 1,
Kreuzer, Alexander P.
2011.
The cohesive principle and the Bolzano-Weierstraß principle.
Mathematical Logic Quarterly,
Vol. 57,
Issue. 3,
p.
292.
Kreuzer, Alexander P.
2012.
Primitive Recursion and the Chain Antichain Principle.
Notre Dame Journal of Formal Logic,
Vol. 53,
Issue. 2,
Cholak, Peter A.
Dzhafarov, Damir D.
and
Hirst, Jeffry L.
2012.
How the World Computes.
Vol. 7318,
Issue. ,
p.
129.
Frittaion, Emanuele
and
Marcone, Alberto
2012.
Linear extensions of partial orders and reverse mathematics.
Mathematical Logic Quarterly,
Vol. 58,
Issue. 6,
p.
417.