{"entities":{"Q1071018":{"pageid":1081770,"ns":120,"title":"Item:Q1071018","lastrevid":48897616,"modified":"2026-01-06T02:55:10Z","type":"item","id":"Q1071018","labels":{"en":{"language":"en","value":"Descriptions in mathematical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3937174"}},"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":"Q1071018$7DAFD13B-3D48-4755-AF8E-C520F9010D36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb06f70de0766a05e299aed987ddfbb92463d671","datavalue":{"value":{"text":"Descriptions in mathematical logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1071018$121A4741-39C1-4D39-A23F-2395BADC124F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1564c8655ad2ab142ba6d769790e03ec50e94d9c","datavalue":{"value":"0585.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071018$692D273C-0527-4A06-8C5D-B6F031FD8BDB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"459edb04d55adec3000bf35d9155d3a9a8d6e774","datavalue":{"value":"10.1007/BF02429843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071018$CFC9779D-2398-4CAC-B9EC-746024291A42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27a40f3e393f328cd4730fcb61457b79095ca391","datavalue":{"value":{"entity-type":"item","numeric-id":753808,"id":"Q753808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071018$B5865391-39AF-4CDA-B4C6-4D636EBBA08A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071018$19D10A44-ACE5-4AEC-A934-D55E3D5F8BE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1071018$6D4E682E-8CF3-42E0-929A-A299C4440834","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5784c75d40ce96668fea0a8c7079b70312e56240","datavalue":{"value":"If A(x) is a predicate satisfied by exactly one x, then we write Ix.A(x) for that object x. The operator I is called a descriptor. The author reviews the various treatments of descriptors in the literature, pointing out that the problem each treatment faces is ''what to do with Ix.A(x) when \\(\\exists !xA(x)\\) is not (yet) known''. The obvious answer is that it is undefined. The technical contribution of the paper is to show that this obvious answer can be formalized. The author bases his formalization on Scott's E-logic, and shows that ''partial descriptors'' can be added to such a theory conservatively. In a final section, he considers theories with function variables and quantification. In that case descriptors are not conservative, since they yield axioms of choice; but he shows that is all they yield. The paper is very clearly written and to the point.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071018$6954FA99-4538-4605-891A-EDF19D2FB166","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071018$F807F8F6-4BC0-481F-BA02-2E0F59933C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071018$BC0C8D73-2907-4456-B91E-051EFF293F64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67a74a09dcd80a13043fab5d054854f2d1f02315","datavalue":{"value":"3937174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071018$27CE435D-0F5D-4148-B890-D4809D5C1FE1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e836817f43f2ba6572458a04b125851ecc12bb4a","datavalue":{"value":"descriptor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071018$E3EFF0ED-D777-4A57-8ECF-36E3FCF602CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e1b4423af4878560ae80be618ec737ce7dcfb25","datavalue":{"value":"Scott's E-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071018$EB3B6D78-EB97-448E-A761-704F89E96065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91f3dd4108c385b01f4573233f5d2d49f0a5ebbd","datavalue":{"value":"theories with function variables and quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071018$ABA71D87-4B08-47F9-A5E3-27424EA6B510","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":"Q1071018$5CA613A9-B704-4D5F-A617-E6A0C2DA5B44","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c271699d5632f89990569be213e5fa2b0387b45f","datavalue":{"value":{"entity-type":"item","numeric-id":769897,"id":"Q769897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071018$C502437F-CE15-4E0C-B7A2-9635EE55174A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea22355f4809f1b9a7b437907def4782c9b3a721","datavalue":{"value":{"entity-type":"item","numeric-id":5575558,"id":"Q5575558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071018$6A030913-A6B4-48BC-9212-F10BDEC6A9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c2afdfee151b6a68d62f2405d3be4c5d22f73b7","datavalue":{"value":{"entity-type":"item","numeric-id":5734418,"id":"Q5734418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071018$FDA46BE5-DBDC-4458-BDC0-234BABC65B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b47e427b41b4173e50108f0857c520d19a8b62","datavalue":{"value":{"entity-type":"item","numeric-id":3208629,"id":"Q3208629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071018$F9DB5795-9AE4-4A9F-B2CD-D4B8FA68DC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"912976fff2e6a7d7fc884e3d4a1d6dd7dab95a29","datavalue":{"value":{"entity-type":"item","numeric-id":4067060,"id":"Q4067060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071018$AE49625E-D281-4D96-A190-49A0CB59F433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4e305fffedc9f69bd90aede71218c9d456f5e82","datavalue":{"value":{"entity-type":"item","numeric-id":4083397,"id":"Q4083397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071018$DF2EAE33-67F2-4722-91B0-67D229F3DE8D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ebc073a48b6987817115c78d815f192b93a56d6","datavalue":{"value":{"entity-type":"item","numeric-id":5013624,"id":"Q5013624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91a1ff140a73b1670b7a238008967baa0d292994","datavalue":{"value":{"amount":"+0.7348521947860718","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":"Q1071018$637F4D11-11E2-441F-8639-C201C650DA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65e7f3764fb5c4edcaf7f58b261ca82b8becd7db","datavalue":{"value":{"entity-type":"item","numeric-id":3708768,"id":"Q3708768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18ad3e48a2f99a5299d2314f90403d7b0dd72960","datavalue":{"value":{"amount":"+0.7274172902107239","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":"Q1071018$7AEDD719-5E76-4F05-B896-BF3C78ACE8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1874f75999256c0209bc86a1c45ab7935e905075","datavalue":{"value":{"entity-type":"item","numeric-id":5936011,"id":"Q5936011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8531b7ecd0897d898f5ad56ddf1141736f0fc23a","datavalue":{"value":{"amount":"+0.7123075127601624","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":"Q1071018$A5AB955C-F98D-4013-8F48-1A4B95036290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aac85556736c2d6f9822a56f417067886b152eb","datavalue":{"value":{"entity-type":"item","numeric-id":5126200,"id":"Q5126200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d49dd46c28d610567e57d3f7de33486baa2ee4e","datavalue":{"value":{"amount":"+0.7100124955177307","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":"Q1071018$8DBC1F30-5C5F-4A47-8AD0-B267B9E7B16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a4864029d3f3e7ef13a37a39590e6ca060fe0cf","datavalue":{"value":{"entity-type":"item","numeric-id":5241405,"id":"Q5241405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e51188eacfca6b0d41f9502b5663f43ae1ace96","datavalue":{"value":{"amount":"+0.7074910402297974","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":"Q1071018$1C726EA1-80B7-4BDF-BA2B-E6EE7D816AD9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1071018","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1071018"}}}}}