{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:12:55Z","timestamp":1752228775249},"reference-count":29,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1989,10,1]],"date-time":"1989-10-01T00:00:00Z","timestamp":623203200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":8690,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[1989,10]]},"DOI":"10.1016\/0168-0072(89)90034-1","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T23:39:29Z","timestamp":1027640369000},"page":"259-299","source":"Crossref","is-referenced-by-count":4,"title":["Independent axiomatizability of sets of sentences"],"prefix":"10.1016","volume":"44","author":[{"given":"Piotr","family":"Wojtylak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0168-0072(89)90034-1_BIB1","doi-asserted-by":"crossref","first-page":"30","DOI":"10.2307\/2266324","article-title":"On independent axiomatizability within a system","volume":"18","author":"Craig","year":"1953","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(89)90034-1_BIB2","doi-asserted-by":"crossref","first-page":"791","DOI":"10.1090\/S0002-9939-1954-0063995-6","article-title":"A theory on hypersimple sets","volume":"5","author":"Dekker","year":"1954","journal-title":"Proc. Amer. Math. Soc."},{"key":"10.1016\/0168-0072(89)90034-1_BIB3","article-title":"Les alg\u00e8bras de Hilbert","volume":"XXI","author":"Diego","year":"1966"},{"key":"10.1016\/0168-0072(89)90034-1_BIB4","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0168-0072(87)90061-3","article-title":"Lindenbaum algebras of intuitionistic theories and free categories","volume":"35","author":"Freyd","year":"1987","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/0168-0072(89)90034-1_BIB5","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0168-0072(87)90060-1","article-title":"Choice and well-ordering","volume":"35","author":"Freyd","year":"1987","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/0168-0072(89)90034-1_BIB6","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1017\/S0305004100063854","article-title":"On the quantificational logic of intuitionistic set theory","volume":"99","author":"Friedman","year":"1986","journal-title":"Math. Proc. Cambridge Phil. Soc."},{"key":"10.1016\/0168-0072(89)90034-1_BIB7","doi-asserted-by":"crossref","first-page":"127","DOI":"10.4064\/cm-42-1-127-189","article-title":"Some old and new problems in the independence theory","volume":"42","author":"Glazek","year":"1979","journal-title":"Colloq. Math."},{"key":"10.1016\/0168-0072(89)90034-1_BIB8","series-title":"Universal algebra","author":"Gr\u00e4tzer","year":"1968"},{"key":"10.1016\/0168-0072(89)90034-1_BIB9_1","first-page":"507","article-title":"Covering in lattices of quasivarieties and independent axiomatizability","volume":"16","author":"Gorbunov","year":"1977","journal-title":"Algebra i Logica"},{"key":"10.1016\/0168-0072(89)90034-1_BIB9_2","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1007\/BF01669475","article-title":"Covering in lattices of quasivarieties and independent axiomatizability","volume":"16","author":"Gorbunov","year":"1978","journal-title":"Algebra and Logic"},{"key":"10.1016\/0168-0072(89)90034-1_BIB10","first-page":"109","article-title":"Independent recursive axiomatization (abstract)","volume":"22","author":"Kreisel","year":"1957","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(89)90034-1_BIB11","doi-asserted-by":"crossref","first-page":"101","DOI":"10.4064\/fm-42-1-101-110","article-title":"Some applications of formalized consistency proofs","volume":"42","author":"Kreisel","year":"1955","journal-title":"Fund. Math."},{"key":"10.1016\/0168-0072(89)90034-1_BIB12","article-title":"Additions au cours, corrections et renseignements bibliographiques","author":"Kreisel","year":"1962","journal-title":"Polycopie"},{"key":"10.1016\/0168-0072(89)90034-1_BIB13","series-title":"Summer Institute for Symbolic Logic","first-page":"270","article-title":"Independent recursive axiomatizability","author":"Montague","year":"1957"},{"key":"10.1016\/0168-0072(89)90034-1_BIB14","doi-asserted-by":"crossref","first-page":"133","DOI":"10.4064\/fm-39-1-133-158","article-title":"On models of axiomatic systems","volume":"39","author":"Mostowski","year":"1952","journal-title":"Fund. Math."},{"key":"10.1016\/0168-0072(89)90034-1_BIB15","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/BF02548472","article-title":"Basic properties of deductive systems based on non-classical logics","volume":"9","author":"Pogorzelski","year":"1960","journal-title":"Studia Logica"},{"key":"10.1016\/0168-0072(89)90034-1_BIB16","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1002\/malq.19680142505","article-title":"Independent axiomatic and its relation to the hypersimple set","volume":"14","author":"Pour-El","year":"1968","journal-title":"Z. Math. Logik Grundlag. Math."},{"key":"10.1016\/0168-0072(89)90034-1_BIB17","series-title":"The Mathematics of Metamathematics","author":"Rasiowa","year":"1963"},{"key":"10.1016\/0168-0072(89)90034-1_BIB18","first-page":"2385","article-title":"Tout ensemble de formules de la logique classique est \u00e9quivalent \u00e0 un ensemble ind\u00e9pendant","author":"Reznikoff","year":"1965","journal-title":"CR Hebdomadiares Acad. Sci. Paris"},{"key":"10.1016\/0168-0072(89)90034-1_BIB19","article-title":"Axiomatisation ind\u00e9pendante d'un ensemble quelconque de formules en logique classique et intuitionniste","author":"Reznikoff","year":"1966","journal-title":"Th\u00e8se"},{"key":"10.1016\/0168-0072(89)90034-1_BIB20","first-page":"A415","article-title":"Sur les ensembles d\u00e9nombrebles de formules en logique intuitionniste","volume":"262","author":"Reznikoff","year":"1966","journal-title":"CR Hebdomadaires Acad. Sci."},{"key":"10.1016\/0168-0072(89)90034-1_BIB21","first-page":"21","article-title":"On independent recursive axiomatization in intuitionistic logic","volume":"6","author":"Reznikoff","year":"1967","journal-title":"Algebra and Logic"},{"key":"10.1016\/0168-0072(89)90034-1_BIB22","first-page":"170","article-title":"Axiomatisation independante des ensembles d\u00e9nombrebles de formules en logique intuitionniste","volume":"20","author":"Reznikoff","year":"1968","journal-title":"Compositio Math."},{"key":"10.1016\/0168-0072(89)90034-1_BIB23","series-title":"Theory of Recursive Functions and Effective Computability","author":"Rogers","year":"1967"},{"key":"10.1016\/0168-0072(89)90034-1_BIB24","doi-asserted-by":"crossref","first-page":"239","DOI":"10.4064\/fm-39-1-239-263","article-title":"The role of the axiom of induction in the elementary arithmetic","volume":"39","author":"Ryll-Nardzewski","year":"1953","journal-title":"Fund. Math."},{"key":"10.1016\/0168-0072(89)90034-1_BIB25","first-page":"22","article-title":"Ueber einige fundamentale Begriffe der Metamathematik","volume":"23","author":"Tarski","year":"1930","journal-title":"CR Soc. Sci. Lettres Varsovie"},{"key":"10.1016\/0168-0072(89)90034-1_BIB26","series-title":"Undecidable Theories","author":"Tarski","year":"1953"},{"key":"10.1016\/0168-0072(89)90034-1_BIB27","first-page":"81","article-title":"Arithmetical extensions of relational systems","volume":"13","author":"Tarski","year":"1957","journal-title":"Compositio Math."},{"key":"10.1016\/0168-0072(89)90034-1_BIB28","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1112\/plms\/s2-45.1.161","article-title":"Systems of logic based on ordinals","volume":"45","author":"Turing","year":"1939","journal-title":"Proc. London Math. Soc."}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0168007289900341?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0168007289900341?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,13]],"date-time":"2019-04-13T04:24:37Z","timestamp":1555129477000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0168007289900341"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,10]]},"references-count":29,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1989,10]]}},"alternative-id":["0168007289900341"],"URL":"https:\/\/doi.org\/10.1016\/0168-0072(89)90034-1","relation":{},"ISSN":["0168-0072"],"issn-type":[{"value":"0168-0072","type":"print"}],"subject":[],"published":{"date-parts":[[1989,10]]}}}