{"entities":{"Q795036":{"pageid":796884,"ns":120,"title":"Item:Q795036","lastrevid":64394964,"modified":"2026-04-11T19:34:10Z","type":"item","id":"Q795036","labels":{"en":{"language":"en","value":"The finite inseparability of the first-order theory of diagonalisable algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3861138"}},"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":"Q795036$59B4C3DD-B84F-4CF3-9F73-99E52118D14C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88fcd1d22ec4674f0c54a828346937a2ed29cd59","datavalue":{"value":{"text":"The finite inseparability of the first-order theory of diagonalisable algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q795036$730AD4A8-8FC4-4651-B569-05817EC6CF1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2421d1c05616a2b4cbe09f15d8c989e94132efb","datavalue":{"value":"0542.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795036$72F0DCCD-3EE5-4747-BEEE-C470FE18A55A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9cc36a38aef2513af4e40edc3c70cb0434320f23","datavalue":{"value":"10.1007/BF00403334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795036$6742C5E7-AB83-44FD-9938-C9BDDA7B2E64","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795036$BCD48A1D-9EA1-43A8-8E45-1BC3FCF52F34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q795036$EABF57EB-BD5B-4261-8871-FD05AE3D2A07","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"515542deb46a72cc5db4e661f9f6bb342e0f91bf","datavalue":{"value":"In this paper, the author proves the finite inseparability of the first order theory of diagonalizable algebras (shortly: DAs). DAs constitute the algebraic analogue of the modal logic of provability, and can be considered as an algebraic approach to the study of the provability predicate for Peano Arithmetic or related theories. Smory\u0144ski's proof uses a result of \\textit{Yu. L. Ershov} and \\textit{M. A. Taj'tslin}, who proved the finite inseparability of the theory of distributive lattices [Algebra Logika, Sem. 2, No.5, 37-41 (1963; Zbl 0192.056)]. The undecidability of the first order theory of diagonalizable algebras was proved by the reviewer by direct means [Stud. Logica 39, 355-359 (1980; Zbl 0463.03016)]. Of course, Smory\u0144ski's result is stronger (it implies the undecidability of the first order theory of finite DAs); however, it does not solve the problem of the decidability or undecidability of the Lindenbaum DA of Peano Arithmetic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q795036$7BE8619E-7A69-45F4-8343-BB194FCE7416","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795036$B8C6B458-E5F0-49E6-BC12-7E9645413637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795036$ABFAC8D9-9681-42E8-B741-66924174C940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795036$AD102624-2D13-4CFF-A316-58D1A6BC849F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795036$43C941D2-7AC9-4648-AC51-F9843E573E1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0983ef9dd683b9de6516de7cd7bb498f4c6b212a","datavalue":{"value":"3861138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795036$19830E2B-AB64-46FB-A65B-58DE49F6A91B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"009e728cdd2984bc7cd212eaffdd6578fbf5ea51","datavalue":{"value":"finite inseparability","type":"string"},"datatype":"string"},"type":"statement","id":"Q795036$85578F60-B9F8-4A9D-8851-2BDAA1E9AE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61c6b3486dcae9fdffc43f63223ec1124212416d","datavalue":{"value":"first order theory of diagonalizable algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q795036$15F653E1-386E-4246-B240-44D682B6DC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"894d4cffe0e448b0a58004593401ea9dc815d128","datavalue":{"value":"modal logic of provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q795036$8F6E9F13-3725-446D-8D26-A8301AC84BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40a62cd58e4b80071829589503305e632afde3ef","datavalue":{"value":"provability predicate for Peano Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q795036$FEEA6FC2-11E6-4183-8234-78CD4C672ECA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"381d66ce0d865d18f3a56597ab9de985aaa93f52","datavalue":{"value":{"entity-type":"item","numeric-id":1259544,"id":"Q1259544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795036$5B677728-7F0D-4FE0-9FD7-03188709581A","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":"Q795036$E9825C5F-C0D5-4424-BECE-76EEA4F8DCEE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a1c10a48994750f9ea8f47b3ea09721413a554c","datavalue":{"value":{"entity-type":"item","numeric-id":1237068,"id":"Q1237068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795036$20BA018C-A26C-4F7C-A656-634E836A0C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dddcd736a8324da4b8c974b7749e73fd72bc2cb","datavalue":{"value":{"entity-type":"item","numeric-id":1153078,"id":"Q1153078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795036$79B673CF-2DB8-4B82-B837-A441ECD55202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795036$48B418CE-9508-4B33-B35B-9134EFE84861","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":"Q795036$BBE0F1E7-FC00-4DF3-9146-DA0E78BF72E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795036$4BED51F1-FA62-4C54-A4C2-B1FA483C9D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82e3f39dd1ca8be4d9302234cd13f0b67a4da76","datavalue":{"value":{"entity-type":"item","numeric-id":3843616,"id":"Q3843616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795036$7367FADB-6631-48D5-8374-852BEDCEDE27","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"efbaa20ca8a5cbad3cb42e52ff8e7dd14c2e1996","datavalue":{"value":"https://doi.org/10.1007/bf00403334","type":"string"},"datatype":"url"},"type":"statement","id":"Q795036$BF1F16BC-B7E2-42DA-A45B-12BDB0EB29FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6802ab758bef863c065b6e7fe95e9e28c824d2ae","datavalue":{"value":"W2048339526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795036$7629C961-4241-4B08-9CF9-0518C5063981","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":"72e1e8a97856187f0bb0eba775ea75c562c6465a","datavalue":{"value":{"amount":"+0.8357988595962524","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":"Q795036$D61F2784-696F-423E-86B1-0C68729366D4","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":"750cbbe82f87c046998c0df96f6ab3b813a36176","datavalue":{"value":{"amount":"+0.8344475030899048","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":"Q795036$15E310C3-A238-4304-A576-BB1B771B84DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c36c6ad665f452a4ee53651f2e8f9f7fc569a7af","datavalue":{"value":{"entity-type":"item","numeric-id":1317986,"id":"Q1317986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c07fe16f73040d501547ee5494c283fd315215f4","datavalue":{"value":{"amount":"+0.8073078393936157","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":"Q795036$448CB196-C003-4049-9799-057B2120209A","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":"2c2db29c2284b44121e3ecb009923b2890de7147","datavalue":{"value":{"amount":"+0.8065476417541504","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":"Q795036$77C10D0C-B3BA-4DDF-B7FE-F1B2468397D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4031777d3d945d52adcf5b5200d774e4011d591","datavalue":{"value":{"entity-type":"item","numeric-id":685077,"id":"Q685077"},"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":"Q795036$21F65471-11FC-4739-AC0C-418AFE0B9E21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The finite inseparability of the first-order theory of diagonalisable algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_finite_inseparability_of_the_first-order_theory_of_diagonalisable_algebras"}}}}}