## Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory (0)

### Cached

### Download Links

- [iamwww.unibe.ch]
- [www.iam.unibe.ch]
- [www.iam.unibe.ch]
- [www.iam.unibe.ch]
- [iamwww.unibe.ch]
- [www.iam.unibe.ch]
- DBLP

### Other Repositories/Bibliography

by
Gerhard Jäger
,
Thomas Strahm

Venue: | Journal of Symbolic Logic |

Citations: | 22 - 14 self |