On the Existence of Large p-Ideals. - Winfried Just; A. R. D. Mathias; Karel Prikry; Petr Simon (J. Symb. Log., 1990)

The strength of Mac Lane set theory. - A. R. D. Mathias (Ann. Pure Appl. Log., 2001)

Slim Models of Zermelo Set Theory. - A. R. D. Mathias (J. Symb. Log., 2001)

A Term of Length 4 523 659 424 929. - A. R. D. Mathias (Synth., 2002)

A note on the schemes of replacement and collection. - A. R. D. Mathias (Arch. Math. Log., 2007)

Rudimentary Recursion, Gentle Functions and Provident Sets. - A. R. D. Mathias; Nathan J. Bowler (Notre Dame J. Formal Log., 2015)