{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,27]],"date-time":"2023-01-27T16:51:35Z","timestamp":1674838295479},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1995,2,1]],"date-time":"1995-02-01T00:00:00Z","timestamp":791596800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch Math Logic"],"published-print":{"date-parts":[[1995,2]]},"DOI":"10.1007\/bf01269876","type":"journal-article","created":{"date-parts":[[2005,3,24]],"date-time":"2005-03-24T00:23:59Z","timestamp":1111623839000},"page":"47-63","source":"Crossref","is-referenced-by-count":5,"title":["A theory of rules for enumerated classes of functions"],"prefix":"10.1007","volume":"34","author":[{"given":"Andreas","family":"Schl\u00fcter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF01269876_CR1","volume-title":"The lambda calculus: its syntax and semantics","author":"H.P. Barendregt","year":"1981","unstructured":"[Ba81] Barendregt, H.P.: The lambda calculus: its syntax and semantics, Amsterdam: North Holland 1981"},{"key":"BF01269876_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-68952-9","volume-title":"Foundations of constructive mathematics","author":"M.J. Beeson","year":"1985","unstructured":"[Be85] Beeson, M.J.: Foundations of constructive mathematics, Berlin: Springer 1985"},{"key":"BF01269876_CR3","series-title":"Lect. Notes Math.","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/BFb0062852","volume-title":"Algebra and logic","author":"S. Feferman","year":"1975","unstructured":"[Fe75] Feferman, S.: A language and axioms for explicit mathematics. In Algebra and logic (Lect. Notes Math., Vol. 450, pp. 87\u2013139). Berlin: Springer 1975"},{"key":"BF01269876_CR4","first-page":"159","volume-title":"Logic Colloquim '78: Proceedings of the Logic Colloquium at Mons","author":"S. Feferman","year":"1978","unstructured":"[Fe79] Feferman, S.: Constructive theories of functions and classes. In: Boffa, M., van Dalen, D., McAloon, K. (eds.) Logic Colloquim '78: Proceedings of the Logic Colloquium at Mons, 1978, pp. 159\u2013224. Amsterdam: North-Holland 1977"},{"key":"BF01269876_CR5","doi-asserted-by":"crossref","unstructured":"[G19?] Gla\u00df, T.: Understanding uniformity in Feferman's explicit mathematics. Ann. Pure Appl. Logic (to appear)","DOI":"10.1016\/0168-0072(94)00058-B"},{"key":"BF01269876_CR6","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/BF02023014","volume":"23","author":"G. J\u00e4ger","year":"1983","unstructured":"[Ja83] J\u00e4ger, G.: A well ordering proof for Feferman's theoryT 0. Arch. Math Logik Grundlagenforsch23, 65\u201377 (1983)","journal-title":"Arch. Math Logik Grundlagenforsch"},{"key":"BF01269876_CR7","unstructured":"[JP82] J\u00e4ger, G., Pohlers, W.: Eine beweistheoretische Untersuchung von\u0394 21 \u2212CA) + (BI) und verwandter Systeme. Sitzungsberichte der Bayerischen Akademie der Wissenschaften, Math.-Naturw. Klasse 1982, pp. 1\u201328"},{"key":"BF01269876_CR8","first-page":"31","volume":"23","author":"H. Rogers Jr.","year":"1958","unstructured":"[Ro58] Rogers, H., Jr.: G\u00f6del numberings of partial recursive functions. J. Symb. Logic23, 31\u2013341 (1958)","journal-title":"J. Symb. Logic"},{"key":"BF01269876_CR9","unstructured":"[St9?] Strahm, T.: Partial applicative theories and explicit substitutions. J. Logic Computation (to appear)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01269876.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01269876\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01269876","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T14:13:55Z","timestamp":1556633635000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01269876"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,2]]},"references-count":9,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,2]]}},"alternative-id":["BF01269876"],"URL":"https:\/\/doi.org\/10.1007\/bf01269876","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,2]]}}}