%0 Journal Article %1 journals/apal/BaldwinH04 %A Baldwin, John T. %A Holland, Kitty L. %D 2004 %J Ann. Pure Appl. Log. %K dblp %N 1-3 %P 159-172 %T Constructing omega-stable structures: model completeness. %U http://dblp.uni-trier.de/db/journals/apal/apal125.html#BaldwinH04 %V 125

@article{journals/apal/BaldwinH04, added-at = {2020-02-21T00:00:00.000+0100}, author = {Baldwin, John T. and Holland, Kitty L.}, biburl = {https://www.bibsonomy.org/bibtex/221e5519abced5c899a54a240cc74f7c6/dblp}, ee = {https://doi.org/10.1016/j.apal.2003.10.003}, interhash = {e70e182e71c25537969e7a59b865193a}, intrahash = {21e5519abced5c899a54a240cc74f7c6}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, number = {1-3}, pages = {159-172}, timestamp = {2020-02-22T12:47:52.000+0100}, title = {Constructing omega-stable structures: model completeness.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal125.html#BaldwinH04}, volume = 125, year = 2004 }