{"entities":{"Q1972417":{"pageid":1983159,"ns":120,"title":"Item:Q1972417","lastrevid":82128311,"modified":"2026-05-06T20:10:09Z","type":"item","id":"Q1972417","labels":{"en":{"language":"en","value":"One chain generated varieties of MV-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1429463"}},"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":"Q1972417$293FBC86-FF0A-47D4-ADEA-0E83DB78FE86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa1b822817b9da1d42813a5abfc642ab2ecf1e94","datavalue":{"value":{"text":"One chain generated varieties of MV-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1972417$CC412694-F125-448A-B162-F3FC588D6785","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88bfdb8611e5dbfd494591c76db00d5598e7ae05","datavalue":{"value":"0949.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972417$3B23583A-5C42-4B53-89A0-8B9D3C0E3895","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972417$B05DEF30-63DD-4F7C-A669-407493860410","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f824e8df8660a01a22c6ea772f84f035aa08b14a","datavalue":{"value":{"time":"+2000-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1972417$3FF94EE0-ED40-46BE-B3AB-C1F64A26CF8F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e24d7cbaf72d3bf877c2aa9c3a6daca845f188be","datavalue":{"value":"In his paper ``Free products in the category of abelian \\(l\\)-groups with strong unit'' [J. Algebra 113, No. 1, 89-109 (1988; Zbl 0658.06010)], the present reviewer established the amalgamation property for the variety of Chang's MV-algebras. The latter are the Lindenbaum algebras of the infinite-valued \u0141ukasiewicz logic and are deeply related to abelian lattice-orderd groups and also to AF \\(C^*\\)-algebras. For a comprehensive account see the monograph of \\textit{R. Cignoli, I. M. L. D'Ottaviano} and \\textit{D. Mundici} [Algebraic foundations of many-valued reasoning (Trends in Logic -- Studia Logica Library 7, Kluwer, Dordrecht) (2000; Zbl 0937.06009)]. Komori gave a complete classification of the subvarieties of MV-algebras. In the present paper, the authors prove that a subvariety has the amalgamation property iff it is generated by precisely one MV-chain. They also introduce a notion of ``abstract conditional space'', proving its equivalence with the notion of Post algebra of order 2.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972417$ED904075-B374-4772-B2ED-C6D796CAAB20","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e860208dea0a8f07f1622b3764a2f40159457c4c","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972417$7712C701-5ED5-4A16-985B-05AF818BEB51","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972417$A393F44B-747C-49C7-995D-1FF4DB7BEC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972417$A1150E99-BF9F-4D90-ABDB-7FC1C02A42C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"84c09a7c8104556c734594fe107478499704cfd1","datavalue":{"value":"06F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972417$8AD88836-1AAE-4CF7-BCB2-DAA3DC709D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33055bf2c57773bb56b9bc1e7d8347ad65fe4047","datavalue":{"value":"06D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972417$E7233910-8116-44F3-9559-61101D47FA44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"735868ba085ed0d9d8193d869397297131f9e1a5","datavalue":{"value":"1429463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972417$0857A2A5-860F-4DE0-995A-ACC41F8DD279","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3749d587b284fb2e5708bf249f54a60a313db614","datavalue":{"value":"conditional","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972417$175310A8-BA01-43D3-886A-7E8BBB13428F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc4cc218c1232c31c0d7a2e62bdae290b04beec7","datavalue":{"value":"abstract conditional space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972417$BBA0A63E-D8FE-4A35-BAB5-D17A06F32D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"888dc88b9cfe659a584f5f98d91d3f140e2bff77","datavalue":{"value":"amalgamation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972417$D8660633-C9C9-46F4-A60C-1F944DDDB9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77e22550cc18e7160ad098e549c7dc18559bb98a","datavalue":{"value":"MV-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972417$C194EDE4-5AFB-43A2-8787-E87B6BAB342F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e925beda0883a62d4f0acd91972b8b6707c85257","datavalue":{"value":"subvariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972417$A95303B0-F1BF-4DBC-A85E-37852522BE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9ed8fc378bb10f805f8bd3d2da05b48b6aa4e95","datavalue":{"value":"MV-chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972417$43D43FE5-BB83-44E3-8E4B-B3B998EADEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2515de3f4a33f764f3ee7095a3f8b6b45c3679e7","datavalue":{"value":"Post algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972417$A3A84634-670D-47ED-B318-3AF17CF33DB4","rank":"normal"}],"P16":[{"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":"Q1972417$E85D360F-C2DE-4517-A066-3FB00D97E80C","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":"Q1972417$CF49373D-E57E-4562-9E28-70699382853A","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":"Q1972417$6D40F9DB-824B-49C4-A127-32520690F2A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce1957640652dac889ff0c48e3182eeda1e67c05","datavalue":{"value":"https://doi.org/10.1006/jabr.1999.8136","type":"string"},"datatype":"url"},"type":"statement","id":"Q1972417$97A59108-5432-4936-A7B7-C53572B0A1BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"084b347b91b30c0b5504e1b1f65e16d59c41b0da","datavalue":{"value":"W2093069338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972417$C355F497-855A-4AD8-B953-CE672021031C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc57cf2ba5617fc074cae34fef64910590e17f4","datavalue":{"value":{"entity-type":"item","numeric-id":5331549,"id":"Q5331549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972417$F374D393-369E-46F0-9523-422E546E8367","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":"Q1972417$4F8F98C1-B9DB-43D5-8E2F-E225FFE90A97","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":"Q1972417$9B6A02A8-020A-417D-AE35-C0382BCFA5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f72c7ee6f573db58ed99691dbe0d409d6680839","datavalue":{"value":{"entity-type":"item","numeric-id":1192092,"id":"Q1192092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972417$E20659EE-0552-45F6-9EB2-829A967F3E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4207af79e7a8f5b6e14c814f5c71c7c2931a90","datavalue":{"value":{"entity-type":"item","numeric-id":1337605,"id":"Q1337605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972417$ADA1C3F5-0553-4F83-87D1-9287D0751D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e54f44ab6275eb195da236fadac0353366505a33","datavalue":{"value":{"entity-type":"item","numeric-id":1125919,"id":"Q1125919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972417$5D147D93-A22C-47C3-B2CA-0A0FAC81D44C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c573c430e48cd728318c51ec2246b15adb972ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1965268,"id":"Q1965268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972417$5F3728E7-7DDB-4FBD-9E41-F40271152A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc2025b602686e076b8d299467a3b8bc75c947d","datavalue":{"value":{"entity-type":"item","numeric-id":3939781,"id":"Q3939781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972417$B2D8815E-D1C6-4F12-8C73-7A2E04DC88FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972417$D9B541DD-51A1-4117-8EA6-211079E9E58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4aae5b35a986d6160145a12879818eed4ac98e3","datavalue":{"value":{"entity-type":"item","numeric-id":1079157,"id":"Q1079157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972417$4EA1AA7E-0BD9-48BF-8D37-6A61CD0A9BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"135b468882cf6964696e056f695e4b34231607fc","datavalue":{"value":{"entity-type":"item","numeric-id":1111584,"id":"Q1111584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972417$757FBE79-5497-40EA-8393-5FFA170E7CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5137c62e085c08f28c92c267ac6b1490f6fe8c0","datavalue":{"value":{"entity-type":"item","numeric-id":4315320,"id":"Q4315320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972417$D4DC03C4-75CE-4B51-A956-8BA963B8361A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9bdc68ee071097c8ab5ed54e73cf0e7192626a3","datavalue":{"value":"10.1006/JABR.1999.8136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972417$CFF10588-C7D3-46F4-B0EB-E16919514DDA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"342b27ef8a7b980798aa7120b0b2eb7fa78f8d35","datavalue":{"value":{"entity-type":"item","numeric-id":2737564,"id":"Q2737564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0551526fd57876b01f5fc28f6d0684b5193a3ed4","datavalue":{"value":{"amount":"+0.8405271172523499","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":"Q1972417$73738C33-D5F1-4417-9A38-97A097ED73AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c206f1477ddab5dcafe36641b28172456842b947","datavalue":{"value":{"entity-type":"item","numeric-id":4835612,"id":"Q4835612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9e0f9c60f780c689501c89864c153dfd5398308","datavalue":{"value":{"amount":"+0.8390967845916748","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":"Q1972417$438D9BDC-9876-4F6F-B80D-BE8E353A79F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03e21727701b2955ab99fdbf2be378194af966ba","datavalue":{"value":{"entity-type":"item","numeric-id":2577712,"id":"Q2577712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f20e3f9d0c388e4b1498bc31c8c43cbd157af47","datavalue":{"value":{"amount":"+0.8181058764457703","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":"Q1972417$2FBBEF2D-32D7-4371-B725-81EC35279774","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"One chain generated varieties of MV-algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/One_chain_generated_varieties_of_MV-algebras"}}}}}