%0 Journal Article %1 journals/ndjfl/Cunningham17 %A Cunningham, Daniel W. %D 2017 %J Notre Dame J. Formal Log. %K dblp %N 3 %P 397-407 %T A Diamond Principle Consistent with AD. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl58.html#Cunningham17 %V 58

@article{journals/ndjfl/Cunningham17, added-at = {2020-05-21T00:00:00.000+0200}, author = {Cunningham, Daniel W.}, biburl = {https://www.bibsonomy.org/bibtex/2648a2e7886570521b238273bb9d411b1/dblp}, ee = {https://doi.org/10.1215/00294527-2017-0008}, interhash = {79e148dd3af3d3b2385b78b0c5a35399}, intrahash = {648a2e7886570521b238273bb9d411b1}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 3, pages = {397-407}, timestamp = {2020-05-23T12:17:37.000+0200}, title = {A Diamond Principle Consistent with AD.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl58.html#Cunningham17}, volume = 58, year = 2017 }