{"entities":{"Q1332147":{"pageid":1342897,"ns":120,"title":"Item:Q1332147","lastrevid":68489433,"modified":"2026-04-13T00:03:00Z","type":"item","id":"Q1332147","labels":{"en":{"language":"en","value":"Self-reference and incompleteness in a non-monotonic setting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 635848"}},"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":"Q1332147$DAAFC8E6-D8F9-414C-99C8-BBEBB49E1ECC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f59a5f0b22537ef25df1792b585d2542632b1b66","datavalue":{"value":{"text":"Self-reference and incompleteness in a non-monotonic setting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1332147$14F1FE2F-A65D-4EA5-B8A3-791D0856F5D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd3681b3d1c255123ceec0f4382ef794d5275481","datavalue":{"value":"0811.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332147$4B288713-12CF-451C-984D-C0722C84A46A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34b130318262ae69f49d8061d302b44acdad0092","datavalue":{"value":"10.1007/BF01048689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332147$2BE57D31-FB44-4333-9F17-1B9A80E1B84D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"407afe521926f9a9983f2a2b6e85a210783a9aa7","datavalue":{"value":{"entity-type":"item","numeric-id":1332146,"id":"Q1332146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332147$E3D2DEF7-03B4-4CAF-975E-55CDCC216BC9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332147$E8E15B64-B87D-46B6-8C7B-6CA688412134","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"463d48832c927fbbc7519816661ffa8c28f58238","datavalue":{"value":{"time":"+1994-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":"Q1332147$E5E2A769-3FE8-4CCA-A257-2B3EB217AF7E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e0050f69d677215e78158392123bb54a517edfdf","datavalue":{"value":"The autor proves analogues of G\u00f6del's first incompleteness theorem in a nonmonotonic setting. Let \\(M\\) be the ``tree-representation'' of an axiomatic theory involving nonmonotonic, i.e. inductive or other risky inferences. Suppose that \\(M\\) is deterministic (it has an effective successor relation) and it satisfies a reflection principle of type \\(T\\). Then, regardless of what inductive means are available in \\(M\\), ``there is a sentence of complexity \\(T\\) or less which is undecidable in the structure'' (p. 447). However, ``there are consistent, complete and deterministic structures containing elementary number theory'' (p. 448). The paper has strong impact in philosophy of mathematics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332147$65817FE5-03E4-4E77-BAB7-34522F58B498","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332147$B09AC052-FFA4-4B55-8ED3-84AD5B427109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332147$49D701CE-E748-49B0-9C9F-9B7272E16997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332147$CF74EC99-662E-4150-AF1A-83FAF448E3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332147$83BB70AC-FBDC-4BE0-9B8E-DF217B5963CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332147$1C302079-4BD7-4A87-AD24-0E4C7E92F045","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94263dcb1b72f941fb46bf6cfde64735ff01ae49","datavalue":{"value":"635848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332147$297E8072-23B5-421E-A71A-681EFFA512E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332147$B8BCA58E-E690-4B4A-BDE5-FA5E81091029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4092595632c11bc44d3ce801daeac5f44c45ca33","datavalue":{"value":"analogues of G\u00f6del's first incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332147$ADDB29F8-A28A-43D9-B5AB-6A9ECB54B484","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50f26af6018e0e17dd62bb96a7b7b7241e4da546","datavalue":{"value":{"entity-type":"item","numeric-id":1891932,"id":"Q1891932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332147$0D0AD6FB-F3B7-437B-AE1F-B6A21444AA68","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":"Q1332147$F9C403C5-BB84-479A-AF8D-91F79A4DF10E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9210648c2da7d5773e848b729398c42f3567a36c","datavalue":{"value":{"entity-type":"item","numeric-id":4196401,"id":"Q4196401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332147$31E410D4-070F-4255-913E-B0D7BB40222E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5124a39f12a6e4b215f2f99cc495a24e8ff91ad","datavalue":{"value":{"entity-type":"item","numeric-id":3753978,"id":"Q3753978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332147$35C7DCEA-B790-4094-8F3F-EDBD1EAC819C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fe5447819f5d015f3887cb6d3f732d83d1a07a","datavalue":{"value":{"entity-type":"item","numeric-id":5844734,"id":"Q5844734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332147$F45103C9-B5D3-43BB-8AFB-4C80860768B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4de1ef1b33ef9f01782b10786f39c5d29c529033","datavalue":{"value":{"entity-type":"item","numeric-id":1222647,"id":"Q1222647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332147$6055C14C-AC65-4D3D-8650-91B4D7AB1E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11572fb068de708075b4feba6917c9e1ab7efc70","datavalue":{"value":{"entity-type":"item","numeric-id":3797175,"id":"Q3797175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332147$5565641A-1A98-4F3E-BBD7-8D1C438C62CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46e6ec8bf53a403cc5a32600f6b7dd2946260e87","datavalue":{"value":{"entity-type":"item","numeric-id":5588612,"id":"Q5588612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332147$FB4F1C7B-7C8D-4F01-AE2E-1B3AB0A3DE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a91e83495b992b41a97dc95b6e3cacf5a171a9d","datavalue":{"value":{"entity-type":"item","numeric-id":4068662,"id":"Q4068662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332147$08CED2D0-180D-496A-9C8C-8A27F2D07960","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d91c0738c2e5f521c32016a8b80bf1af1ca74a2","datavalue":{"value":{"entity-type":"item","numeric-id":581402,"id":"Q581402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65081ae21d171e39a67b70b23008ec8f667a8fd5","datavalue":{"value":{"amount":"+0.794601559638977","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":"Q1332147$D2A443A5-F21C-45ED-B6A5-C58AF80521BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ae4fbc3c986149ea097c9430258ac2b05875e05","datavalue":{"value":{"entity-type":"item","numeric-id":4532190,"id":"Q4532190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcb6d366bd93ff70066bf73d3de0cb282316c1db","datavalue":{"value":{"amount":"+0.7943863272666931","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":"Q1332147$2A67D239-6891-4C29-BD69-A37AB6F2CD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12309f35be1c400b1b439d20be06450da21fb368","datavalue":{"value":{"entity-type":"item","numeric-id":3082390,"id":"Q3082390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bfa86cc779c054d72b4ff253f47f6f828f2d235","datavalue":{"value":{"amount":"+0.7938555479049683","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":"Q1332147$C86DC539-0236-4B98-A554-62BC41D8E22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22207fc425a8601a64aab2fb8da8e3666c554a72","datavalue":{"value":{"entity-type":"item","numeric-id":5477995,"id":"Q5477995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5780accd05f2b0d080eb8c2350b8e7687cbb25f6","datavalue":{"value":{"amount":"+0.7862032055854797","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":"Q1332147$95CD1193-CD8D-4053-9510-F19994E51952","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Self-reference and incompleteness in a non-monotonic setting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Self-reference_and_incompleteness_in_a_non-monotonic_setting"}}}}}