A. R. D. Mathias

According to our database, A. R. D. Mathias authored at least 6 papers between 1990 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2015

Rudimentary Recursion, Gentle Functions and Provident Sets.

A. R. D. Mathias, Nathan J. Bowler

Notre Dame J. Formal Log., 2015

2007

A note on the schemes of replacement and collection.

A. R. D. Mathias

Arch. Math. Log., 2007

2002

A Term of Length 4 523 659 424 929.

A. R. D. Mathias

Synth., 2002

2001

Slim Models of Zermelo Set Theory.

A. R. D. Mathias

J. Symb. Log., 2001

The strength of Mac Lane set theory.

A. R. D. Mathias

Ann. Pure Appl. Log., 2001

1990

On the Existence of Large p-Ideals.

Winfried Just, A. R. D. Mathias, Karel Prikry, Petr Simon

J. Symb. Log., 1990