{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,31]],"date-time":"2024-05-31T13:40:29Z","timestamp":1717162829703},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2014,7,29]],"date-time":"2014-07-29T00:00:00Z","timestamp":1406592000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2014,11]]},"DOI":"10.1007\/s00153-014-0393-8","type":"journal-article","created":{"date-parts":[[2014,7,28]],"date-time":"2014-07-28T02:33:05Z","timestamp":1406514785000},"page":"865-879","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Natural factors of the Medvedev lattice capturing IPC"],"prefix":"10.1007","volume":"53","author":[{"given":"Rutger","family":"Kuyper","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,7,29]]},"reference":[{"key":"393_CR1","volume-title":"Distributive Lattices","author":"R. Balbes","year":"1975","unstructured":"Balbes R., Dwinger P.: Distributive Lattices. University of Missouri Press, Columbia, MO (1975)"},{"key":"393_CR2","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"A. Chagrov","year":"1997","unstructured":"Chagrov A., Zakharyaschev M.: Modal Logic. Clarendon Press, Oxford (1997)"},{"key":"393_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-68441-3","volume-title":"Algorithmic Randomness and Complexity","author":"R.G. Downey","year":"2010","unstructured":"Downey R.G., Hirschfeldt D.R.: Algorithmic Randomness and Complexity. Springer, Berlin (2010)"},{"issue":"2","key":"393_CR4","doi-asserted-by":"crossref","first-page":"161","DOI":"10.2178\/bsl\/1333560805","volume":"18","author":"P.G. Hinman","year":"2012","unstructured":"Hinman P.G.: A survey of Mu\u010dnik and Medvedev degrees. Bull. Symb. Log. 18(2), 161\u2013229 (2012)","journal-title":"Bull. Symb. Log."},{"issue":"5","key":"393_CR5","first-page":"1044","volume":"32","author":"V.A. Jankov","year":"1968","unstructured":"Jankov V.A.: The calculus of the weak \u201claw of excluded middle\u201d. Izvestiya Akademii Nauk SSSR Seriya Matematicheskaya 32(5), 1044\u20131051 (1968)","journal-title":"Izvestiya Akademii Nauk SSSR Seriya Matematicheskaya"},{"issue":"4","key":"393_CR6","first-page":"880","volume":"32","author":"V.A. Jankov","year":"1968","unstructured":"Jankov V.A.: Three sequences of formulas with two variables in positive propositional logic. Izvestiya Akademii Nauk SSSR Seriya Matematicheskaya 32(4), 880\u2013883 (1968)","journal-title":"Izvestiya Akademii Nauk SSSR Seriya Matematicheskaya"},{"issue":"4","key":"393_CR7","doi-asserted-by":"crossref","first-page":"109","DOI":"10.2307\/2269016","volume":"10","author":"S.C. Kleene","year":"1945","unstructured":"Kleene S.C.: On the interpretation of intuitionistic number theory. J. Symb. Log. 10(4), 109\u2013124 (1945)","journal-title":"J. Symb. Log."},{"issue":"3","key":"393_CR8","doi-asserted-by":"crossref","first-page":"379","DOI":"10.2307\/1969708","volume":"59","author":"S.C. Kleene","year":"1954","unstructured":"Kleene S.C., Post E.L.: The upper semi-lattice of degrees of recursive unsolvability. Ann. Math. Second Ser. 59(3), 379\u2013407 (1954)","journal-title":"Ann. Math. Second Ser."},{"issue":"10","key":"393_CR9","doi-asserted-by":"crossref","first-page":"1025","DOI":"10.1016\/j.apal.2013.06.001","volume":"164","author":"R. Kuyper","year":"2013","unstructured":"Kuyper R.: Natural factors of the Muchnik lattice capturing IPC. Ann. Pure Appl. Log. 164(10), 1025\u20131036 (2013)","journal-title":"Ann. Pure Appl. Log."},{"issue":"5","key":"393_CR10","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1002\/malq.19680143002","volume":"14","author":"A.N. Lachlan","year":"1968","unstructured":"Lachlan A.N.: Distributive initial segments of the degrees of unsolvability. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik 14(5), 457\u2013472 (1968)","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"issue":"1","key":"393_CR11","doi-asserted-by":"crossref","first-page":"122","DOI":"10.2307\/1969038","volume":"47","author":"J.C.C. McKinsey","year":"1946","unstructured":"McKinsey J.C.C., Tarski A.: On closed elements in closure algebras. Ann. Math. Second Ser. 47(1), 122\u2013162 (1946)","journal-title":"Ann. Math. Second Ser."},{"issue":"1","key":"393_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2268135","volume":"13","author":"J.C.C. McKinsey","year":"1948","unstructured":"McKinsey J.C.C., Tarski A.: Some theorems about the sentential calculi of Lewis and Heyting. J. Symb. Log. 13(1), 1\u201315 (1948)","journal-title":"J. Symb. Log."},{"issue":"4","key":"393_CR13","first-page":"501","volume":"104","author":"Yu.T. Medvedev","year":"1955","unstructured":"Medvedev Yu.T.: Degrees of difficulty of the mass problems. Doklady Akademii Nauk SSSR, (NS) 104(4), 501\u2013504 (1955)","journal-title":"Doklady Akademii Nauk SSSR, (NS)"},{"issue":"5","key":"393_CR14","first-page":"1015","volume":"142","author":"Yu.T. Medvedev","year":"1962","unstructured":"Medvedev Yu.T.: Finite problems. Doklady Akademii Nauk SSSR, (NS) 142(5), 1015\u20131018 (1962)","journal-title":"Doklady Akademii Nauk SSSR, (NS)"},{"key":"393_CR15","first-page":"1328","volume":"4","author":"A.A. Muchnik","year":"1963","unstructured":"Muchnik A.A.: On strong and weak reducibilities of algorithmic problems. Sibirskii Matematicheskii Zhurnal 4, 1328\u20131341 (1963)","journal-title":"Sibirskii Matematicheskii Zhurnal"},{"key":"393_CR16","unstructured":"Odifreddi, P.: Classical Recursion Theory, Studies in Logic and the Foundations of Mathematics, vol. 125. North-Holland, Amsterdam (1989)"},{"issue":"4","key":"393_CR17","doi-asserted-by":"crossref","first-page":"714","DOI":"10.2307\/2273221","volume":"46","author":"D.B. Posner","year":"1981","unstructured":"Posner D.B., Robinson R.W.: Degrees joining to 0\u2032. J. Symb. Log. 46(4), 714\u2013722 (1981)","journal-title":"J. Symb. Log."},{"issue":"1","key":"393_CR18","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1215\/00294527-2010-034","volume":"52","author":"P. Shafer","year":"2011","unstructured":"Shafer P.: Characterizing the join-irreducible medvedev degrees. Notre Dame J. Form. Log. 52(1), 21\u201338 (2011)","journal-title":"Notre Dame J. Form. Log."},{"key":"393_CR19","doi-asserted-by":"crossref","unstructured":"Skvortsova, E.Z.: A faithful interpretation of the intuitionistic propositional calculus by means of an initial segment of the Medvedev lattice. Sib. Math. J. 29(1), 133\u2013139, translation of [20] (1988)","DOI":"10.1007\/BF00975025"},{"issue":"1","key":"393_CR20","first-page":"171","volume":"29","author":"E.Z. Skvortsova","year":"1988","unstructured":"Skvortsova E.Z.: A faithful interpretation of the intuitionistic propositional calculus by means of an initial segment of the Medvedev lattice. Sibirskii Matematicheskii Zhurnal 29(1), 171\u2013178 (1988)","journal-title":"Sibirskii Matematicheskii Zhurnal"},{"key":"393_CR21","doi-asserted-by":"crossref","unstructured":"Sorbi, A.: The Medvedev lattice of degrees of difficulty. In: Cooper, S.B., Slaman, T.A., Wainer, S.S. (eds.) Computability, Enumerability, Unsolvability: Directions in Recursion Theory. London Mathematical Society Lecture Notes, vol. 224, pp.289\u2013312. Cambridge University Press, Cambridge, MA (1996)","DOI":"10.1017\/CBO9780511629167.015"},{"key":"393_CR22","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/j.apal.2008.03.002","volume":"155","author":"A. Sorbi","year":"2008","unstructured":"Sorbi A., Terwijn S.A.: Intermediate logics and factors of the medvedev lattice. Ann. Pure Appl. Log. 155, 69\u201385 (2008)","journal-title":"Ann. Pure Appl. Log."},{"key":"393_CR23","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/s00012-012-0176-1","volume":"67","author":"A. Sorbi","year":"2012","unstructured":"Sorbi A., Terwijn S.A.: Intuitionistic logic and Muchnik degrees. Algebra Universalis 67, 175\u2013188 (2012)","journal-title":"Algebra Universalis"},{"issue":"2","key":"393_CR24","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/s00153-005-0278-y","volume":"45","author":"S.A. Terwijn","year":"2006","unstructured":"Terwijn S.A.: The Medvedev lattice of computably closed sets. Arch. Math. Log. 45(2), 179\u2013190 (2006)","journal-title":"Arch. Math. Log."},{"key":"393_CR25","unstructured":"van Oosten, J.: Realizability: An Introduction to Its Categorical Side, Studies in Logic and the Foundations of Mathematics, vol. 152, Elsevier, Amsterdam (2008)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-014-0393-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-014-0393-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-014-0393-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,31]],"date-time":"2024-05-31T13:17:52Z","timestamp":1717161472000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-014-0393-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,29]]},"references-count":25,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2014,11]]}},"alternative-id":["393"],"URL":"https:\/\/doi.org\/10.1007\/s00153-014-0393-8","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,7,29]]}}}