{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T16:50:27Z","timestamp":1649177427724},"reference-count":64,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":12611,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1979,9]]},"DOI":"10.2307\/2273135","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T17:50:56Z","timestamp":1146937856000},"page":"441-468","source":"Crossref","is-referenced-by-count":1,"title":["European meeting of the Association for Symbolic Logic, Wroclaw 1977"],"prefix":"10.1017","volume":"44","author":[{"given":"Leszek","family":"Pacholski","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200048349_ref012","volume-title":"Algebra, topology and category theory","year":"1976"},{"key":"S0022481200048349_ref013","first-page":"183","volume-title":"Colloque International de Logique de Clermont-Ferrand, Juillet, 1975, Colloques Internationaux du CNRS"},{"key":"S0022481200048349_ref044","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/B978-0-12-339050-9.50010-9","volume-title":"Algebra, topology and category theory","year":"1976"},{"key":"S0022481200048349_ref046","first-page":"183","volume-title":"Colloque International de Logique Clermont-Ferrand, 1975, Editions du Cemre National de Recherche Scientifique, Colloques Internationaux du Centre National de Recherche Scientifique","year":"1977"},{"key":"S0022481200048349_ref042","first-page":"529","volume-title":"Comptes Rendus Hebdomadaires des S\u00e9ances de l'Acad\u00e9mie des Sciences","year":"1972"},{"key":"S0022481200048349_ref010","volume-title":"Combinators, \u03bb-terms and proof theory","year":"1972"},{"key":"S0022481200048349_ref073","volume-title":"Computation: Finite and infinite machines","year":"1967"},{"key":"S0022481200048349_ref041","first-page":"309","volume":"4","year":"1973","journal-title":"Annals of Mathematical Logic"},{"key":"S0022481200048349_ref072","first-page":"55","volume":"58","year":"1955","journal-title":"Proceedings of the Koninklijke Nederlandse Akademie van Wetenschappen, Series A"},{"key":"S0022481200048349_ref040","doi-asserted-by":"publisher","DOI":"10.2307\/1970696"},{"key":"S0022481200048349_ref071","first-page":"73","volume":"6","year":"1941","journal-title":"On the calculus of relations"},{"key":"S0022481200048349_ref070","doi-asserted-by":"publisher","DOI":"10.1307\/mmj\/1028999131"},{"key":"S0022481200048349_ref009","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(76)90085-2"},{"key":"S0022481200048349_ref008","volume-title":"Archiv f\u00fcr mathematische Logik und Grundlagenforschung"},{"key":"S0022481200048349_ref007","first-page":"333","volume":"43","year":"1937","journal-title":"Bulletin of the American Mathematical Society"},{"key":"S0022481200048349_ref038","doi-asserted-by":"publisher","DOI":"10.4153\/CMB-1975-020-1"},{"key":"S0022481200048349_ref006","first-page":"197","volume-title":"Automata languages and programming","year":"1972"},{"key":"S0022481200048349_ref069","first-page":"85","volume":"5","year":"1940","journal-title":"Postulates for the calculus of binary relations"},{"key":"S0022481200048349_ref005","volume-title":"Das Entscheidungsproblem der Pr\u00e4dikatenlogik 1. Stufe mit Identit\u00e4t und Funktionszeichen in Herbrandformeln","year":"1976"},{"key":"S0022481200048349_ref037","first-page":"289","volume":"31","year":"1975","journal-title":"Proceedings of the London Mathematical Society"},{"key":"S0022481200048349_ref068","first-page":"21","volume":"87","year":"1961","journal-title":"Michigan Mathematical Journal"},{"key":"S0022481200048349_ref004","first-page":"460","volume":"41","year":"1976","journal-title":"The decision problem for standard classes"},{"key":"S0022481200048349_ref036","volume-title":"The logic of scientific discovery","year":"1959"},{"key":"S0022481200048349_ref067","doi-asserted-by":"publisher","DOI":"10.2307\/1969611"},{"key":"S0022481200048349_ref003","doi-asserted-by":"publisher","DOI":"10.1007\/BF02485710"},{"key":"S0022481200048349_ref035","first-page":"87","volume":"5","year":"1976","journal-title":"I, Polish Academy of Sciences, Institute of Philosophy and Sociology, Bulletin of the Section of Logic"},{"key":"S0022481200048349_ref066","doi-asserted-by":"publisher","DOI":"10.2307\/1969375"},{"key":"S0022481200048349_ref002","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1975-13747-5"},{"key":"S0022481200048349_ref034","first-page":"1","volume-title":"S\u00e9minaire Bourbaki","year":"1976"},{"key":"S0022481200048349_ref065","doi-asserted-by":"publisher","DOI":"10.2307\/2372074"},{"key":"S0022481200048349_ref001","first-page":"219","volume-title":"Aspects of inductive logic","year":"1966"},{"key":"S0022481200048349_ref033","first-page":"57","volume-title":"Proceedings of the International Summer School, Varenna, 1968","year":"1969"},{"key":"S0022481200048349_ref064","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1090\/S0002-9947-1959-0108459-5","volume":"92","year":"1959","journal-title":"Transactions of the American Mathematical Society"},{"key":"S0022481200048349_ref032","first-page":"11","volume":"18","year":"1958","journal-title":"Rendiconti del Seminario Matematico, Torino"},{"key":"S0022481200048349_ref063","first-page":"565","volume":"14","year":"1976","journal-title":"Journal of the London Mathematical Society"},{"key":"S0022481200048349_ref031","first-page":"51","volume-title":"Bulletin International Akademije Science Yougoslave","volume":"4","year":"1954"},{"key":"S0022481200048349_ref062","first-page":"115","volume":"11","year":"1968","journal-title":"Annales Universitatis Scientiarum Budapestinensis de Rolando E\u00f6tr\u00f6s Nominatae. Sectio Mathematica"},{"key":"S0022481200048349_ref030","first-page":"105","volume":"296","year":"1953","journal-title":"Rad Jugoslavenske Akademije Znanosti i Umjetnosti"},{"key":"S0022481200048349_ref060","first-page":"359","volume":"2","year":"1970","journal-title":"Annals of Mathematical Logic"},{"key":"S0022481200048349_ref029","first-page":"1196","volume-title":"Comptes Rendus","volume":"205","year":"1937"},{"key":"S0022481200048349_ref028","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(70)90012-4"},{"key":"S0022481200048349_ref059","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(72)90001-0"},{"key":"S0022481200048349_ref027","volume-title":"The theory of ultrafilers","year":"1974"},{"key":"S0022481200048349_ref026","doi-asserted-by":"publisher","DOI":"10.1007\/BF01696782"},{"key":"S0022481200048349_ref057","first-page":"499","volume-title":"Fundamentals of Computation Theory. 1977, Lecture Notes on Computer Science","year":"1977"},{"key":"S0022481200048349_ref025","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1948.tb00917.x"},{"key":"S0022481200048349_ref056","volume-title":"Intuitionism","year":"1956"},{"key":"S0022481200048349_ref024","volume-title":"Studies in Logic","year":"1974"},{"key":"S0022481200048349_ref055","first-page":"447","volume":"19","year":"1973","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"S0022481200048349_ref023","volume-title":"IV\u00e8rme Congr\u00e8s des Math\u00e9maticiens d'Expression Latine, Bucarest, 1969"},{"key":"S0022481200048349_ref054","volume-title":"Lekcii po konstruktivnomu matemati\u010deskomu analizu","year":"1973"},{"key":"S0022481200048349_ref022","first-page":"97","volume":"6","year":"1963","journal-title":"Analele Universit\u00e4t Bucaresti, Seria Acta Logica"},{"key":"S0022481200048349_ref053","volume-title":"Lecture Notes in Mathematics","volume":"218","year":"1971"},{"key":"S0022481200048349_ref021","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1960-0112855-8"},{"key":"S0022481200048349_ref052","volume-title":"The mathematics of metamathematics","year":"1970"},{"key":"S0022481200048349_ref020","first-page":"859","volume":"19","year":"1976","journal-title":"Matemati\u010deskie Zametki"},{"key":"S0022481200048349_ref051","first-page":"355","volume-title":"Comptes Rendus Hebdomadaires des S\u00e9ances de l'Acad\u00e9mie des Sciences, S\u00e9ries","year":"1977"},{"key":"S0022481200048349_ref019","first-page":"197","volume-title":"Intuitionism and proof theory","year":"1970"},{"key":"S0022481200048349_ref018","volume-title":"Metamathematical investigation of intuitionistic arithmetic and analysis","year":"1973"},{"key":"S0022481200048349_ref049","first-page":"183","volume-title":"Colloque International de Logique Clermont-Ferrand, 1975, Editions du Centre National de Recherche Scientifique, Colloques Internationaux du Centre National de Recherche Scientifique","year":"1977"},{"key":"S0022481200048349_ref017","first-page":"161","volume-title":"Logic, methodology and philosophy of science. III","year":"1968"},{"key":"S0022481200048349_ref015","first-page":"9","volume-title":"Grundlagen der Mathematik","volume":"2","year":"1970"},{"key":"S0022481200048349_ref045","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/B978-0-12-339050-9.50014-6","volume-title":"Algebra, topology and category theory","year":"1976"},{"key":"S0022481200048349_ref011","first-page":"1","volume-title":"Proceedings of the Conference on Categorical Algebra, La lolla, 1965","year":"1966"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200048349","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T16:52:58Z","timestamp":1558889578000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200048349\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979,9]]},"references-count":64,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1979,9]]}},"alternative-id":["S0022481200048349"],"URL":"https:\/\/doi.org\/10.2307\/2273135","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1979,9]]}}}