{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T18:48:49Z","timestamp":1775846929180,"version":"3.50.1"},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1978,12,1]],"date-time":"1978-12-01T00:00:00Z","timestamp":281318400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch math Logik"],"published-print":{"date-parts":[[1978,12]]},"DOI":"10.1007\/bf02011874","type":"journal-article","created":{"date-parts":[[2005,8,11]],"date-time":"2005-08-11T17:32:17Z","timestamp":1123781537000},"page":"131-137","source":"Crossref","is-referenced-by-count":8,"title":["\u00c9quivalence naturelle et formules logiques en th\u00e9orie des cat\u00e9gories"],"prefix":"10.1007","volume":"19","author":[{"given":"Georges","family":"Blanc","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02011874_CR1","unstructured":"Blanc, G.: Langages du premier ordre sur graphe. Cah. Math. de Montpellier6 (1975)."},{"key":"BF02011874_CR2","unstructured":"Coole, J.C.: Categories of sets and models of set theory. Aarhus preprint series52 (1970\/1971)."},{"key":"BF02011874_CR3","unstructured":"Donnadieu, M. R., Rambaud, Ch.: Un th\u00e9or\u00e8me de compl\u00e9tude en th\u00e9ories sur graphes. Comp. Rend. Ac. des Sci. Paris (\u00e0 para\u00eetre)."},{"key":"BF02011874_CR4","doi-asserted-by":"crossref","unstructured":"Lawvere, F.W.: An elementary theory of the category of sets. Proc. Nat. Acad. Sci. (USA) d\u00e9c. 1964.","DOI":"10.1073\/pnas.52.6.1506"},{"key":"BF02011874_CR5","doi-asserted-by":"crossref","unstructured":"Lawvere, F.W.: The category of categories as a foundation of mathematics. Proc. Conf. Cat. Alg. (Springer 1966).","DOI":"10.1007\/978-3-642-99902-4_1"},{"key":"BF02011874_CR6","unstructured":"Mitchell, W.: Boolean topo\u00ef and the theory of sets. Jour. of pure and app. Algebra (1972) (271\u2013273) (North-Holland)."},{"key":"BF02011874_CR7","unstructured":"Preller, A.: Langages \u00e0 graphes et Schema de S\u00e9paration. Actes du Col. Int. de Logique (Clermont-Ferrand 1975)."},{"key":"BF02011874_CR8","unstructured":"Rambaud, Ch.: D\u00e9duction formelle en th\u00e9ories sur graphe. Comp. Rend. Acad. Sci. Paris, t. 283, 13 sept. 1976."},{"key":"BF02011874_CR9","unstructured":"Rambaud, Ch., Blanc, G.: Th\u00e9ories formelles sur graphe. Comp. Rend. Acad. Sci. Paris, t. 282, 24 Mai 1976"}],"container-title":["Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"],"original-title":[],"language":"fr","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02011874.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02011874\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02011874","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,8]],"date-time":"2020-04-08T22:08:28Z","timestamp":1586383708000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02011874"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978,12]]},"references-count":9,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1978,12]]}},"alternative-id":["BF02011874"],"URL":"https:\/\/doi.org\/10.1007\/bf02011874","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1978,12]]}}}