{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:32Z","timestamp":1761611072959,"version":"3.44.0"},"reference-count":27,"publisher":"Elsevier BV","issue":"1-3","license":[{"start":{"date-parts":[[1996,4,1]],"date-time":"1996-04-01T00:00:00Z","timestamp":828316800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1996,4,1]],"date-time":"1996-04-01T00:00:00Z","timestamp":828316800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[1999,2,12]],"date-time":"1999-02-12T00:00:00Z","timestamp":918777600000},"content-version":"vor","delay-in-days":1047,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[1996,4]]},"DOI":"10.1016\/0168-0072(95)00034-8","type":"journal-article","created":{"date-parts":[[2003,4,30]],"date-time":"2003-04-30T17:18:06Z","timestamp":1051723086000},"page":"127-146","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":15,"title":["Effective content of the calculus of variations I: Semi-continuity and the chattering lemma"],"prefix":"10.1016","volume":"78","author":[{"given":"Xiaolin","family":"Ge","sequence":"first","affiliation":[]},{"given":"Anil","family":"Nerode","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0168-0072(95)00034-8_BIB1","article-title":"Sur les fonctions calculable","volume":"16","author":"Banach","year":"1937","journal-title":"Ann. Soc. Math. Polon."},{"year":"1967","series-title":"Foundations of Constructive Analysis","author":"Bishop","key":"10.1016\/0168-0072(95)00034-8_BIB2"},{"year":"1985","series-title":"Constructive Analysis","author":"Bishop","key":"10.1016\/0168-0072(95)00034-8_BIB3"},{"year":"1981","series-title":"Brouwer's Cambridge Lectures on Intuitionism","author":"Brouwer","key":"10.1016\/0168-0072(95)00034-8_BIB4"},{"year":"1983","series-title":"Infinite-dimensional Optimization and Convexity","author":"Ekeland","key":"10.1016\/0168-0072(95)00034-8_BIB5"},{"year":"1976","series-title":"Convex Analysis and Variational Problems","author":"Ekeland","key":"10.1016\/0168-0072(95)00034-8_BIB6"},{"key":"10.1016\/0168-0072(95)00034-8_BIB7","article-title":"On Turing located sets","author":"Ge","year":"1992","journal-title":"MSI, Cornell Univ. Technical Report 92-34"},{"key":"10.1016\/0168-0072(95)00034-8_BIB8","series-title":"Logical Foundations of Computer Science: Third International Symp., Proceedings LFCS '94","article-title":"On the extreme points of compact convex Turing located sets","author":"Ge","year":"1994"},{"key":"10.1016\/0168-0072(95)00034-8_BIB9","article-title":"Algorithms for chattering approximations to relaxed optimal controls","author":"Ge","year":"1995","journal-title":"MSI, Cornell Univ. Technical Report 95-1"},{"key":"10.1016\/0168-0072(95)00034-8_BIB10","series-title":"Logic Method, in honor of Anil Nerode's sixtieth birthday","article-title":"Computability in the unitary representation of compact groups","volume":"Vol. 12","author":"Ge","year":"1993"},{"key":"10.1016\/0168-0072(95)00034-8_BIB11","doi-asserted-by":"crossref","first-page":"168","DOI":"10.4064\/fm-42-1-168-202","article-title":"Computable functionals","volume":"42","author":"Grzegorczyk","year":"1955","journal-title":"Fund. Math."},{"key":"10.1016\/0168-0072(95)00034-8_BIB12","doi-asserted-by":"crossref","DOI":"10.4064\/fm-44-1-61-71","article-title":"On the definitions of recursive real continuous functions","volume":"44","author":"Grzegorczyk","year":"1957","journal-title":"Fund. Math."},{"key":"10.1016\/0168-0072(95)00034-8_BIB13","first-page":"184","volume":"VIII","author":"Hilbert","year":"1900","journal-title":"Jahresbericht der Deutschen Mathematiker Vereinigung"},{"year":"1979","series-title":"Development of Mathematics in the 19th Century","author":"Klein","key":"10.1016\/0168-0072(95)00034-8_BIB14"},{"year":"1991","series-title":"The Theory of Complexity of Real Functions","author":"Ko","key":"10.1016\/0168-0072(95)00034-8_BIB15"},{"key":"10.1016\/0168-0072(95)00034-8_BIB16","first-page":"1250","article-title":"Remarques sur les operateurs recursifs et sur les fonctions recursives d'une variables reelle","volume":"241","author":"Lacombe","year":"1995","journal-title":"C. R. Acad. Sci. Paris"},{"key":"10.1016\/0168-0072(95)00034-8_BIB17","article-title":"Computable analysis","volume":"33","author":"Mazur","year":"1963","journal-title":"Dissertations Math. Rozprawy Mat."},{"key":"10.1016\/0168-0072(95)00034-8_BIB18_1","series-title":"E. Bishop \u2014 Reflection on him and his Research","article-title":"Recursive limits on the Hahn-Banach theorem","author":"Metakides","year":"1983"},{"key":"10.1016\/0168-0072(95)00034-8_BIB18_2","first-page":"85","volume":"39","author":"Metakides","year":"1985"},{"key":"10.1016\/0168-0072(95)00034-8_BIB19","doi-asserted-by":"crossref","first-page":"215","DOI":"10.4064\/fm-55-3-215-238","article-title":"Recursive metric spaces","volume":"55","author":"Moschovakis","year":"1963","journal-title":"Fund. Math."},{"key":"10.1016\/0168-0072(95)00034-8_BIB20","doi-asserted-by":"crossref","DOI":"10.1307\/mmj\/1029000631","article-title":"A recursive function, defined on a compact interval and having a continuous derivative that is not recursive","volume":"18","author":"Myhill","year":"1971","journal-title":"Michigan Math. J."},{"key":"10.1016\/0168-0072(95)00034-8_BIB21","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1016\/0001-8708(83)90004-X","article-title":"Noncomputability in analysis and physics: a complete determination of the class of nonrecursive linear operators","volume":"48","author":"Pour-El","year":"1983","journal-title":"Advances in Math."},{"year":"1989","series-title":"Computability in Analysis and Physics","author":"Pour-El","key":"10.1016\/0168-0072(95)00034-8_BIB22"},{"year":"1992","series-title":"Computability of closed and open sets in Euclidean space","author":"Richards","key":"10.1016\/0168-0072(95)00034-8_BIB23"},{"year":"1974","series-title":"Real and Complex Analysis","author":"Rudin","key":"10.1016\/0168-0072(95)00034-8_BIB24"},{"year":"1987","series-title":"Recursively Enumerable Sets and Degrees","author":"Soare","key":"10.1016\/0168-0072(95)00034-8_BIB25"},{"key":"10.1016\/0168-0072(95)00034-8_BIB26","doi-asserted-by":"crossref","first-page":"145","DOI":"10.2307\/2267043","article-title":"Nicht konstructiv beweisbare Satze der Analysis","volume":"14","author":"Specker","year":"1949","journal-title":"J. Symbolic Logic"}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0168007295000348?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0168007295000348?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T21:39:09Z","timestamp":1757453949000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0168007295000348"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,4]]},"references-count":27,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[1996,4]]}},"alternative-id":["0168007295000348"],"URL":"https:\/\/doi.org\/10.1016\/0168-0072(95)00034-8","relation":{},"ISSN":["0168-0072"],"issn-type":[{"type":"print","value":"0168-0072"}],"subject":[],"published":{"date-parts":[[1996,4]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Effective content of the calculus of variations I: Semi-continuity and the chattering lemma","name":"articletitle","label":"Article Title"},{"value":"Annals of Pure and Applied Logic","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/0168-0072(95)00034-8","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1996 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}