{"entities":{"Q1119575":{"pageid":1130324,"ns":120,"title":"Item:Q1119575","lastrevid":66168444,"modified":"2026-04-12T08:00:16Z","type":"item","id":"Q1119575","labels":{"en":{"language":"en","value":"Definability in self-referential systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4099284"}},"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":"Q1119575$8F7981E9-811E-430B-8658-CAA9B6BCD6E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad2c8f812f9fef12d639bd9865086f1673194627","datavalue":{"value":{"text":"Definability in self-referential systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1119575$1FB1CB49-41D1-4CEA-9DDA-055152879AAC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1b4af092797c08b6d3bb0eabfada5a3effd5de7","datavalue":{"value":"0672.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119575$802F7ECB-2BEB-4110-B211-4F18E7BC2774","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"133d88cbd36668df04a66004e285a0a46c00845a","datavalue":{"value":{"entity-type":"item","numeric-id":1119574,"id":"Q1119574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119575$1A5DED48-0F0E-482A-AE36-ACA513492973","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":"Q1119575$B4F536E3-CAAC-4F09-962D-E03EEAE40A60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1119575$8C278FC0-C088-4A35-892E-373383E5ADF7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e9f46108ba7e74002e83a9c29468f1930d5d23fa","datavalue":{"value":"The paper deals with definability in self-referential systems. In particular it provides a solution to Hiller's problem in case T is an extension of the theory \\({\\mathcal W}+(regularity)\\) [see \\textit{A. P. Hiller} and the author, J. Symb. Logic 49, 754-773 (1984; Zbl 0596.03058)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119575$1602FEA3-87B3-419A-B34D-590D6A5D3B34","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f30902273cf64c52f3474440f1911e4a354b3216","datavalue":{"value":"03E47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119575$06AA3EDC-5B73-443F-9712-30F07C31C83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119575$0E3D10CD-D067-4D33-9D44-BD2277A63338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119575$6141C979-832F-43AA-A096-9A4C3CC6416D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e58d9228e05c73428e9d2f8f287775fe23e9a2a","datavalue":{"value":"4099284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119575$E31AA82B-73F1-4EF6-95FA-8283FB83CF6B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119575$385DC84A-5744-4720-B832-CC3EC40F7E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd1094d4a53d2ed93f77b7606e526fdee9afcc5d","datavalue":{"value":"self-referential systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119575$2C5C0835-F68E-488C-8B40-389609710BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e3d6e444ec4c8bd1cc1ca56aea67fc15a04538c","datavalue":{"value":"Hiller's problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119575$D71290C3-00E6-487F-8B85-DDC9674431E2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2c917304d9c01e4bbf6d8faabe9ae443bb0caeb0","datavalue":{"value":{"entity-type":"item","numeric-id":587951,"id":"Q587951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119575$C4085926-CD88-4019-8205-CD58D9D6AAC0","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":"Q1119575$1519B438-D184-4E6E-A41B-2192CB19E888","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c26161954320ea4a92198d869fc54dddf1065d3d","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093638022","type":"string"},"datatype":"url"},"type":"statement","id":"Q1119575$132412A4-366E-4521-A892-C99AC6C922FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab2c1d32c7169c54a7758b903f1232e6f6eafeaf","datavalue":{"value":"W1973590534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119575$8569E89B-14EE-472E-809C-5CB02504FE1A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7aad830451261d4dd5260e7e33f6acd5c151fe63","datavalue":{"value":"10.1305/NDJFL/1093638022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119575$20EBC998-12F2-41E9-806C-1EB7D10FE760","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b903a0cf42b3f445ebe5ccb0862b0ceb1880d4c3","datavalue":{"value":{"entity-type":"item","numeric-id":3029005,"id":"Q3029005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c081a00f84d074757ec30a82db4fde1cc8958c8c","datavalue":{"value":{"amount":"+0.7555608153343201","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":"Q1119575$37DA616A-FF69-42E9-BF73-8BDF02A381CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee4f0317d03a0b59b98ee8cf8722cdbecd014263","datavalue":{"value":{"entity-type":"item","numeric-id":3808090,"id":"Q3808090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86c915629942435cd54f148f5a90d9bb82d1c89c","datavalue":{"value":{"amount":"+0.7180374264717102","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":"Q1119575$98150094-A9D1-4D11-9720-0E3D02CD6C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6460116ae99d6b0b6ed4df1dd2f9a6471931540","datavalue":{"value":{"entity-type":"item","numeric-id":1088657,"id":"Q1088657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72c7c9ea5b829203b5d09e0d1d6ff24f0d12cd31","datavalue":{"value":{"amount":"+0.7084775567054749","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":"Q1119575$6E18A238-45ED-46B9-865B-410DD27312DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef6e8b5b3fb034a8bbc85722e61f7e7fa1ef6177","datavalue":{"value":{"entity-type":"item","numeric-id":3727990,"id":"Q3727990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57da984701070e73e56d7bbd3dad26340ca88bcc","datavalue":{"value":{"amount":"+0.7042921781539917","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":"Q1119575$2D694FCB-2642-4E91-A80A-54F238DF384D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb07c93757af3cae380c4bc62ef03836b9c8dfeb","datavalue":{"value":{"entity-type":"item","numeric-id":3604283,"id":"Q3604283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ebb69805854989853eea4f881489b033c66904e","datavalue":{"value":{"amount":"+0.7029005289077759","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":"Q1119575$7FAFFC2A-138C-496A-98EB-54F9D5EBB0EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Definability in self-referential systems","badges":[]}}}}}