{"entities":{"Q2732285":{"pageid":2743024,"ns":120,"title":"Item:Q2732285","lastrevid":47645479,"modified":"2026-01-02T07:27:52Z","type":"item","id":"Q2732285","labels":{"en":{"language":"en","value":"Existentially closed structures and G\u00f6del's second incompleteness theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1623526"}},"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":"Q2732285$6FC54992-192E-4356-814B-6069FAE61BA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a213e41785381bb905dfc79dde6f7fcc26a676e7","datavalue":{"value":{"text":"Existentially closed structures and G\u00f6del's second incompleteness theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2732285$8EA1E6BB-A009-4AB4-AB95-A0FE6CD33105","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"918f4db4ca2af5610746a14661cb118748fafe67","datavalue":{"value":"0981.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732285$5F55047D-F6BA-4778-937B-49B7DA082689","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b222ada878753d00110dab28e46bede1b87e6bb5","datavalue":{"value":"10.2307/2694926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732285$18206F37-AF94-4DBB-91F7-8A3CB8ADDC2A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2f93faa10511765d980de6eff18c013c04e1406","datavalue":{"value":{"entity-type":"item","numeric-id":218976,"id":"Q218976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732285$286EDC44-5565-4BE3-94AE-31AADDA42E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b77dffe6a94cd67fe4eb72872d94c92814c83997","datavalue":{"value":{"entity-type":"item","numeric-id":2732284,"id":"Q2732284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732285$B6CD2BCA-368E-47E7-B997-981C495EC51D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eda994ce54674f95a066f6d30cc466b0f4ae3187","datavalue":{"value":{"time":"+2002-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2732285$EFF14B37-6CE0-438E-A50F-5D76D26405C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732285$2003BF41-4DB3-4B27-B582-6FD4D3F6F936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732285$FAD1562D-EEA1-43DA-8628-9FE8C6D6AA62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e395664d8709d100a256279d202131657e5b23bb","datavalue":{"value":"1623526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732285$054DB208-B972-4AFC-AF82-085AD319321B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13ffe05fd1722273d02c0019c48d79dfc1bae96d","datavalue":{"value":"existentially closed models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732285$01073D78-622F-499E-BA79-443688D047FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"805010d0a0fae93274aba81f5c8a579754423c60","datavalue":{"value":"second incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732285$9C782249-D3D7-4778-AC9B-5A7D047765B3","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":"Q2732285$7D633309-17F1-4D0B-B9AB-BFB2587E0ECB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd56fcc3f4e62fed59096c5bc22df63d363bc4a9","datavalue":{"value":"https://doi.org/10.2307/2694926","type":"string"},"datatype":"url"},"type":"statement","id":"Q2732285$ED0B5CFB-2AC4-46CF-A2FA-723F0C2031B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c25d0903e135fa94d783dfeaef882f5b67c6cf8","datavalue":{"value":"W2053241037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732285$CBEEAD61-3E76-4443-8F82-409111EBC1CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"37a60d68de7703f1cbe02293256031b623fc6cdd","datavalue":{"value":{"entity-type":"item","numeric-id":1123191,"id":"Q1123191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732285$CD3BCAF9-DDAB-490C-A37B-3E5B124F6FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a8de7ea91f0234f6b8e7184cfc62830c9f425bf","datavalue":{"value":{"entity-type":"item","numeric-id":4224081,"id":"Q4224081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732285$ECAE3DC9-B6BC-4DCB-93C7-BED16A3E2F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d48c81655ed7623126888173eb93a99b6ec93712","datavalue":{"value":{"entity-type":"item","numeric-id":1374675,"id":"Q1374675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732285$5DCFD6CD-94AB-4517-AA4E-45C55ACEFBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff41b7a700847bc3ac8334b7706d84c7a7a1a30f","datavalue":{"value":{"entity-type":"item","numeric-id":4315327,"id":"Q4315327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732285$847CEEDD-5496-4775-A50A-37604D8AE70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caa23cbf3c17dd9906cf44fc92a6448101d6f154","datavalue":{"value":{"entity-type":"item","numeric-id":4323053,"id":"Q4323053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732285$BF333739-FEC6-481C-AA1D-9E85E429CB58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732285$9E724487-93E9-4100-B97F-ACF3CF7AB0F4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b9bb80790e65a1edc46327d5c0fe7da13869de9c","datavalue":{"value":"A model \\(M\\) of a theory \\(T\\) is 1-closed if for every \\(M'\\models T\\) if \\(M\\prec_{\\Sigma_0}M'\\) then \\(M\\prec_{\\Sigma_1}M'\\). Since Matiyasevich's theorem is provable in \\(I\\Delta_0+\\text{exp}\\), every existentially closed model of a theory \\(T\\supseteq I\\Delta_0+\\text{exp}\\) is 1-closed. In the first part of the paper is it shown that if \\(T\\supseteq I\\Delta_0+\\text{exp}\\), \\(T\\subseteq T'\\), and \\(M\\) is a 1-closed model of \\(T\\), then \\(M\\models\\lnot \\text{Cons}(T')\\). The proof is model-theoretic and makes no \\text{exp}licit (nor implicit) use of the diagonal lemma. In the second part similar ideas and a version of the arithmetized completeness theorem are used to prove the formalized version of the second incompleteness theorem: \\(\\text{PA}\\vdash \\text{Cons}(\\text{PA})\\rightarrow \\text{Cons}(\\text{PA}+\\lnot \\text{Cons}(\\text{PA}))\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732285$7ADBD5BD-9F89-4A1E-B87D-784F07741E45","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cc2fe705c7d582d4c8ad19b50ec74a3e6e0c8ae1","datavalue":{"value":{"entity-type":"item","numeric-id":384285,"id":"Q384285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732285$93F5E773-57AB-4150-B643-0BA925B3827C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fdcdef4c5039a393a5aaa497f1fb9f71b14dfd0","datavalue":{"value":{"entity-type":"item","numeric-id":4299260,"id":"Q4299260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d196eddf8ac054c45b671f42f6a8345a9f1c8318","datavalue":{"value":{"amount":"+0.7905391454696655","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":"Q2732285$8ED110B9-E68F-4E91-A928-E16D82163F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e61e053d32143d7fac683405d129ebf131ccdd99","datavalue":{"value":{"entity-type":"item","numeric-id":3094141,"id":"Q3094141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d196eddf8ac054c45b671f42f6a8345a9f1c8318","datavalue":{"value":{"amount":"+0.7905391454696655","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":"Q2732285$32A6CB40-C3FF-461E-BA27-5FCBDA496E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7874fdfb1ba6d79803a43cdcdca0eb08a2ab273f","datavalue":{"value":{"entity-type":"item","numeric-id":5095636,"id":"Q5095636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4ee7928a6c1f436307de469433f95dba8943715","datavalue":{"value":{"amount":"+0.7757670879364014","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":"Q2732285$AA359D3C-E158-4D0D-8522-78DFACD3D9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec440821a0fba14b6f5dabe1cbaf4884e2d824cf","datavalue":{"value":{"entity-type":"item","numeric-id":5311743,"id":"Q5311743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fae6fe91707c8a9937cdfdd032baf54a8163e85","datavalue":{"value":{"amount":"+0.7699080109596252","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":"Q2732285$8C845C02-DEDE-447F-86A1-1611B4995740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c15c66ffe9c99e19fd516c93276ea75968c4f63","datavalue":{"value":{"entity-type":"item","numeric-id":2732301,"id":"Q2732301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd06ec6ba4d2735c7c2ffd856bdb4a20cc02167e","datavalue":{"value":{"amount":"+0.7660500407218933","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":"Q2732285$30F20862-FFC4-417B-987F-8ACE833FCB83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2732285","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2732285"}}}}}