{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:10:27Z","timestamp":1706649027143},"reference-count":17,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2011,1,1]]},"DOI":"10.1215\/00294527-2010-034","type":"journal-article","created":{"date-parts":[[2010,12,13]],"date-time":"2010-12-13T14:13:53Z","timestamp":1292249633000},"source":"Crossref","is-referenced-by-count":3,"title":["Characterizing the Join-Irreducible Medvedev Degrees"],"prefix":"10.1215","volume":"52","author":[{"given":"Paul","family":"Shafer","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"2","doi-asserted-by":"publisher","unstructured":"[2] Bianchini, C., and A. Sorbi, \"A note on closed degrees of difficulty of the Medvedev lattice\", <i>Mathematical Logic Quarterly<\/i>, vol. 42 (1996), pp. 127--33.","DOI":"10.1002\/malq.19960420111"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] Dyment, E. Z., \"Certain properties of the Medvedev lattice\", <i>Mathematics of the USSR Sbornik<\/i>, vol. 30 (1976), pp. 321--40.","DOI":"10.1070\/SM1976v030n03ABEH002277"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] Dyment, E. Z., \"Exact bounds of denumerable collections of degrees of difficulty\", <i>Akademiya Nauk Soyuza SSR. Matematicheskie Zametki<\/i>, vol. 28 (1980), pp. 899--910, 961.","DOI":"10.1007\/BF01709153"},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] Jankov, V. A., \"Calculus of the weak law of the excluded middle\", <i>Mathematics of the USSR Izvestiya<\/i>, vol. 2 (1968), pp. 997--1004.","DOI":"10.1070\/IM1968v002n05ABEH000690"},{"key":"6","unstructured":"[6] Lerman, M., <i>Degrees of Unsolvability. Local and Global Theory<\/i>, Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1983."},{"key":"8","unstructured":"[8] Medvedev, Y. T., \"Finite problems\", <i>Doklady Akademii Nauk SSSR (NS)<\/i>, vol. 142 (1962), pp. 1015--18."},{"key":"9","unstructured":"[9] Rasiowa, H., and R. Sikorski, <i>The Mathematics of Metamathematics<\/i>, Monografie Matematyczne, Tom 41. Pa\u0144stwowe Wydawnictwo Naukowe, Warsaw, 1963."},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] Skvortsova, E. Z., \"A faithful interpretation of the intuitionistic propositional calculus by means of an initial segment of the Medvedev lattice\", <i>Sibirski\u012d Matematicheski\u012d Zhurnal<\/i>, vol. 29 (1988), pp. 171--78, 225.","DOI":"10.1007\/BF00975025"},{"key":"11","doi-asserted-by":"publisher","unstructured":"[11] Sorbi, A., \"On some filters and ideals of the Medvedev lattice\", <i>Archive for Mathematical Logic<\/i>, vol. 30 (1990), pp. 29--48.","DOI":"10.1007\/BF01793784"},{"key":"12","doi-asserted-by":"publisher","unstructured":"[12] Sorbi, A., \"Some remarks on the algebraic structure of the Medvedev lattice\", <i>The Journal of Symbolic Logic<\/i>, vol. 55 (1990), pp. 831--53.","DOI":"10.2307\/2274668"},{"key":"13","doi-asserted-by":"publisher","unstructured":"[13] Sorbi, A., \"Embedding Brouwer algebras in the Medvedev lattice\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 32 (1991), pp. 266--75.","DOI":"10.1305\/ndjfl\/1093635751"},{"key":"14","doi-asserted-by":"publisher","unstructured":"[14] Sorbi, A., \"Some quotient lattices of the Medvedev lattice\", <i>Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik<\/i>, vol. 37 (1991), pp. 167--82.","DOI":"10.1002\/malq.19910370905"},{"key":"15","doi-asserted-by":"publisher","unstructured":"[15] Sorbi, A., \"The Medvedev lattice of degrees of difficulty\", pp. 289--312 in <i>Computability, Enumerability, Unsolvability. Directions in Recursion Theory<\/i>, edited by S. B. Cooper, T. A. Slaman, and S. S. Wainer, vol. 224 of <i>London Mathematical Society Lecture Notes<\/i>, Cambridge University Press, Cambridge, 1996.","DOI":"10.1017\/CBO9780511629167.015"},{"key":"16","doi-asserted-by":"publisher","unstructured":"[16] Sorbi, A., and S. A. Terwijn, \"Intermediate logics and factors of the Medvedev lattice\", <i>Annals of Pure and Applied Logic<\/i>, vol. 155 (2008), pp. 69--85.","DOI":"10.1016\/j.apal.2008.03.002"},{"key":"17","doi-asserted-by":"publisher","unstructured":"[17] Terwijn, S. A., \"Constructive logic and the Medvedev lattice\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 47 (2006), pp. 73--82.","DOI":"10.1305\/ndjfl\/1143468312"},{"key":"1","unstructured":"[1] Balbes, R., and P. Dwinger, <i>Distributive Lattices<\/i>, University of Missouri Press, Columbia, 1974."},{"key":"7","unstructured":"[7] Lewis, A. E., R. A. Shore, and A. Sorbi, \"Topological aspects of the Medvedev lattice\". forthcoming."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2010-034","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:57:35Z","timestamp":1706648255000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-52\/issue-1\/Characterizing-the-Join-Irreducible-Medvedev-Degrees\/10.1215\/00294527-2010-034.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1,1]]},"references-count":17,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2011,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2010-034","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2011,1,1]]}}}