%0 Journal Article %1 journals/ndjfl/PillayV05 %A Pillay, Anand %A Vassiliev, Evgueni %D 2005 %J Notre Dame J. Formal Log. %K dblp %N 4 %P 491-501 %T On Lovely Pairs and the (∃ y ∈ P) Quantifier. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl46.html#PillayV05 %V 46

@article{journals/ndjfl/PillayV05, added-at = {2020-05-21T00:00:00.000+0200}, author = {Pillay, Anand and Vassiliev, Evgueni}, biburl = {https://www.bibsonomy.org/bibtex/27c1af108c8ef543f661fe1b2545052e2/dblp}, ee = {https://doi.org/10.1305/ndjfl/1134397664}, interhash = {a7d9b28418728cce60098c609bcb2acb}, intrahash = {7c1af108c8ef543f661fe1b2545052e2}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 4, pages = {491-501}, timestamp = {2020-05-23T12:17:24.000+0200}, title = {On Lovely Pairs and the (∃ y ∈ P) Quantifier.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl46.html#PillayV05}, volume = 46, year = 2005 }