{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T02:08:37Z","timestamp":1648778917985},"reference-count":84,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":9050,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1989,6]]},"DOI":"10.2307\/2274896","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T22:30:21Z","timestamp":1146954621000},"page":"647-672","source":"Crossref","is-referenced-by-count":0,"title":["European Summer Meeting of the Association for Symbolic Logic, (Logic Colloquium '87), Granada, Spain, 1987"],"prefix":"10.1017","volume":"54","author":[{"given":"H.-D.","family":"Ebbinghaus","sequence":"first","affiliation":[]},{"given":"J.","family":"Fern\u00e1ndez-Prida","sequence":"additional","affiliation":[]},{"given":"M.","family":"Garrido","sequence":"additional","affiliation":[]},{"given":"D.","family":"Lascar","sequence":"additional","affiliation":[]},{"given":"M. Rodriguez","family":"Artalejo","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200027456_ref034","doi-asserted-by":"publisher","DOI":"10.1007\/BF00372987"},{"key":"S0022481200027456_ref033","volume-title":"The logic of natural language","year":"1982"},{"key":"S0022481200027456_ref032","doi-asserted-by":"publisher","DOI":"10.1007\/BF00627708"},{"key":"S0022481200027456_ref031","first-page":"277","volume-title":"Formal methods in the study of language (proceedings of the third Amsterdam colloquium, 1980","volume":"135","year":"1981"},{"key":"S0022481200027456_ref030","doi-asserted-by":"crossref","first-page":"777","DOI":"10.1080\/00455091.1977.10716195","volume":"7","year":"1977","journal-title":"Canadian Journal of Philosophy"},{"key":"S0022481200027456_ref093","volume-title":"Machine learning, an artificial intelligence approach","year":"1983"},{"key":"S0022481200027456_ref092","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(86)90167-2"},{"key":"S0022481200027456_ref091","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(82)90040-6"},{"key":"S0022481200027456_ref090","volume-title":"Artificial intelligence: a theoretical perspective","year":"1980"},{"key":"S0022481200027456_ref029","volume-title":"Essays in logical semantics","year":"1986"},{"key":"S0022481200027456_ref028","first-page":"159","volume":"4","year":"1980","journal-title":"Linguistics and Philosophy"},{"key":"S0022481200027456_ref027","first-page":"1069","volume":"52","year":"1987","journal-title":"Measurable cardinals of order \u03b1 and weakly homogeneous sets for functions on \u03c9\u03b1 sequences"},{"key":"S0022481200027456_ref026","first-page":"1082","volume":"53","year":"1988","journal-title":"On parameter free induction schemas"},{"key":"S0022481200027456_ref089","first-page":"191","volume":"31","year":"1966","journal-title":"Algebraic semantics for modal logics. II"},{"key":"S0022481200027456_ref024","volume-title":"Proceedings of the fifth conference on technology of science","year":"1979"},{"key":"S0022481200027456_ref088","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(84)90028-1"},{"key":"S0022481200027456_ref023","first-page":"129","volume-title":"Logic, foundations of mathematics and computability theory (proceedings of the fifth international congress of logic, methodology and philosophy of science, London, Ontario, 1975","year":"1977"},{"key":"S0022481200027456_ref087","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19870330107"},{"key":"S0022481200027456_ref022","first-page":"399","volume-title":"Computation and proof theory (proceedings of Logic Colloquium '83, Part II","volume":"1104","year":"1984"},{"key":"S0022481200027456_ref086","first-page":"839","volume":"51","year":"1986","journal-title":"The computation of inductive queries by machines"},{"key":"S0022481200027456_ref021","first-page":"1284","volume":"49","year":"1984","journal-title":"A natural extension of natural deduction"},{"key":"S0022481200027456_ref085","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(82)90012-5"},{"key":"S0022481200027456_ref020","first-page":"195","volume-title":"Theory of algorithms and mathematical logic, dedicated to A. A. Markov on his seventieth birthday","year":"1974"},{"key":"S0022481200027456_ref084","first-page":"521","volume":"43","year":"1978","journal-title":"Global inductive definability"},{"key":"S0022481200027456_ref082","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0012801"},{"key":"S0022481200027456_ref014","first-page":"36","volume":"8","year":"1979","journal-title":"Polish Academy of Sciences, Institute of Philosophy and Sociology, Bulletin of the Section of Logic"},{"key":"S0022481200027456_ref079","volume-title":"Investigations in modal and tense logics with applications to problems in philosophy and linguistics","volume":"92","year":"1976"},{"key":"S0022481200027456_ref013","first-page":"342","volume-title":"Theory of models (proceedings of the 1963 international symposium, Berkeley, California","year":"1965"},{"key":"S0022481200027456_ref078","volume-title":"An introduction to modal logic","year":"1968"},{"key":"S0022481200027456_ref012","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19870330602"},{"key":"S0022481200027456_ref077","volume-title":"Lecture notes","year":"1985"},{"key":"S0022481200027456_ref011","volume-title":"Independence proofs in arithmetic theories with very weak induction","year":"1973"},{"key":"S0022481200027456_ref076","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1983-0716843-5"},{"key":"S0022481200027456_ref073","first-page":"1092","volume":"52","year":"1987","journal-title":"On the notion of Hardy field in several variables"},{"key":"S0022481200027456_ref072","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"S0022481200027456_ref071","volume-title":"Equivariant, real algebraic, differential topology. I: Smoothness categories and Nash manifolds","year":"1972"},{"key":"S0022481200027456_ref070","first-page":"549","volume-title":"Proceedings of the international congress of mathematicians (Warsaw, 1983)","volume":"1","year":"1984"},{"key":"S0022481200027456_ref009","first-page":"7","volume":"7","year":"1975","journal-title":"Journal of Tsuda College"},{"key":"S0022481200027456_ref008","first-page":"96","volume":"24","year":"1959","journal-title":"A propositional calculus with denumerable matrix"},{"key":"S0022481200027456_ref007","first-page":"57","volume-title":"Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science (Bucharest, 1971)","year":"1973"},{"key":"S0022481200027456_ref006","first-page":"239","volume":"48","year":"1983","journal-title":"Paires de structures stables"},{"key":"S0022481200027456_ref005","first-page":"434","volume":"53","year":"1988","journal-title":"Des belles paires aux beaux uples"},{"key":"S0022481200027456_ref004","volume-title":"Annals of Pure and Applied Logic"},{"key":"S0022481200027456_ref069","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/B978-0-12-115350-2.50017-8","volume-title":"Formal language theory: perspectives and open problems (proceedings of a symposium, Santa Barbara, California, 1979","year":"1980"},{"key":"S0022481200027456_ref068","first-page":"104","volume-title":"Proceedings of the third IEEE symposium on logic in computer science","year":"1988"},{"key":"S0022481200027456_ref002","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(83)90019-2"},{"key":"S0022481200027456_ref067","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-19242-5_14"},{"key":"S0022481200027456_ref066","volume-title":"Introduction to logical theory","year":"1952"},{"key":"S0022481200027456_ref065","first-page":"479","volume":"14","year":"1905","journal-title":"Mind"},{"key":"S0022481200027456_ref064","first-page":"339","volume":"8","year":"1979","journal-title":"Journal of Philosophical Logic"},{"key":"S0022481200027456_ref063","volume-title":"Naming and necessity","year":"1980"},{"key":"S0022481200027456_ref062","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1080\/00455091.1977.10717030","volume":"7","year":"1977","journal-title":"Canadian Journal of Philosophy"},{"key":"S0022481200027456_ref061","first-page":"821","volume-title":"Handbook of mathematical logic","year":"1977"},{"key":"S0022481200027456_ref081","first-page":"288","volume-title":"Computation theory (Zaborow, 1984)","volume":"208","year":"1985"},{"key":"S0022481200027456_ref080","doi-asserted-by":"publisher","DOI":"10.1007\/BF01001956"},{"key":"S0022481200027456_ref019","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093870378"},{"key":"S0022481200027456_ref018","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0062855"},{"key":"S0022481200027456_ref017","first-page":"41","volume":"6","year":"1976","journal-title":"Reports on Mathematical Logic"},{"key":"S0022481200027456_ref016","first-page":"253","volume-title":"Mathematical logic and its applications (proceedings of the 1986 G\u00f6del conference, Druzhba, Bulgaria","year":"1987"},{"key":"S0022481200027456_ref015","volume-title":"Modal logic and classical logic","year":"1986"},{"key":"S0022481200027456_ref059","first-page":"535","volume":"35","year":"1970","journal-title":"Finite partially-ordered quantification"},{"key":"S0022481200027456_ref058","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19700160802"},{"key":"S0022481200027456_ref057","first-page":"494","volume":"36","year":"1971","journal-title":"Existence and feasibility in arithmetic"},{"key":"S0022481200027456_ref056","volume-title":"Self-reference and speed-up","year":"1987"},{"key":"S0022481200027456_ref055","volume-title":"Atti del congresso di logica e filosofia della scienza (San Gimignano, 1983)","volume":"1","year":"1986"},{"key":"S0022481200027456_ref054","doi-asserted-by":"crossref","first-page":"436","DOI":"10.1090\/S0002-9939-1984-0744645-9","volume":"91","year":"1984","journal-title":"Proceedings of the American Mathematical Society"},{"key":"S0022481200027456_ref053","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(79)90017-2"},{"key":"S0022481200027456_ref052","first-page":"23","volume":"7","year":"1936","journal-title":"Ergebnisse eines Mathematischen Kolloquiums"},{"key":"S0022481200027456_ref051","first-page":"398","volume":"40","year":"1975","journal-title":"A theorem on shortening the lengths of proofs in formal systems of arithmetic"},{"key":"S0022481200027456_ref050","volume-title":"Much shorter proofs","year":"1987"},{"key":"S0022481200027456_ref048","volume-title":"Entailment","year":"1975"},{"key":"S0022481200027456_ref047","first-page":"201","volume-title":"Exact philosophy","year":"1972"},{"key":"S0022481200027456_ref046","first-page":"499","volume":"54","year":"1989","journal-title":"Inclusions et produits de groups ab\u00e9liens ordonn\u00e9s \u00e9tudi\u00e9s au premier ordre"},{"key":"S0022481200027456_ref045","doi-asserted-by":"publisher","DOI":"10.1137\/0207018"},{"key":"S0022481200027456_ref044","first-page":"193","volume-title":"Nineteenth annual symposium on foundations of computer science","year":"1978"},{"key":"S0022481200027456_ref043","volume":"4","year":"1953","journal-title":"Dissertationes Mathematicae Rozprawy Matematyczne"},{"key":"S0022481200027456_ref042","first-page":"133","volume-title":"Logic Colloquium '86","year":"1988"},{"key":"S0022481200027456_ref041","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0016275"},{"key":"S0022481200027456_ref040","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0076224"},{"key":"S0022481200027456_ref039","first-page":"33","volume":"173","year":"1972","journal-title":"Transactions of the American Mathematical Society"},{"key":"S0022481200027456_ref038","first-page":"1205","volume":"49","year":"1984","journal-title":"Pseudo jump operators"},{"key":"S0022481200027456_ref036","first-page":"9","volume-title":"Izvestiya Vysshikh Uchebnykh Zavedeni\u012d Matematika","year":"1981"},{"key":"S0022481200027456_ref035","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19860323107"},{"key":"S0022481200027456_ref060","first-page":"315","volume-title":"Mathematical logic and its application","year":"1987"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200027456","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T20:26:33Z","timestamp":1558297593000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200027456\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,6]]},"references-count":84,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1989,6]]}},"alternative-id":["S0022481200027456"],"URL":"https:\/\/doi.org\/10.2307\/2274896","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,6]]}}}