Document is current

Construction of models of bounded arithmetic by restricted reduced powers

Crossref DOI link: https://doi.org/10.1007/s00153-016-0484-9

Published Online: 2016-04-19

Published Print: 2016-08

Update policy: https://doi.org/10.1007/springer_crossmark_policy