{"entities":{"Q1183715":{"pageid":1194464,"ns":120,"title":"Item:Q1183715","lastrevid":66516579,"modified":"2026-04-12T10:36:23Z","type":"item","id":"Q1183715","labels":{"en":{"language":"en","value":"Henkin's completeness proof: Forty years later"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 33579"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183715$A111F7AA-4708-460C-8144-7CA4FB4DC497","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7211d94a8089ce282c7fb246ee5bc0f87433db28","datavalue":{"value":{"text":"Henkin's completeness proof: Forty years later","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1183715$10614C29-1837-4014-9893-9627306C91A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8aa64d086549304c3842e24cf6e4116c9e697ee1","datavalue":{"value":"0751.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183715$8E5949FE-5FD6-47F4-A874-AA0428D0BB7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66029be16c472eb1e4d4ce92c265f3637cef78d5","datavalue":{"value":{"entity-type":"item","numeric-id":758984,"id":"Q758984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183715$AD3705D5-F01C-4C19-A07A-3BEAD753343F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d98dbdbc8693ff97387c6ae2cba2f93c1c68081c","datavalue":{"value":{"entity-type":"item","numeric-id":867402,"id":"Q867402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183715$69133EC3-9937-4EE0-AE48-F402BD1BDC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"156b9f0d2675204e6da49b8b446f70f44b7abadd","datavalue":{"value":{"entity-type":"item","numeric-id":1183714,"id":"Q1183714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183715$B4A059A7-54E7-48A9-AFA8-3DEECA47147A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fb22934de46582f1d34874e34f371e1c38ac742","datavalue":{"value":{"entity-type":"item","numeric-id":1327487,"id":"Q1327487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183715$0766B95E-C4E5-47B8-9AA9-729D36DE968E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183715$98745661-3C40-41D7-B520-A9EADB8294E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1183715$23FFD909-B8E4-4E20-9762-B60DB774A642","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"06e2cd0c082acd5cbe052692e2d84c37d5cbcb88","datavalue":{"value":"The paper --- contrary to what the title might suggest to some --- is not a historic assessment of the role of Henkin's completeness proof (though there are some historical remarks in section 6). The authors investigate the question: When can a set \\(T\\) of sentences of a (countable) first- order language \\(L\\) (with denumerably many individual constants and no operation symbols) be extended to a Henkin set in the original language \\(L\\)? One of their tools is ``instantial logic'' (essentially omega-logic, a term which the authors prefer to reserve to the case when the constants are (or can be?) interpreted as numerals).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183715$3C86A1D5-BE9A-4DC0-82AA-7F58678FF516","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183715$D254C8BA-1C99-453C-A662-B78800BFC3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183715$291EFA0F-5FDD-44C5-A762-1C4DBB0F9501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa69c13f73ae57309db5e91fd7e4d5aaf111f98e","datavalue":{"value":"03C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183715$D277CBEB-5D3B-4236-8AE0-7D4F77CADA18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47f4d348f0af41265ed6486369fb60088454dad6","datavalue":{"value":"33579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183715$90DA5BE6-5073-4291-86C2-5B255DD93B07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7c680ca79b35baa840acc8cd38f4a23dfac81d5","datavalue":{"value":"first-order language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183715$5B82CBAD-09A7-4598-884B-52FE1C6BD2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"490df478dd0e3bf9e013b2cfdb4a20a4d4b8508c","datavalue":{"value":"Henkin set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183715$D92798C2-869C-4F07-937D-4EB003BADCDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"789efbd9d6cc371e005d3afaaefa56d150462909","datavalue":{"value":"instantial logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183715$6B1AE195-2A16-4EA9-9A41-F2A2EAD4B471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8140574515bd4d4e594461bb977ec87a91095fd7","datavalue":{"value":"omega-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183715$21E313BB-FF3B-462C-9293-C50D79799EFA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6c2741082f36ad9233d530f7f28232950cc4bb4d","datavalue":{"value":{"entity-type":"item","numeric-id":793712,"id":"Q793712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183715$EB0A2272-90E0-44DE-979A-F4453F637421","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183715$6B61411E-6884-43BE-97DD-2C878D9F2A4C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1f8699a18d9c6f185dc9c02f3d1df09b7cf84ff","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635746","type":"string"},"datatype":"url"},"type":"statement","id":"Q1183715$44445485-E510-409A-805B-42B2D9E8E5DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8fc6019e2c183b17031553b41770dc74a1bba718","datavalue":{"value":"W2091754495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183715$4E8E0233-E8AC-404A-B0C9-935599864697","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9da491ab67075c8f1d3a32c6207c70ec3716ba4","datavalue":{"value":"10.1305/NDJFL/1093635746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183715$4F73528B-61E0-4F51-BB62-78AA19769159","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"145a58948ed4bc18925304f2cdf932c575e86cdc","datavalue":{"value":{"entity-type":"item","numeric-id":3033747,"id":"Q3033747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0527a5db15008273375148ff2d4807eb030d8ad","datavalue":{"value":{"amount":"+0.8038716912269592","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1183715$5551001C-CC53-4F50-A82B-02F4EBE5CDDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a13e9cdd04d4b637dfae0354f41c3d4af456599e","datavalue":{"value":{"entity-type":"item","numeric-id":3454811,"id":"Q3454811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"538dfb4c047b668bf0f1b2675670485f3d518214","datavalue":{"value":{"amount":"+0.7773424983024597","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1183715$B6B45AA0-5F02-4C92-80F5-6249AA3F7FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58c64c0ce8f51fd00bd4f559673d80a28cf0b9df","datavalue":{"value":{"entity-type":"item","numeric-id":3454810,"id":"Q3454810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bd45333f807c32586a6f320d56287127a84f490","datavalue":{"value":{"amount":"+0.7567660808563232","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1183715$F59F3A38-67F9-496E-9BBB-1C400BAA5AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20ab19ee3276b2a882948f4cde405e8d5899e82e","datavalue":{"value":{"entity-type":"item","numeric-id":4983362,"id":"Q4983362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4014d604b21da5c6ea7cf8177c1531d94d11759","datavalue":{"value":{"amount":"+0.7363294363021851","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1183715$0151B1B0-02AC-4A9A-AF40-F5C437AACFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3079533b7cd031884c3f7ee4a56962df2840017","datavalue":{"value":{"entity-type":"item","numeric-id":3454812,"id":"Q3454812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4e4dbd4542ac58274ccf4b66fd872b54eb1cf15","datavalue":{"value":{"amount":"+0.735221803188324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1183715$1D7635D6-BD80-448F-BDBF-366AB115E2F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Henkin's completeness proof: Forty years later","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Henkin%27s_completeness_proof:_Forty_years_later"}}}}}