title = {Quadratic forms in models of IDelta0+Omega1. I.},
author = {Paola D'Aquino and Angus Macintyre}, journal = {Ann. Pure Appl. Logic}, number = {1-3}, pages = {31-48}, url = {http://dblp.uni-trier.de/db/journals/apal/apal148.html#DAquinoM07}, volume = {148}, year = {2007}, description = {dblp}, ee = {http://dx.doi.org/10.1016/j.apal.2007.05.004}, date = {2007-11-05},
keywords = {dblp }