FORCING ON BOUNDED ARITHMETIC II

Authors
TAKEUTI G YASUMOTO M
Citation
G. Takeuti et M. Yasumoto, FORCING ON BOUNDED ARITHMETIC II, The Journal of symbolic logic, 63(3), 1998, pp. 860-868
Citations number
14
Categorie Soggetti
Mathematics,Mathematics
Journal title
The Journal of symbolic logic → ACNP
ISSN journal
00224812
Volume
63
Issue
3
Year of publication
1998
Pages
860 - 868
Database
ISI
SICI code
0022-4812(1998)63:3<860:FOBAI>2.0.ZU;2-A