{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T05:17:24Z","timestamp":1737177444491,"version":"3.33.0"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T00:00:00Z","timestamp":1182816000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2007,7,3]]},"DOI":"10.1007\/s11225-007-9054-9","type":"journal-article","created":{"date-parts":[[2007,6,25]],"date-time":"2007-06-25T12:04:45Z","timestamp":1182773085000},"page":"319-332","source":"Crossref","is-referenced-by-count":1,"title":["Kripke Models, Distributive Lattices, and Medvedev Degrees"],"prefix":"10.1007","volume":"85","author":[{"given":"Sebastiaan A.","family":"Terwijn","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,6,26]]},"reference":[{"unstructured":"Heyting A., Die formalen Regeln der intuitionistischen Logik, Sitzungsberichte der Preussisischen Akademie von Wissenschaften, Physikalisch-mathematische Klasse 1930, pp. 42\u201356.","key":"9054_CR1"},{"doi-asserted-by":"crossref","unstructured":"Jankov A.V. \u2018Calculus of the weak law of the excluded middle\u2019, Izv. Akad. Nauk SSSR Ser. Mat. 32 (1968), pp. 1044\u20131051. (In Russian)","key":"9054_CR2","DOI":"10.1070\/IM1968v002n05ABEH000690"},{"doi-asserted-by":"crossref","unstructured":"Ja\u015bkowski, S., Recherches sur le syst\u00e8me de la logique intuitioniste, Actes du Congr\u00e8s International de Philosophie Scientifique VI, Philosophie des math\u00e8matiques, Actualit\u00e8s Scientifiques et Industrielles 393, Paris, Hermann 1936, pp. 58\u201361.","key":"9054_CR3","DOI":"10.5840\/icus11936690"},{"key":"9054_CR4","doi-asserted-by":"crossref","first-page":"109","DOI":"10.2307\/2269016","volume":"10","author":"S.C. Kleene","year":"1945","unstructured":"Kleene S.C. (1945) \u2018On the interpretation of intuitionistic number theory\u2019. Journal of Symbolic Logic 10: 109\u2013124","journal-title":"Journal of Symbolic Logic"},{"issue":"1","key":"9054_CR5","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1007\/BF01186549","volume":"35","author":"A. Kolmogorov","year":"1932","unstructured":"Kolmogorov A. (1932) \u2018Zur Deutung der intuitionistischen Logik\u2019. Mathematische Zeitschrift 35(1): 58-65","journal-title":"Mathematische Zeitschrift"},{"doi-asserted-by":"crossref","unstructured":"Kripke, S., \u2018Semantical analysis of intuitionistic logic\u2019. in Formal systems and recursive functions, J. N. Crossley and M. A. Dummett (eds.), North-Holland 1965, pp. 92\u2013130.","key":"9054_CR6","DOI":"10.1016\/S0049-237X(08)71685-9"},{"issue":"4","key":"9054_CR7","first-page":"501","volume":"104","author":"Y.T. Medvedev","year":"1955","unstructured":"Medvedev Y.T. (1955) \u2018Degrees of difficulty of the mass problems\u2019. Dokl. Akad. Nauk. SSSR 104(4): 501\u2013504","journal-title":"Dokl. Akad. Nauk. SSSR"},{"issue":"5","key":"9054_CR8","first-page":"1015","volume":"142","author":"Y.T. Medvedev","year":"1962","unstructured":"Medvedev Y.T. (1962) \u2018Finite problems\u2019. Dokl. Akad. Nauk. SSSR (NS) 142(5): 1015\u20131018","journal-title":"Dokl. Akad. Nauk. SSSR (NS)"},{"key":"9054_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0002-9947-1953-0055952-4","volume":"75","author":"G.F. Rose","year":"1953","unstructured":"Rose G.F. (1953) \u2018Propositional calculus and realizability\u2019. Transactions of the American Mathematical Society 75: 1\u201319","journal-title":"Transactions of the American Mathematical Society"},{"issue":"1","key":"9054_CR10","first-page":"171","volume":"29","author":"E.Z. Skvortsova","year":"1988","unstructured":"Skvortsova, E.Z., \u2018A faithful interpretation of the intuitionistic propositional calculus by means of an initial segment of the Medvedev lattice\u2019, Sibirsk. Math. Zh. 29(1) (1988), 171\u2013178. (In Russian.)","journal-title":"Sibirsk. Math. Zh."},{"issue":"2","key":"9054_CR11","doi-asserted-by":"crossref","first-page":"831","DOI":"10.2307\/2274668","volume":"55","author":"A. Sorbi","year":"1990","unstructured":"Sorbi A. (1990) \u2018Some remarks on the algebraic structure of the Medvedev lattice\u2019. Journal of Symbolic Logic 55(2): 831\u2013853","journal-title":"Journal of Symbolic Logic"},{"issue":"2","key":"9054_CR12","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1305\/ndjfl\/1093635751","volume":"32","author":"A. Sorbi","year":"1991","unstructured":"Sorbi A. (1991) \u2018Embedding Brouwer algebras in the Medvedev lattice\u2019. Notre Dame Journal of Formal Logic 32(2): 266\u2013275","journal-title":"Notre Dame Journal of Formal Logic"},{"doi-asserted-by":"crossref","unstructured":". Sorbi, A., \u2018The Medvedev lattice of degrees of difficulty\u2019, in S. B. Cooper, T. A. Slaman, and S. S.Wainer (eds.), Computability, Enumerability, Unsolvability: Directions in Recursion Theory, London Mathematical Society Lecture Notes 224, Cambridge University Press, 1996, pp. 289\u2013312.","key":"9054_CR13","DOI":"10.1017\/CBO9780511629167.015"},{"issue":"1","key":"9054_CR14","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1305\/ndjfl\/1143468312","volume":"47","author":"S.A. Terwijn","year":"2006","unstructured":"Terwijn S.A. (2006) \u2018Constructive logic and the Medvedev lattice\u2019. Notre Dame Journal of Formal Logic 47(1): 73\u201382","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"2","key":"9054_CR15","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. (2006) \u2018The Medvedev lattice of computably closed sets\u2019. Archive for Mathematical Logic 45(2): 179\u2013190","journal-title":"Archive for Mathematical Logic"},{"doi-asserted-by":"crossref","unstructured":"Terwijn, S. A., Kripke models, distributive lattices, and Medvedev degrees, in S. B. Cooper, B. L\u00f3we, L. Torenvliet (eds.), New Computational Paradigms, Proceedings of Computability in Europe (CiE 2005), Lecture Notes in Computer Science 3526, Springer, 2005, pp. 486\u2013494.","key":"9054_CR16","DOI":"10.1007\/11494645_60"},{"unstructured":". Troelstra, A. S., and D. van Dalen, Constructivism in Mathematics, Vol. I, Studies in logic and the foundations of mathematics Vol. 121, North-Holland, 1988.","key":"9054_CR17"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-007-9054-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-007-9054-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-007-9054-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T17:25:10Z","timestamp":1737134710000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-007-9054-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,6,26]]},"references-count":17,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2007,7,3]]}},"alternative-id":["9054"],"URL":"https:\/\/doi.org\/10.1007\/s11225-007-9054-9","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2007,6,26]]}}}