A formalised theorem in the partition calculus

From MaRDI portal
Publication:6073894

DOI10.1016/j.apal.2023.103246arXiv2104.11613OpenAlexW3157126958WikidataQ123365870 ScholiaQ123365870MaRDI QIDQ6073894

Lawrence Charles Paulson

Publication date: 12 October 2023

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2104.11613




Related Items (1)




Cites Work




This page was built for publication: A formalised theorem in the partition calculus