A. R. D. Mathias

Publication Activity (10 Years)

Years Active: 1990-2015
Publications (10 Years): 1

Top Topics

Deductive Databases

Top Venues

Notre Dame J. Formal Log.

Publications

A. R. D. Mathias, Nathan J. Bowler
Rudimentary Recursion, Gentle Functions and Provident Sets. Notre Dame J. Formal Log. 56 (1) (2015)
A. R. D. Mathias
A note on the schemes of replacement and collection. Arch. Math. Log. 46 (1) (2007)
A. R. D. Mathias
A Term of Length 4 523 659 424 929. Synth. 133 (1-2) (2002)
A. R. D. Mathias
The strength of Mac Lane set theory. Ann. Pure Appl. Log. 110 (1-3) (2001)
A. R. D. Mathias
Slim Models of Zermelo Set Theory. J. Symb. Log. 66 (2) (2001)
Winfried Just, A. R. D. Mathias, Karel Prikry, Petr Simon
On the Existence of Large p-Ideals. J. Symb. Log. 55 (2) (1990)