Crossref Citations
                  This article has been cited by the following publications. This list is generated based on data provided by Crossref.
                                
                                    
                                    Erdős, Paul
                                    
                                    Hajnal, A.
                                     and 
                                    Larson, Jean A.
                                  1993.
                                  Finite and Infinite Combinatorics in Sets and Logic.
                                  
                                  
                                  
                                  
                                  
                                
                                    p. 
                                    97.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Larson, Jean A.
                                  1993.
                                  Finite and Infinite Combinatorics in Sets and Logic.
                                  
                                  
                                  
                                  
                                  
                                
                                    p. 
                                    207.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    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.
                                
                                
                        
                        
                        
                         
 
