{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,7,2]],"date-time":"2022-07-02T21:50:44Z","timestamp":1656798644332},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"7","license":[{"start":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T00:00:00Z","timestamp":1149638400000},"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":[[2006,10]]},"DOI":"10.1007\/s00153-006-0003-5","type":"journal-article","created":{"date-parts":[[2006,6,6]],"date-time":"2006-06-06T13:16:30Z","timestamp":1149599790000},"page":"795-805","source":"Crossref","is-referenced-by-count":2,"title":["Well-foundedness in Realizability"],"prefix":"10.1007","volume":"45","author":[{"given":"M.","family":"Hofmann","sequence":"first","affiliation":[]},{"given":"J.","family":"van Oosten","sequence":"additional","affiliation":[]},{"given":"T.","family":"Streicher","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,6,7]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","first-page":"117","DOI":"10.4064\/fm-117-2-117-160","volume":"117","author":"A. Blass","year":"1983","unstructured":"Blass A. (1983) Words, free algebras, and coequalizers. Fundam. Math. 117, 117\u2013160","journal-title":"Fundam. Math."},{"key":"3_CR2","doi-asserted-by":"crossref","first-page":"302","DOI":"10.1007\/BFb0061824","volume-title":"Applications of Sheaves","author":"M.P. Fourman","year":"1979","unstructured":"Fourman M.P., Scott D.S. (1979). Sheaves and Logic. In: Fourman M.P., Mulvey C.J., Scott D.S. (eds). Applications of Sheaves. Springer, Berlin Heideberg New York, pp. 302\u2013401"},{"key":"3_CR3","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0168-0072(86)90004-7","volume":"30","author":"H.M. Friedman","year":"1986","unstructured":"Friedman H.M., Scedrov A. (1986) Intuitionistically provable recursive well-orderings. Ann. Pure Appl. Logic 30, 165\u2013171","journal-title":"Ann. Pure Appl. Logic"},{"key":"3_CR4","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/S0049-237X(09)70129-6","volume-title":"The L.E.J. Brouwer Centenary Symposium","author":"J.M.E. Hyland","year":"1982","unstructured":"Hyland J.M.E. (1982). The effective topos. In: Troelstra A.S., Van Dalen D. (eds). The L.E.J. Brouwer Centenary Symposium. North Holland Publishing Company, Amsterdam, pp. 165\u2013216"},{"key":"3_CR5","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/S0022-4049(96)00108-9","volume":"116","author":"M. Jibladze","year":"1997","unstructured":"Jibladze M. (1997) A presentation of the initial lift algebra. J. Pure Appl. Algebra 116, 185\u2013198","journal-title":"J. Pure Appl. Algebra"},{"key":"3_CR6","volume-title":"Sketches of an Elephant (2 vols.). vol. 43 of Oxford Logic Guides","author":"P.T. Johnstone","year":"2002","unstructured":"Johnstone P.T. (2002) Sketches of an Elephant (2 vols.). vol. 43 of Oxford Logic Guides. Clarendon Press, Oxford"},{"key":"3_CR7","volume-title":"Algebraic Set Theory vol. 220 of London Mathematical Society Lecture Note Series","author":"A. Joyal","year":"1995","unstructured":"Joyal A., Moerdijk I. (1995) Algebraic Set Theory vol. 220 of London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"KouwenhovenGentil, C., van Oosten, J. Algebraic set theory and the effective topos. J. Symbolic Logic 70(3), 879\u2013890 (2005, to appear)","DOI":"10.2178\/jsl\/1122038918"},{"key":"3_CR9","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1093\/bjps\/IV.14.107","volume":"4","author":"G. Kreisel","year":"1953","unstructured":"Kreisel G. (1953) A variant to Hilbert\u2019s theory of the foundations of arithmetic. Br. J. Philos. Sci. 4, 107\u2013127","journal-title":"Br. J. Philos. Sci."},{"key":"3_CR10","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/BF01977642","volume":"5","author":"G. Kreisel","year":"1960","unstructured":"Kreisel G., Shoenfield J., Wang H. (1960) Number-theoretic concepts and recursive well-orderings. Arch. Math. Logik Grundlag. 5, 42\u201364","journal-title":"Arch. Math. Logik Grundlag."},{"key":"3_CR11","unstructured":"McCarty, D.C. Realizability and recursive mathematics. D.Phil. Thesis, University of Oxford (1984)"},{"key":"3_CR12","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/S0168-0072(00)00012-9","volume":"104","author":"I. Moerdijk","year":"2000","unstructured":"Moerdijk I., Palmgren E. (2000) Wellfounded trees in categories. Ann. Pure Appl. Logic 104, 189\u2013218","journal-title":"Ann. Pure Appl. Logic"},{"key":"3_CR13","unstructured":"Rosolini, G. Continuity and effectiveness in topoi. Ph.D. Thesis, University of Oxford (1986)"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Troelstra, A.S. (ed.): Metamathematical Investigation of Intuitionistic Arithmetic and Analysis. Springer (Lecture Notes in Mathematics 344), 1973. With contributions by A.S. Troelstra, C.A. Smory\u0144ski, J.I. Zucker and W.A. Howard","DOI":"10.1007\/BFb0066739"},{"key":"3_CR15","unstructured":"van den Berg, B., Kouwenhoven-Gentil, C. W-types in Eff. Manuscript, available at http:\/\/www.math.uu.nl\/people\/jvoosten\/realizability\/WinEff.ps, 2004"},{"key":"3_CR16","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0168-0072(94)90070-1","volume":"70","author":"J. Oosten van","year":"1994","unstructured":"van Oosten J. (1994) Axiomatizing higher-order Kleene realizability. Ann. Pure Appl. Logic 70, 87\u2013111","journal-title":"Ann. Pure Appl. Logic"},{"key":"3_CR17","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1016\/S0168-0072(00)00014-2","volume":"104","author":"J. Oosten van","year":"2000","unstructured":"van Oosten J., Simpson A.K. (2000) Axioms and (counter)examples in synthetic domain theory. Ann. Pure Appl. Logic 104, 233\u2013278","journal-title":"Ann. Pure Appl. Logic"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-006-0003-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-006-0003-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-006-0003-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T19:36:41Z","timestamp":1558640201000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-006-0003-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6,7]]},"references-count":17,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2006,10]]}},"alternative-id":["3"],"URL":"https:\/\/doi.org\/10.1007\/s00153-006-0003-5","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,6,7]]}}}