{"entities":{"Q685077":{"pageid":686926,"ns":120,"title":"Item:Q685077","lastrevid":47188021,"modified":"2025-12-31T23:06:02Z","type":"item","id":"Q685077","labels":{"en":{"language":"en","value":"A note on the diagonalizable algebras of PA and ZF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 416885"}},"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":"Q685077$744C3AB1-E130-43B9-89D7-83DA49DB2669","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f059289ca457a9416efefc59a91ef02f258cfd36","datavalue":{"value":{"text":"A note on the diagonalizable algebras of PA and ZF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685077$CFA5AAC4-7899-4EC1-A0A3-9DE2BF086D06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7297e8d8a293708eea906cced3524f6a94242241","datavalue":{"value":"0780.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685077$15F24100-80EB-4CF6-A913-4DA4CA7E230C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09e23a0a2bb8fa2ce4114e7e31bf3a92ccece60d","datavalue":{"value":"10.1016/0168-0072(93)90202-O","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685077$7A8BB3EE-367B-478B-A642-3FDBC16A0F31","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d38feeb31ad31ada3e93bf79c1abb9ea8b5106d6","datavalue":{"value":{"entity-type":"item","numeric-id":685076,"id":"Q685076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685077$53C97935-8469-469B-B69F-9C5E0B3727F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685077$A250DAFF-E721-4655-B5FA-EF104B804756","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6918393775fb1c8826438f5277bce44cf6f24c36","datavalue":{"value":{"time":"+1993-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685077$A4634BCE-8D12-441D-B534-2CED16D5F8C1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1c5b53d7916f6e12a991496c856b23184135e2ef","datavalue":{"value":"If a formal theory \\(T\\) is strong enough to formalize its own syntax, then the diagonalizable algebra of \\(T\\) is defined to be the Lindenbaum sentence algebra of \\(T\\) endowed with a unary operator \\(\\square\\) induced by the G\u00f6del provability predicate of \\(T\\). The paper under review shows that the diagonalizable algebras of PA and ZF, as well as those of many other pairs of theories differing considerably in strength, are not isomorphic. The proof exploits the difference between the collections of provably recursive functions of the two theories and utilizes the existence of nonspeedable recursive functions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q685077$DDC619C6-4B85-43A8-BE35-0ECDF4FB895F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685077$306499B0-D278-4F99-B418-589939EBDAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685077$61510E37-3FEE-4791-A34B-CEC0EE0D3E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685077$8584FFB3-41C1-4743-A049-F5043D850DB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"202c96ed0a67a5a39b972c60c7d99b15453572b8","datavalue":{"value":"416885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685077$8B0111CF-2801-4BA9-B75B-10791B81BE8A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ec171027d1650ccf5b7f14821b846bd5dc75680","datavalue":{"value":"complexity measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q685077$D47E4DC8-A420-4D5E-9A00-673BEA384455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63f3ada23287513a351f120d5da44eccc390eedf","datavalue":{"value":"diagonalizable algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q685077$693C915D-F1F4-46CF-AC7A-DB22A1FFE98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96619a80686442a3e2a79084bb0cd82e9bd4bd5a","datavalue":{"value":"Lindenbaum sentence algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q685077$1E52E7E8-C695-4221-B7BB-A35AD09CBEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbb445ba8ca9ad04e4b537ea375baa526b9c03af","datavalue":{"value":"provability predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q685077$284F57F0-7102-46EB-AE71-FA3E04752F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd2551b9be1c6854a77bf232aefb9fdb97e063f9","datavalue":{"value":"PA","type":"string"},"datatype":"string"},"type":"statement","id":"Q685077$1FF06F64-AECA-49AF-B796-52D9C951F556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27053093570a92fff4e919f3d76d6d1ef93b0691","datavalue":{"value":"ZF","type":"string"},"datatype":"string"},"type":"statement","id":"Q685077$82F2F879-CF26-4412-A8CB-7AC53F8A98EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"425e268df6c5cb5624c84c71ce4739194b7f0d90","datavalue":{"value":"provably recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q685077$087E7931-9170-4145-9850-E2B5DF49B195","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":"Q685077$4250F888-D225-4CE6-958E-740AC882482E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea45854da7df1d421d45b7aeb6b91b2908960cc1","datavalue":{"value":{"entity-type":"item","numeric-id":5537605,"id":"Q5537605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685077$D6400846-657F-4D69-8F0B-24A3FC6AA6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483a01b953055c74a8dec25582f181fa0a844d16","datavalue":{"value":{"entity-type":"item","numeric-id":4121962,"id":"Q4121962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685077$3892D18B-D059-4A8F-9BFD-149F4F70CD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4f68c295c755ab62bbefbc028e75cb15692d6ba","datavalue":{"value":{"entity-type":"item","numeric-id":5561954,"id":"Q5561954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685077$BEB2CAAD-AEA9-42A1-95DB-5DC51DD5FE2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2b2fb5e74b72a9a204e563622b55fb87a335a4b","datavalue":{"value":{"entity-type":"item","numeric-id":4694581,"id":"Q4694581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685077$56758D0D-5C27-4700-97C8-92083FAE68FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc936fb9d74d6cbe030761022ef64e08bc9bae42","datavalue":{"value":{"entity-type":"item","numeric-id":3895468,"id":"Q3895468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685077$28D1A152-6B66-45C0-84F5-DF63E219FA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6759a71252fad37811b45e5a4a3b7fe3a524cce3","datavalue":{"value":{"entity-type":"item","numeric-id":3333037,"id":"Q3333037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685077$7CFF701B-86F5-492E-95FA-4922A8C35BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b42dfb20fcebbb8f50196c4d22414616af898b","datavalue":{"value":{"entity-type":"item","numeric-id":1078163,"id":"Q1078163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685077$0AE4B5C3-4509-43E7-A024-A0DE2A13EA29","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2cd87716b0e4c73ccf5889e3cf53f62792943f22","datavalue":{"value":"https://doi.org/10.1016/0168-0072(93)90202-o","type":"string"},"datatype":"url"},"type":"statement","id":"Q685077$53029F7E-8B39-4275-9A1C-042FA40CBF54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb0b241483be7e0488873bfbc4631fdd3427926c","datavalue":{"value":"W1985542534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685077$2F452E5B-2124-491C-8D19-A85DE1219356","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7863a440d701d00392f4c3fdfacd2c5a12b4a5ed","datavalue":{"value":{"entity-type":"item","numeric-id":4338316,"id":"Q4338316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6afebd828fcc12dd5c2398e615f508020784aba8","datavalue":{"value":{"amount":"+0.7890887260437012","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":"Q685077$A83208AB-9E1C-4CCC-838A-ED090E229C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a40792496af77f17a6c5f38aa9b234e39c93956","datavalue":{"value":{"entity-type":"item","numeric-id":4694581,"id":"Q4694581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c98af9536d96115dd6cf03bfe64c01c9aaaafae3","datavalue":{"value":{"amount":"+0.7877273559570312","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":"Q685077$25A2B76D-A1C3-4E44-B8D7-D9AC79873CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecc2da34f9ef45459a8785a14e65e54f2835cbda","datavalue":{"value":{"entity-type":"item","numeric-id":1903132,"id":"Q1903132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63af0d9a136868a2324c971f5213bb1dade0a21d","datavalue":{"value":{"amount":"+0.7833554744720459","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":"Q685077$D2018105-4DFA-4A60-A9A7-0EE2BADF8094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41b2a6fc9f9f9f70811a1a27762debc1538184b2","datavalue":{"value":{"entity-type":"item","numeric-id":1238804,"id":"Q1238804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"694f41e858d60415b12d901ae59015fc82a8012c","datavalue":{"value":{"amount":"+0.7825580835342407","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":"Q685077$D90D2BA7-CBFE-4E2A-92AB-3533E53CD82A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baddc99eecf00e2aa87e7cb3f36a4408a9ff6e93","datavalue":{"value":{"entity-type":"item","numeric-id":795036,"id":"Q795036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cc58f458acf91f12a7827eebede46809ef9bc85","datavalue":{"value":{"amount":"+0.7780954241752625","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":"Q685077$6A505014-8594-4BC6-82F9-923AD0B84BA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:685077","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:685077"}}}}}