2001], Strong axioms of infinity in (0)

by M R Holmes
Venue:NFU, J. Symbolic Logic