François Dorais, Zachary Evans, Marcia J. Groszek, Seth Harris, Theodore A. Slaman. Schmerl decompositions in first order arithmetic. Annals of Pure and Applied Logic, 170(12), 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.