{"entities":{"Q2732301":{"pageid":2743040,"ns":120,"title":"Item:Q2732301","lastrevid":47645506,"modified":"2026-01-02T07:28:19Z","type":"item","id":"Q2732301","labels":{"en":{"language":"en","value":"A general principle for purely model-theoretical proofs of G\u00f6del's second incompleteness theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1623539"}},"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":"Q2732301$15BC0D73-BAC5-4835-8017-348BB59BB921","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c105e575c440fe24dda3e288fb8d8b2e21c127ff","datavalue":{"value":"0981.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732301$3069488A-BC97-4B7E-9CCE-BAFE5BEA5B13","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4b6baaed9d1cfcad2859dd660d83b50d58d376d","datavalue":{"value":"10.12775/LLP.1998.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732301$D9C25C7F-2020-471B-8226-6A4ADBA0DCF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6667f8eaa0a30ecb27b3dae459a63027f422ef08","datavalue":{"value":{"entity-type":"item","numeric-id":2732300,"id":"Q2732300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732301$8749F7AB-45F8-4FD0-89DC-937DBBC59439","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02a7550770f278a5ae7822f33ceafd222bb55c95","datavalue":{"value":{"entity-type":"item","numeric-id":2725723,"id":"Q2725723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732301$47B13BD3-BF03-478B-8307-9989BF0BD4F0","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":"Q2732301$32797AB2-0797-4BC5-96CB-985F04C97416","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732301$44C75B34-C260-45A0-B96D-107ABEC654D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732301$AE8D1764-792E-462D-AB87-D7C2DBDF3787","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9daa81c1b718851ad4ffccc38d690d2c231cfad6","datavalue":{"value":"1623539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732301$5522A524-36C4-4127-B5D7-83C4C8EAF878","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5559d55c5ccc7f2feaf73e7c6575e6ab38156ab6","datavalue":{"value":"arithmetized completenes theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732301$C0C5525E-A988-4BBA-B6C3-A7AC5412FE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"805010d0a0fae93274aba81f5c8a579754423c60","datavalue":{"value":"second incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732301$06705F78-D9EC-43E1-8994-89BD3D47612D","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":"Q2732301$2D0809A8-0096-4B54-B6A7-8DB4ADE209C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e337ef73e24f2c6b357de3fa423c65f17172d7a3","datavalue":{"value":{"text":"A general principle for purely model-theoretical proofs of G\u00f6del's second incompleteness theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2732301$077D0253-7922-43EF-A5B9-B31757612D05","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2f426681fec5ab344ec31608741d339aa78b8ae5","datavalue":{"value":"The paper gives an almost self-contained and highly readable presentation of a (slightly more general) version of Kreisel's model-theoretic proof of G\u00f6del's second incompleteness theorem. A general ``Model Chain Lemma'' is extracted from Kreisel's proof. The lemma can be used for other proofs of G\u00f6del's theorem, however, no examples are given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732301$660ECC03-A873-418D-BE60-A0E82A5B7C72","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":"Q2732301$96DA0954-D4FE-43BB-B7BF-9A6D01261E43","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":"c58b41916e2df82ee26b59158909007c89fe08ad","datavalue":{"value":{"amount":"+0.8280388116836548","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":"Q2732301$B8124FB7-3949-4097-BE8F-D95020F11FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"521dfd27600c319edcbc1d5f20f9bcddf1d9c5f6","datavalue":{"value":{"entity-type":"item","numeric-id":2732285,"id":"Q2732285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c58b41916e2df82ee26b59158909007c89fe08ad","datavalue":{"value":{"amount":"+0.8280388116836548","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":"Q2732301$5034D3BB-CE8A-480D-A7F8-D32A8545EBEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eebdf485c1ad7f7b30ca2e308c926b46b09ac74","datavalue":{"value":{"entity-type":"item","numeric-id":1893141,"id":"Q1893141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"064eb2d7d0c008f53fc7d3464f22209010d758c8","datavalue":{"value":{"amount":"+0.8112781643867493","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":"Q2732301$246C531F-DF83-4BBA-9F1B-7980408493F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd0a2fc5f31fa16a453923c8033c34b66f03f98f","datavalue":{"value":{"entity-type":"item","numeric-id":5107534,"id":"Q5107534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"433f9c79328d18f70b4066503dc06949370b4046","datavalue":{"value":{"amount":"+0.8060122132301331","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":"Q2732301$184C38CF-BD92-415E-963F-2A61612F7FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ada59b14a71a857128ca10728af1ad431c6ddd6a","datavalue":{"value":{"entity-type":"item","numeric-id":4984860,"id":"Q4984860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14fc9bf45eec91c4033952b333713dafc1a41766","datavalue":{"value":{"amount":"+0.7904453277587891","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":"Q2732301$DA2128A6-3742-428D-93A9-50C25759168C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2732301","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2732301"}}}}}