Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Larson, Jean A.
1993.
Finite and Infinite Combinatorics in Sets and Logic.
p.
207.
Erdős, Paul
Hajnal, A.
and
Larson, Jean A.
1993.
Finite and Infinite Combinatorics in Sets and Logic.
p.
97.
Hajnal, András
2013.
The Mathematics of Paul Erdős II.
p.
379.
Džamonja, Mirna
Koutsoukou-Argyraki, Angeliki
and
Paulson, Lawrence C.
2022.
Formalizing Ordinal Partition Relations Using Isabelle/HOL.
Experimental Mathematics,
Vol. 31,
Issue. 2,
p.
383.
Paulson, Lawrence C.
2023.
Intelligent Computer Mathematics.
Vol. 14101,
Issue. ,
p.
3.
Paulson, Lawrence C.
2024.
A formalised theorem in the partition calculus.
Annals of Pure and Applied Logic,
Vol. 175,
Issue. 1,
p.
103246.