{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T10:21:16Z","timestamp":1648981276405},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"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":[[1991,1]]},"DOI":"10.1007\/bf01370695","type":"journal-article","created":{"date-parts":[[2005,4,1]],"date-time":"2005-04-01T11:36:01Z","timestamp":1112355361000},"page":"69-83","source":"Crossref","is-referenced-by-count":1,"title":["A logic of abstraction related to finite constructive number classes"],"prefix":"10.1007","volume":"31","author":[{"given":"Andrea","family":"Cantini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/S0049-237X(08)71252-7","volume-title":"The Kleene Symposium","author":"P. Aczel","year":"1980","unstructured":"Aczel, P.: Frege structures and the notions of proposition, truth and set. In: Barwise, J., Keisler, H.J., Kunen, K. (eds.) The Kleene Symposium, pp. 31?59. Amsterdam: North-Holland 1980"},{"key":"CR2","volume-title":"The Lambda Calculus: its syntax and semantics","author":"H. Barendregt","year":"1984","unstructured":"Barendregt, H.: The Lambda Calculus: its syntax and semantics. Amsterdam: North-Holland 1984"},{"key":"CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-11035-5","volume-title":"Admissible sets and structures","author":"J. Barwise","year":"1975","unstructured":"Barwise, J.: Admissible sets and structures. Heidelberg: Springer 1975"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"244","DOI":"10.2307\/2274965","volume":"55","author":"A. Cantini","year":"1990","unstructured":"Cantini, A.: A theory of formal truth arithmetically equivalent to ID1. J. Symb. Logic55, 244?259 (1990)","journal-title":"J. Symb. Logic"},{"key":"CR5","first-page":"53","volume-title":"Atti degli incontri di Logica Matematica, vol. 3","author":"A. Cantini","year":"1987","unstructured":"Cantini, A.: On a general theory of properties, which is based on type free iterated comprehension principles (in Italian). In: Ferro, R., Zanardo, A. (eds.) Atti degli incontri di Logica Matematica, vol. 3, pp. 53?57. Padova: Cluep 1987"},{"key":"CR6","volume-title":"Properties and operations, provisional version (revised English), translation of: Propriet\u00e0 e operazioni","author":"A. Cantini","year":"1983","unstructured":"Cantini, A.: Properties and operations, provisional version (revised English), translation of: Propriet\u00e0 e operazioni. Napoli: Bibliopolis 1983"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"75","DOI":"10.2307\/2274093","volume":"49","author":"S. Feferman","year":"1984","unstructured":"Feferman, S.: Towards useful type free theories I. J. Symb. Logic49, 75?111 (1984)","journal-title":"J. Symb. Logic"},{"key":"CR8","first-page":"16","volume-title":"Lect. Notes Math., vol. 897","author":"S. Feferman","year":"1981","unstructured":"Feferman, S., Sieg, W.: Iterated inductive definitions and subsystems of analysis. In: Lect. Notes Math., vol. 897, pp. 16?77. Berlin Heidelberg New York: Springer 1981"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0168-0072(87)90073-X","volume":"33","author":"H. Friedman","year":"1987","unstructured":"Friedman, H., Sheard, M.: An axiomatic approach to self-referential truth. Ann. Pure Appl. Logic33, 1?21 (1987)","journal-title":"Ann. Pure Appl. Logic"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1017\/S0022481200031261","volume":"51","author":"P. Gilmore","year":"1986","unstructured":"Gilmore, P.: Natural deduction based set theories: a new resolution of the old paradoxes. J. Symb. Logic51, 393?411 (1986)","journal-title":"J. Symb. Logic"},{"key":"CR11","first-page":"125","volume-title":"The Philosophy of Bertrand Russell","author":"K. G\u00f6del","year":"1944","unstructured":"G\u00f6del, K.: Russell's mathematical logic. In: Schilpp, P.A. (ed.) The Philosophy of Bertrand Russell, pp. 125?153. Evanston: Northwestern University Press 1944"},{"key":"CR12","series-title":"London Math. Soc. Texts","volume-title":"Introduction to combinators and ?-calculus","author":"R. Hindley","year":"1986","unstructured":"Hindley, R., Seldin, J.: Introduction to combinators and ?-calculus (London Math. Soc. Texts 1) Cambridge: Cambridge University Press 1986"},{"key":"CR13","volume-title":"Theories for admissible sets","author":"G. J\u00e4ger","year":"1986","unstructured":"J\u00e4ger, G.: Theories for admissible sets. Napoli: Bibliopolis 1986"},{"key":"CR14","volume-title":"Elementary induction on abstract structures","author":"Y.N. Moschovakis","year":"1974","unstructured":"Moschovakis, Y.N.: Elementary induction on abstract structures. Amsterdam: North-Holland 1974"},{"key":"CR15","series-title":"Lect. Notes Comput. Sci.","first-page":"1","volume-title":"?-Calculus and computer science","author":"D. Scott","year":"1975","unstructured":"Scott, D.: Combinators and classes. In: B\u00f6hm, C. (ed.) ?-Calculus and computer science. (Lect. Notes Comput. Sci., vol. 37, pp. 1?26. Berlin Heidelberg New York: Springer 1975"},{"key":"CR16","first-page":"432","volume-title":"Proof theory","author":"S.G. Simpson","year":"1987","unstructured":"Simpson, S.G.: Subsystems of Z2 and reverse mathematics. In: Takeuti, G. (ed.) Proof theory, 2nd edn., pp. 432?446. Amsterdam: North-Holland 1987","edition":"2nd edn."},{"key":"CR17","doi-asserted-by":"crossref","first-page":"455","DOI":"10.2307\/2274394","volume":"52","author":"R. Turner","year":"1987","unstructured":"Turner, R.: A theory of properties. J. Symp. Logic52, 455?471 (1987)","journal-title":"J. Symp. Logic"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01370695.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01370695\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01370695","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T05:35:42Z","timestamp":1556861742000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01370695"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,1]]},"references-count":17,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1991,1]]}},"alternative-id":["BF01370695"],"URL":"https:\/\/doi.org\/10.1007\/bf01370695","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,1]]}}}