@article{journals/apal/DAquinoM07, 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}, biburl = {http://www.bibsonomy.org/bibtex/28ca78762c80d8e783cac8944be58e3e0/dblp}, description = {dblp}, ee = {http://dx.doi.org/10.1016/j.apal.2007.05.004}, date = {2007-11-05}, keywords = {dblp } }