by Assaf Rinot, Ralf Schindler
Reference:
Square with built-in diamond-plus (Assaf Rinot, Ralf Schindler), In J. Symbolic Logic, volume 82, 2017.
Bibtex Entry:
@article {rinot21,
AUTHOR = {Rinot, Assaf and Schindler, Ralf},
TITLE = {Square with built-in diamond-plus},
JOURNAL = {J. Symbolic Logic},
FJOURNAL = {Journal of Symbolic Logic},
VOLUME = {82},
YEAR = {2017},
NUMBER = {3},
PAGES = {809--833},
ISSN = {0022-4812},
CODEN = {JSYLA6},
MRCLASS = {03E45 (03E05)},
MRNUMBER = {3694331},
DOI = {10.1017/jsl.2016.69},
URL = {https://doi.org/10.1017/jsl.2016.69},
WP_ID = {21},
WP_PREPRINT = {http://www.assafrinot.com/files/rinot21.pdf},
WP_DISCUSSION = {http://www.assafrinot.com/paper/21},
WP_PRESENTATIONS = {https://blog.assafrinot.com/?p=4016},
wp_additionalmaterial = {https://blog.assafrinot.com/?p=4007},
}