{"entities":{"Q1385865":{"pageid":1396605,"ns":120,"title":"Item:Q1385865","lastrevid":67508175,"modified":"2026-04-12T18:28:51Z","type":"item","id":"Q1385865","labels":{"en":{"language":"en","value":"On the embeddability of certain generalizations of pseudo-Boolean algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1148059"}},"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":"Q1385865$11A766C4-BB8F-4465-B08B-050C8AAC7207","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e0481aed5f83e08016e3a35fac1c69eda4de42e","datavalue":{"value":{"text":"On the embeddability of certain generalizations of pseudo-Boolean algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1385865$EEA06754-6AEE-4F03-BEEA-9B500F1CFE9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5f7b2033a159f5f1da7df95d12f0f2da454b82f","datavalue":{"value":"0894.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1385865$8EE454B8-46E8-4957-AE39-C8C14928244F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f5df8375cc2bf497b2ffa047003ccf9d911b940","datavalue":{"value":{"entity-type":"item","numeric-id":542291,"id":"Q542291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1385865$8D623E8A-9020-47E6-86D7-012883741A0D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bbc31fcaa3dcf49d82403ba391044fdfb104e43","datavalue":{"value":{"entity-type":"item","numeric-id":161529,"id":"Q161529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1385865$F169962F-4719-4510-AC9F-2532AAB7DCD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"21d663cf2136732024b7cfb9c21866e27df002a9","datavalue":{"value":{"time":"+1998-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1385865$037CA5FD-11A5-4415-A375-999F3DB156F7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"22a8c123d4758dfe3448e63ecd5fc19cf7833ce8","datavalue":{"value":"This paper is devoted to the study of the isomorphic embeddability of \\(\\nu\\)-algebras into other \\(\\nu\\)-algebras, where \\(\\nu\\) is a set of propositional connectives that contains \\(\\supset\\) (implication). If \\(\\nu\\) contains all four propositional connectives, the \\(\\nu\\)-algebras are exactly the pseudo-Boolean algebras.   In this work, we obtain, for finite \\(\\nu\\)-algebras, criteria of isomorphic embeddability that are based on the representation of finite \\(\\nu\\cup\\{\\&\\}\\)-algebras via \\(\\supset\\)-algebras of a special form. These criteria reduce solving the problem of embeddability of one finite \\(\\nu\\)-algebra into another one to the problem of immersion of the representing \\(\\supset\\)-algebras into other ones. Note that the concept of immersion of \\(\\supset\\)-algebras is introduced in this work for the first time.   The sequence of finite G\u00f6del pseudo-Boolean algebras, introduced by S. Ja\u015bkowski, has the following algebraic property: each finite G\u00f6del pseudo-Boolean algebra is isomorphically embeddable into an algebra of this sequence. In this work, we get an analog of this result, namely, we construct a class of finite pseudo-Boolean algebras such that each finite \\(\\nu\\)-algebra is isomorphically embeddable into an appropriate algebra of this class.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1385865$BF755C1B-BD3C-4E1B-8A94-A828C6AC5ADE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1385865$79BB2216-3B32-4DFC-A7BD-9199386AD10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73bd1fc3ed7c23ebdff36d52a0d63b14633148e5","datavalue":{"value":"06D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1385865$84737FF0-EAC1-4FDB-B9C7-2E5FF81C3ADD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5d71561208c4e715d924006186937a87f8505b7","datavalue":{"value":"1148059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1385865$62FEFF21-8B2C-4393-BF0F-8772D50CBABA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30b7687e22136c0cb5dd7f686d633aab9177d346","datavalue":{"value":"\\(\\nu\\)-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1385865$638E907C-D0F3-4D71-A3FE-DAB5C7AADBD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"877baa1d069b423d4f0d97b167815bb581d08a42","datavalue":{"value":"pseudo-Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1385865$5DD44DAA-692D-4F6B-AEF7-755C846BFA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50e433425f0453237c0989eb75603c586bb50ff8","datavalue":{"value":"isomorphic embeddability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1385865$55B01E82-710D-4A2E-BBBA-40AEB72051D6","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":"Q1385865$504B77B7-73BA-4363-948C-7A7DB1B413B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3edeac54ca9eb03f7ec33e90d9175ddfa158278c","datavalue":{"value":{"entity-type":"item","numeric-id":5445412,"id":"Q5445412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ebf647faeb0f494d12a9fa088157c27e6699ffc","datavalue":{"value":{"amount":"+0.9426725506782532","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":"Q1385865$2F6B9C53-F194-48E9-A16B-AD793F4670DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3607e4931946fa61a1eb19edce7d1b3bd7c427a","datavalue":{"value":{"entity-type":"item","numeric-id":5395257,"id":"Q5395257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"525b632b0fa1e59870ff3c8197a28395b5d0b865","datavalue":{"value":{"amount":"+0.7942235469818115","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":"Q1385865$7F12F03A-DEDC-4932-8186-CDBEB17843FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"061e3eb2b365747d710a27a474e7083395bbb594","datavalue":{"value":{"entity-type":"item","numeric-id":3362583,"id":"Q3362583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6037cf6e2c40dc7b6452e3a27226ebab31bcd02","datavalue":{"value":{"amount":"+0.7809344530105591","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":"Q1385865$78EAE232-C833-4A79-B4F7-8C9F2A2961EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70575c8755340dfbd832a6e36c5bbba113628571","datavalue":{"value":{"entity-type":"item","numeric-id":4793792,"id":"Q4793792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b2825cdad8a28f08cdc9e33c8d4dea64f0f38a3","datavalue":{"value":{"amount":"+0.7652755975723267","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":"Q1385865$334A5456-8035-4A3A-BFAF-02E8BF4169B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49e53d97678f1a2515b694d888ffe41a03d1f638","datavalue":{"value":{"entity-type":"item","numeric-id":3491622,"id":"Q3491622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bc69d4cc42bbfc522879148153011001266d0af","datavalue":{"value":{"amount":"+0.7374733686447144","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":"Q1385865$C4938548-8E5D-4535-A7C0-7EF60086469C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the embeddability of certain generalizations of pseudo-Boolean algebras","badges":[]}}}}}