{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:36:44Z","timestamp":1725457004363},"publisher-location":"Berlin\/Heidelberg","reference-count":9,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540074163"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0029531","type":"book-chapter","created":{"date-parts":[[2005,12,6]],"date-time":"2005-12-06T14:42:57Z","timestamp":1133880177000},"page":"272-286","source":"Crossref","is-referenced-by-count":6,"title":["Normed uniformly reflexive structures"],"prefix":"10.1007","author":[{"given":"Henk","family":"Barendregt","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/S0049-237X(08)71229-1","volume-title":"Logic Colloquium '69","author":"H. Friedman","year":"1971","unstructured":"Friedman,H. Axiomatic recursive function theory, in: R. Gandy and M. Yates (eds), Logic Colloquium '69, North Holland, Amsterdam (1971), 113\u2013137."},{"key":"16_CR2","volume-title":"Elements of Matnematical Logic","author":"G. Kreissl","year":"1967","unstructured":"Kreissl,G., J. Krivine, Elements of Matnematical Logic, North-Holland, Amsterdam (1967)."},{"key":"16_CR3","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/S0049-237X(08)71231-X","volume-title":"Logic Colloquium '69","author":"Y. Moschovakis","year":"1971","unstructured":"Moschovakis,Y. Axioms for computation theories \u2014 first draft, in: R. Gandy and M. Yates (eds), Logic Colloquium '69, North Holland, Amsterdam (1971), 199\u2013255."},{"key":"16_CR4","unstructured":"Rogers,H. Theory of recursive functions and effective operations, McGrawHill (1967)."},{"key":"16_CR5","doi-asserted-by":"crossref","first-page":"127","DOI":"10.2307\/1968669","volume":"36","author":"J. Rosser","year":"1936","unstructured":"Rosser, J. A mathematical logic without variables, Ann. of Math. ser.2, 36 (1936), 127\u2013150.","journal-title":"Ann. of Math. ser.2"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Strong,H. Algebraically generalized recursive function theory, IBM J.Research and Development (1968), 465\u2013475.","DOI":"10.1147\/rd.126.0465"},{"key":"16_CR7","doi-asserted-by":"crossref","first-page":"401","DOI":"10.2307\/2270697","volume":"35","author":"H. Strong","year":"1970","unstructured":"-. Construction of models for algebraically generalized recursive function theory, J.Symbolic Logic 35 (1970), 401\u2013409.","journal-title":"J.Symbolic Logic"},{"key":"16_CR8","first-page":"1","volume":"144","author":"E. Wagner","year":"1969","unstructured":"Wagner, E.. Uniform reflexive structures: on the nature of G\u00f6delizations and relative computability, Trans.Amer. Math.Soc.144 (1969), 1\u201341.","journal-title":"Trans.Amer. Math.Soc."},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Troelstra,A, et al. Metamathematical investigation of intuitionistic arithmetic and analysis, Lecture Notes in Mathematics 344, Springer (1973).","DOI":"10.1007\/BFb0066739"}],"container-title":["Lecture Notes in Computer Science","\u03bb-Calculus and Computer Science Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0029531","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T11:16:09Z","timestamp":1586603769000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0029531"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540074163"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0029531","relation":{},"subject":[]}}