{"entities":{"Q1192092":{"pageid":1202841,"ns":120,"title":"Item:Q1192092","lastrevid":47079172,"modified":"2025-12-31T14:53:42Z","type":"item","id":"Q1192092","labels":{"en":{"language":"en","value":"Priestley duality and quotient lattices of many-valued algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 60497"}},"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":"Q1192092$6641C53E-F6BD-46AC-8692-31B28259BC76","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"594174651913b3d64dbedc7c04f318323cd2f168","datavalue":{"value":{"text":"Priestley duality and quotient lattices of many-valued algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1192092$1FB47FF2-866D-4FC3-9C2B-29775E9B472C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44debdd1bfa22ee285c2c81fd1c8cb1fa2d5cc66","datavalue":{"value":"0787.06013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192092$D6C5997B-EAE1-466F-978B-CD531636D601","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c7500013f1f6dcf730a43af18ebbd1ae584a940","datavalue":{"value":"10.1007/BF02845075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192092$25768F09-7037-4A18-8138-C6449D96551D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1192092$6B007F7B-8481-4C51-802E-C272889BA49E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"46a7353f433710907d42ba14f95c2be77f2c56a2","datavalue":{"value":"\\textit{L. P. Belluce} [Can. J. Math. 38, 1356-1379 (1986; Zbl 0625.03009)] defined a functor, that we denote by \\(\\beta\\), from the category of MV- algebras to the category of bounded distributive lattices, in such a way that for each MV-algebra \\(A\\), the prime ideals of the lattice \\(\\beta(A)\\) coincide with the prime ideals of the algebra \\(A\\). Our aim in the first part of this paper is to show that the construction of \\(\\beta\\), as well as many of its properties, can be very naturally explained in the context of the duality between bounded distributive lattices and some classes of ordered topological spaces developed by Priestley. In the second part, we show that Post algebras are in the range of \\(\\beta\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192092$16942AB2-C6F5-4C1E-83B7-E480C7163022","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192092$572B206D-E8B3-4F10-B820-0049AA4BE134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c4ad1785471f430c5505937f552960d16df2055","datavalue":{"value":"06F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192092$D6C3AB68-B76F-40D3-96F2-6E827A8B163F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33055bf2c57773bb56b9bc1e7d8347ad65fe4047","datavalue":{"value":"06D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192092$A9C014AA-574F-4353-ADB6-285618EF5352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192092$B54957C5-9813-416F-B94E-7BFCDBAFBB96","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fbb11b7500a07e87fcc04747bdafa221e98b5bb","datavalue":{"value":"60497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192092$CA2C0063-CB8A-4DB6-8625-D63BD6E49833","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08503ff68fda0185e5c7ee17350804ec8b84a271","datavalue":{"value":"Priestley duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192092$C2B7ADBC-9901-459F-AF59-EA2A42430BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9fbd9901f9a31b75aa06674a353cf2d35f69307","datavalue":{"value":"category of MV-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192092$70C290B0-7237-4C73-8642-FA3BBEBA36F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc7d43d9730ddf45032517775c0de0eddb7db0e9","datavalue":{"value":"category of bounded distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192092$688F972E-F97D-46CE-95AD-F8A4243AEA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3609a475e609e6975157c7f28e3a5b2a5629569c","datavalue":{"value":"ordered topological spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192092$76E98189-1B39-4B3C-BEE0-09565015DC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d437f0337307634254181bdf8dfb02d99b3549","datavalue":{"value":"Post algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192092$1D5B4009-4EEA-4EAC-A39B-D7087D80D8F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2641d8dcc65ab72e23b1ed55ea64094d58873e5a","datavalue":{"value":{"entity-type":"item","numeric-id":1817693,"id":"Q1817693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192092$3EAA7457-949E-4B34-9B35-866807F2E013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"98a161c6563f600d55e948240633b52c1bed8c02","datavalue":{"value":{"entity-type":"item","numeric-id":234287,"id":"Q234287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192092$911EE48E-9BE8-4012-BB8D-C46B9C092227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f3e9abde1830e56d26b27840eec5cf946c4acc1","datavalue":{"value":{"entity-type":"item","numeric-id":582307,"id":"Q582307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192092$64990C76-C332-42B5-8458-437E60B499C1","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":"Q1192092$CB2A80BA-6C57-42F3-974E-12AE7FAA35F0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192092$B963FE91-31B7-432A-BA81-659D279CD1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6acd593f6dcb855c8c860e1a283b618409094880","datavalue":{"value":{"entity-type":"item","numeric-id":3026980,"id":"Q3026980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192092$736C62C4-8005-4F4E-AE7B-A6D023389C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b0a2760e28639eb78f44f7bb1aa809ab1bcc56","datavalue":{"value":{"entity-type":"item","numeric-id":1185226,"id":"Q1185226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192092$A61C9E8F-5BC6-4ED2-B7DD-FCC886472A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192092$6BC6A410-8689-46E8-848F-FD6C9157CB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7588f9557a3f37ef2ba204f5362f92daeeb202","datavalue":{"value":{"entity-type":"item","numeric-id":3253788,"id":"Q3253788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192092$E53EB21A-1194-4852-8FAC-B1D8F747A488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef88c4a1ef40e208862c168eb829caaba70b0325","datavalue":{"value":{"entity-type":"item","numeric-id":3269132,"id":"Q3269132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192092$0F81A6C2-B397-4AE2-8CAC-974B04026647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"833759f995591399dfb01d2ffde67a6ac5a0eda2","datavalue":{"value":{"entity-type":"item","numeric-id":1252873,"id":"Q1252873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192092$3C177DCB-7949-4269-9916-4BB12EDB39E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e7c97872806830c474a767499bc68954ef2f274","datavalue":{"value":{"entity-type":"item","numeric-id":5659602,"id":"Q5659602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192092$D3A4EBD5-43B4-43DB-8A49-FD593F9056A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f02ca81128f2db6171033ee9291b5b8ff01a99ad","datavalue":{"value":{"entity-type":"item","numeric-id":1199977,"id":"Q1199977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192092$28162C44-FD43-487F-93FB-A53B7C1D4280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1061ba4dfee59eb91f071e588d854a29a14527d7","datavalue":{"value":{"entity-type":"item","numeric-id":4116448,"id":"Q4116448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192092$4B919DB8-6DCB-4697-B157-D3DF52CB587E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86b87ef1ead832c7ee19331bee71dcdb0e99a890","datavalue":{"value":{"entity-type":"item","numeric-id":2542730,"id":"Q2542730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192092$80180981-CB9E-467F-AD26-12E5C1A94128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cacbea12e85300ab9973f864b5f8eaa65d0bdb1","datavalue":{"value":{"entity-type":"item","numeric-id":753812,"id":"Q753812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192092$6D9870F8-BF13-4DDA-8977-06ED82E5CBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be477be15bccf12157a200daa3aaf206ea72ec3d","datavalue":{"value":{"entity-type":"item","numeric-id":4079652,"id":"Q4079652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192092$06C2A563-056C-47BF-A2C7-6BBBDB90B040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b95e25cbc6f1a83f95edae0e04ca9316d2b26f","datavalue":{"value":{"entity-type":"item","numeric-id":4079653,"id":"Q4079653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192092$90082FF5-C636-4A28-BBD7-7BA39AE2F242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab45441a289f133d8d44cd0d1acafa9edc51a3cb","datavalue":{"value":{"entity-type":"item","numeric-id":1066930,"id":"Q1066930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192092$BB6FD340-60EB-43F8-8516-83A584E02B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9672d1f90f8366b2aa3154bc15fee0e7593092b3","datavalue":{"value":{"entity-type":"item","numeric-id":5598363,"id":"Q5598363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192092$276FF23F-A7CF-459C-BC99-372DF3C813D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0943e126b844734d0e41e82ee07b2fa3388352","datavalue":{"value":{"entity-type":"item","numeric-id":4085773,"id":"Q4085773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192092$13A95022-2C09-4FEE-B449-FBE7D64F2EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5710c2aba8ef4c542de483ebfca6cf7849ca633","datavalue":{"value":{"entity-type":"item","numeric-id":3222242,"id":"Q3222242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192092$A66B6861-996E-4984-834F-C47C987B1753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192092$F1BC82A9-AA1A-4CC2-97DC-7EDB1FDF1F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"116855ea536823a1e17c43ae8eba2051a5a43c7c","datavalue":{"value":{"entity-type":"item","numeric-id":1090332,"id":"Q1090332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192092$7E742CC3-1CF6-4DF9-B468-5653DAE5A456","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2da8979d84fdb651737cb3d54422e9b37678516f","datavalue":{"value":"https://doi.org/10.1007/bf02845075","type":"string"},"datatype":"url"},"type":"statement","id":"Q1192092$6D2959D6-9397-4CAC-B3FD-E72031B7C308","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b9ddf0714415237dd5e1c5c6d59b255c3a33a42a","datavalue":{"value":"W2024176691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192092$3F239B50-E036-4B97-A6D1-D985A69B44AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7db817327938cdc8b83382314e7e1d63339cacd9","datavalue":{"value":{"entity-type":"item","numeric-id":559543,"id":"Q559543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192092$865C7765-C721-4EB9-825E-C6F9B74A153D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86b7b4a963aa93197f13cabda865af7c4c5cf7e3","datavalue":{"value":{"entity-type":"item","numeric-id":2784592,"id":"Q2784592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a41586910f9ce598eee323a6692bab609874d074","datavalue":{"value":{"amount":"+0.781578779220581","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":"Q1192092$F09F3B59-1972-4E90-8D1F-4160524C7BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d415f37e796cd5707244b8cf96aaa310c295d1b2","datavalue":{"value":{"entity-type":"item","numeric-id":1970922,"id":"Q1970922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17f20b97d3f9ae29a746c8d21d818749f6fce593","datavalue":{"value":{"amount":"+0.7687926292419434","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":"Q1192092$6E36FEC1-A1CD-4259-B376-F2B808940DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59bb24622b8f1faaae17bd5e9df986637fd38f05","datavalue":{"value":{"entity-type":"item","numeric-id":454389,"id":"Q454389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17f20b97d3f9ae29a746c8d21d818749f6fce593","datavalue":{"value":{"amount":"+0.7687926292419434","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":"Q1192092$EFDA9EB4-64BD-4D8D-9672-8EF0470A59B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d54ef8f246cbdff7d6696c37c9b8a82852068ae3","datavalue":{"value":{"entity-type":"item","numeric-id":4016255,"id":"Q4016255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c5be2297f3c4bf81d591cd7c64ac6b2d8af7e87","datavalue":{"value":{"amount":"+0.7646046280860901","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":"Q1192092$4B3828DE-5571-4932-80CE-B726F7C93AEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1192092","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1192092"}}}}}