%0 Journal Article %1 journals/aml/MarconeS11 %A Marcone, Alberto %A Shore, Richard A. %D 2011 %J Arch. Math. Log. %K dblp %N 5-6 %P 543-564 %T The maximal linear extension theorem in second order arithmetic. %U http://dblp.uni-trier.de/db/journals/aml/aml50.html#MarconeS11 %V 50

@article{journals/aml/MarconeS11, added-at = {2018-11-30T00:00:00.000+0100}, author = {Marcone, Alberto and Shore, Richard A.}, biburl = {https://www.bibsonomy.org/bibtex/206eccddd1d2c2e966cd137b05e1d442f/dblp}, ee = {https://doi.org/10.1007/s00153-011-0231-1}, interhash = {75a36421ad8808d62401666f41d80770}, intrahash = {06eccddd1d2c2e966cd137b05e1d442f}, journal = {Arch. Math. Log.}, keywords = {dblp}, number = {5-6}, pages = {543-564}, timestamp = {2018-12-01T12:52:43.000+0100}, title = {The maximal linear extension theorem in second order arithmetic.}, url = {http://dblp.uni-trier.de/db/journals/aml/aml50.html#MarconeS11}, volume = 50, year = 2011 }