{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,9]],"date-time":"2024-07-09T03:40:57Z","timestamp":1720496457223},"reference-count":21,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[1987,1,1]],"date-time":"1987-01-01T00:00:00Z","timestamp":536457600000},"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":9694,"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":[[1987]]},"DOI":"10.1016\/0168-0072(87)90061-3","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T12:12:53Z","timestamp":1047643973000},"page":"167-172","source":"Crossref","is-referenced-by-count":2,"special_numbering":"C","title":["Lindenbaum algebras of intuitionistic theories and free categories"],"prefix":"10.1016","volume":"35","author":[{"given":"Peter","family":"Freyd","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harvey","family":"Friedman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andre","family":"Scedrov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0168-0072(87)90061-3_BIB1","doi-asserted-by":"crossref","first-page":"6","DOI":"10.2307\/2273251","article-title":"La logique des topos","volume":"46","author":"Boileau","year":"1981","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(87)90061-3_BIB2","series-title":"Applications of Sheaves","first-page":"302","article-title":"Sheaves and logic","volume":"753","author":"Fourman","year":"1979"},{"key":"10.1016\/0168-0072(87)90061-3_BIB3","doi-asserted-by":"crossref","unstructured":"P. Freyd, Choice and well-ordering, Ann. Pure Appl. Logic, to appear.","DOI":"10.1016\/0168-0072(87)90060-1"},{"key":"10.1016\/0168-0072(87)90061-3_BIB4","series-title":"Cambridge Summer School in Mathematical Logic, Proceedings 1971","first-page":"113","article-title":"Some applications of Kleene's methods for intuitionistic systems","volume":"337","author":"Friedman","year":"1973"},{"key":"10.1016\/0168-0072(87)90061-3_BIB5","first-page":"2877","article-title":"The disjunction property implies the numerical existence property","volume":"72","author":"Friedman","year":"1975"},{"key":"10.1016\/0168-0072(87)90061-3_BIB6","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1016\/0001-8708(85)90036-2","article-title":"Arithmetic transfinite induction and recursive well-orderings","volume":"56","author":"Friedman","year":"1985","journal-title":"Advances in Math."},{"key":"10.1016\/0168-0072(87)90061-3_BIB7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0001-8708(85)90103-3","article-title":"The lack of definable witnesses and provably recursive functions in intuitionistic set theories","volume":"57","author":"Friedman","year":"1985","journal-title":"Advances in Math."},{"key":"10.1016\/0168-0072(87)90061-3_BIB8","article-title":"A Heyting algebra bestiary. Tertium Damus","author":"Johnson","year":"1979"},{"key":"10.1016\/0168-0072(87)90061-3_BIB9","series-title":"Stone Spaces","author":"Johnstone","year":"1982"},{"key":"10.1016\/0168-0072(87)90061-3_BIB10","series-title":"The L.E.J. Brouwer Centenary Symposium","first-page":"51","article-title":"Formulas of one propositional variable in intuitionistic arithmetic","author":"de Jongh","year":"1982"},{"key":"10.1016\/0168-0072(87)90061-3_BIB11","article-title":"An extension of the Galois theory of Grothendieck","volume":"309","author":"Joyal","year":"1984"},{"key":"10.1016\/0168-0072(87)90061-3_BIB12","first-page":"191","article-title":"Independence of premises and the free topos","volume":"873","author":"Lambek","year":"1981"},{"key":"10.1016\/0168-0072(87)90061-3_BIB13","article-title":"First order Categorical Logic","volume":"611","author":"Makkai","year":"1977"},{"key":"10.1016\/0168-0072(87)90061-3_BIB14","series-title":"Cambridge Summer School in Mathematical Logic, Proceedings 1971","first-page":"206","article-title":"Some properties of intuitionistic Zermelo-Fraenkel set theory","volume":"337","author":"Myhill","year":"1973"},{"key":"10.1016\/0168-0072(87)90061-3_BIB15","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0022-4049(83)90104-4","article-title":"Amalgamation and interpolation in the category of Heyting algebras","volume":"29","author":"Pitts","year":"1983","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/0168-0072(87)90061-3_BIB16","doi-asserted-by":"crossref","DOI":"10.1016\/0022-4049(83)90047-6","article-title":"An application of open maps to categorical logic","volume":"29","author":"Pitts","year":"1983","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/0168-0072(87)90061-3_BIB17","series-title":"The Mathematics of Matamathematics","author":"Rasiowa","year":"1963"},{"key":"10.1016\/0168-0072(87)90061-3_BIB18","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/0168-0072(86)90057-6","article-title":"On the impossibility of explicit upper bounds on lengths of some provably finite algorithms in computable analysis","volume":"32","author":"\u0160\u010dedrov","year":"1986","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/0168-0072(87)90061-3_BIB19","series-title":"The L.E.J. Brouwer Centenary Symposium","first-page":"443","article-title":"A note on the Friedman slash and Freyd covers","author":"\u0160\u010dedrov","year":"1982"},{"key":"10.1016\/0168-0072(87)90061-3_BIB20","series-title":"The L.E.J. Brouer Centenary Symposium","first-page":"459","article-title":"Nonstandard models and constructivity","author":"Smory\u0144ski","year":"1982"},{"key":"10.1016\/0168-0072(87)90061-3_BIB21","series-title":"Categorical Aspects of Topology and Analysis","first-page":"310","article-title":"An algebraic version of Cantor-Bendixson analysis","volume":"915","author":"Simmons","year":"1982"}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0168007287900613?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0168007287900613?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,27]],"date-time":"2019-03-27T01:56:38Z","timestamp":1553651798000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0168007287900613"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"references-count":21,"alternative-id":["0168007287900613"],"URL":"https:\/\/doi.org\/10.1016\/0168-0072(87)90061-3","relation":{},"ISSN":["0168-0072"],"issn-type":[{"value":"0168-0072","type":"print"}],"subject":[],"published":{"date-parts":[[1987]]}}}