{"entities":{"Q1087540":{"pageid":1098292,"ns":120,"title":"Item:Q1087540","lastrevid":69610812,"modified":"2026-04-13T08:11:32Z","type":"item","id":"Q1087540","labels":{"en":{"language":"en","value":"An algebraic study of well-foundedness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3987275"}},"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":"Q1087540$F92AFA26-390C-4A58-95EF-7D4874399C3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"003ee80023329271da33700ee4522587351553a3","datavalue":{"value":{"text":"An algebraic study of well-foundedness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1087540$69B0CCC4-1BDA-4BF3-B1D6-D47D02AAFB3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d8046158a47de388d0242bef8c1c72a702a1cc9","datavalue":{"value":"0611.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087540$28C92BD0-7208-485C-A8B2-929998D2DC48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f5d0d55de9b6db6333c74658a3f906570eae8c1","datavalue":{"value":"10.1007/BF00370431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087540$69AD3666-CC96-4523-8691-8EDFE9E38480","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da1f2eae718b1a354207c6a7cbca0c2cb2019709","datavalue":{"value":{"entity-type":"item","numeric-id":227763,"id":"Q227763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087540$FC9C31E5-9347-4A3A-9B9F-09D634272297","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":"Q1087540$73EBC2A8-0A9A-4C96-BBD6-28545257773C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1087540$4F9E17F0-ABBD-4A60-9E4E-85707EF741FA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2368dac1e4e790649cddec871e49432a054c0594","datavalue":{"value":"A foundational algebra (\\({\\mathfrak B},f,\\lambda)\\) consists of a hemimorphism f on a Boolean algebra \\({\\mathfrak B}\\) with a greatest solution \\(\\lambda\\) to the condition \\(x\\leq f(x)\\). The quasi-variety of foundational algebras has a decidable equational theory, and generates the same variety as the complex algebras of structures (X,R), where f is given by R-images and \\(\\lambda\\) is the non-wellfounded part of binary relation R.    The corresponding results hold for algebras satisfying \\(\\lambda =0\\), with respect to complex algebras of wellfounded binary relations. These algebras, however, generate the variety of all (\\({\\mathfrak B},f)\\) with f a hemimorphism on \\({\\mathfrak B}.\\)    Admitting a second hemimorphism corresponding to the transitive closure of R allows foundational algebras to be equationally defined, in a way that gives a refined analysis of the notion of diagonalisable algebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087540$400EA3C0-F563-486B-B4B0-BEDE89F21F98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087540$112074E8-BB66-435D-9AE6-A8FCD6A3FC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087540$949BA91B-8D60-46C3-9258-F472007D215C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087540$C5A3E2AF-F9E4-4C01-9065-4FCCA580FD82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f21ab260df7cd322cc05a5de3e5363109eb7f243","datavalue":{"value":"3987275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087540$F4B9A5D4-C55F-4731-9A25-3E77FD8A3C56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"578d22b4943d233d02ade801f210524a90ddfdff","datavalue":{"value":"modal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087540$1BD8D396-9AE8-4F7C-A373-25E3CE9DFC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087540$ED6A055B-671D-449A-8976-6F7DA06C20E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087540$9022518B-9EBF-43B8-8298-C01F7548F778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f59df2e57ea5873a44b55d07fd5b9c280096bc50","datavalue":{"value":"foundational algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087540$75C1CDD6-CDEC-4B05-950E-6BEA633C5BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e198ebba055221d78046cb8347b69f575dde7b9e","datavalue":{"value":"hemimorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087540$A90B6297-DB39-4A97-B5E1-BAD64FACB94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087540$3393B3DB-3AD3-4F01-89AB-477E67BF7D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc67cd044da847145365137769abe3e8adbf1c99","datavalue":{"value":"quasi-variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087540$FA466B3C-8C7D-43A9-A4F4-CABC30D8908C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed09e0893541ff28b6019da328ed6f087dd1303a","datavalue":{"value":"decidable equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087540$F91D815A-DCE1-4B1C-B6C7-C2ACAF0C8E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39f7b6000cdb9654550cd3cc82708b0426d9b3ad","datavalue":{"value":"complex algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087540$BA3436D4-190C-4A7D-9512-4A90DC2590AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2529dd0d3bbcc77a92759b198295eeeb2775db52","datavalue":{"value":"wellfounded binary relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087540$48DCF6D7-AF68-4411-9444-929EB561E011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f98ce5f92d7d390b82aad17875e85a2d96357c0","datavalue":{"value":"diagonalisable algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087540$8B214149-0F39-46DE-A2F4-3A612326745F","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":"Q1087540$8F6831DB-DEE7-4FD5-ACCA-6976A1229F85","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":"Q1087540$D5442370-D157-4676-A55B-3960BE16A457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d55ceb688c679ae04421f58521735474f069e98","datavalue":{"value":{"entity-type":"item","numeric-id":3259695,"id":"Q3259695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087540$CEEA1F7C-EB2B-489A-ADC6-66A326A28186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087540$E985F354-00A8-45CF-AC3E-2BA257975B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087540$2BD25D8F-6C07-4D62-88D3-A6D98CBA8D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087540$D1217A99-77CC-41A2-BCBC-FF02550A31FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18acd13838cbd2b8d817ea9459757c3a0df03ef0","datavalue":{"value":{"entity-type":"item","numeric-id":5525332,"id":"Q5525332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087540$3E59F7B9-BC67-47BC-B7A0-E2EB99217846","rank":"normal"},{"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":"Q1087540$FEB3E276-8B91-4B2B-AD82-F8F6A04581C4","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":"Q1087540$735473E6-A2DA-405F-AEF9-04C0B1646EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d219c6154bf9d779b1657cb8437b2a7b6bbe7c89","datavalue":{"value":{"entity-type":"item","numeric-id":3337453,"id":"Q3337453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087540$FDAD49BF-CFD1-44CC-A113-381DFE21B210","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af3f7cbd3abaf6f91c333686d12f44e829a28055","datavalue":{"value":"https://doi.org/10.1007/bf00370431","type":"string"},"datatype":"url"},"type":"statement","id":"Q1087540$822F37DB-361B-4E0F-A4BD-589132B47588","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"147161ee20daf6b1c062c11c57048ad709c4943a","datavalue":{"value":"W2077631596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087540$B91F8B4B-9137-40F0-A82A-9C1645C9E516","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f14c6d0b81a3f8e333ae08102f84bf8b6071fd","datavalue":{"value":{"entity-type":"item","numeric-id":3703896,"id":"Q3703896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03a2f32ec4003c52e694cc2b4623d0238195c305","datavalue":{"value":{"amount":"+0.714048445224762","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":"Q1087540$7C687374-2A06-471C-B261-54F2070C1EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed71f18b7ff8e6eb66151e10d50443b8137fc102","datavalue":{"value":{"entity-type":"item","numeric-id":3333037,"id":"Q3333037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d4ae8909585bc5896497ca766a1dae277dac904","datavalue":{"value":{"amount":"+0.7106099128723145","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":"Q1087540$80D746DA-FD5B-461A-9008-19FEABFC40CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0055a5f9b87547d081579c88e0ef3d2bc26f8c7","datavalue":{"value":{"entity-type":"item","numeric-id":3623220,"id":"Q3623220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48486b335a2a3d7c8ed6fd6e053ba8334a33b5db","datavalue":{"value":{"amount":"+0.7051569819450378","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":"Q1087540$8D409066-2BE8-4C38-826C-443078A42216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a04b2b9df090d0c38b8d4d3ffb1533beadfe5f8","datavalue":{"value":{"entity-type":"item","numeric-id":4634989,"id":"Q4634989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76a2e14bbe9549008ae93f6735351581e12857c1","datavalue":{"value":{"amount":"+0.7018554210662842","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":"Q1087540$30F97C7D-F00A-432F-9A68-F3491F95158E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc76ac986076cc12998f0781bd51497ec98a99c4","datavalue":{"value":{"entity-type":"item","numeric-id":4325642,"id":"Q4325642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9acd31ccf70e22b91a83e45e9ae5f034daaaaca","datavalue":{"value":{"amount":"+0.6994830965995789","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":"Q1087540$62AB7B8E-54E1-4B9C-9149-4648B499A134","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algebraic study of well-foundedness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_algebraic_study_of_well-foundedness"}}}}}