{"entities":{"Q1913876":{"pageid":1924618,"ns":120,"title":"Item:Q1913876","lastrevid":69275463,"modified":"2026-04-13T05:55:20Z","type":"item","id":"Q1913876","labels":{"en":{"language":"en","value":"Finitely generated relatively universal varieties of Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 883423"}},"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":"Q1913876$B79ACE67-961A-4BA3-970E-CF9425D635BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59e23a7036ed5adb8af3175146914d986ddfa68d","datavalue":{"value":{"text":"Finitely generated relatively universal varieties of Heyting algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1913876$F47A1168-A9AE-4F35-8B1D-4345B3D4E2B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4cf4996f935434acdf90a93f603d3b4d6d9fb7ac","datavalue":{"value":"0854.06012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913876$AC715EBF-22B8-4B66-A403-B5488AC04168","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6e72ff6904f394e1c7d0228c021989d6b5001b8","datavalue":{"value":"10.1007/BF01195502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913876$4EB47204-A2AD-4178-B571-DBE968188349","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913876$A60CF491-FFE2-413A-8696-2DC337A91365","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"846c3948b65d14340e25df78828d728925bfe86e","datavalue":{"value":{"time":"+1997-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1913876$4B01C674-D140-4705-9683-F8A37BC3E369","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"588f522c5d75389fd14cfa48584071187e788181","datavalue":{"value":"This clear and readable paper contains numerous results, which are imposible to render adequately here. Therefore we limit ourselves by giving the author's abstract:   Given distinct varieties \\(V\\) and \\(W\\) of the same type, we say that \\(V\\) is relatively \\(W\\)-universal if there exists an embedding \\(F : K \\to V\\) from a universal category \\(K\\) such that for every pair \\(A,B\\) of \\(K\\)-objects, a homomorphism \\(f : FA \\to FB\\) has the form \\(f = Fg\\) for some \\(K\\)-morphism \\(g : A \\to B\\) iff \\(\\text{Im} (f) \\notin W\\). Finitely generated relatively \\(W\\)-universal varieties of Heyting algebras are described for the variety \\(W\\) of Boolean algebras, the variety generated by a three-element chain, and for the variety generated by the four-element Boolean algebra with an added greatest element.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913876$388882A2-F66B-424E-B853-CBF4D362667C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913876$A92EAEA0-9EB1-41DB-A100-C0DEC04FD820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913876$FEEC505D-B137-4E50-BA22-E77CABE9BEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9b839d3830c02938325ef825fe74834c3b4a499","datavalue":{"value":"18B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913876$BC2B4480-77B5-45C0-B680-2147F39E3BE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14b59c97d0da0fae9e6ccf641360cecbef36dbf6","datavalue":{"value":"883423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913876$34CD7611-79CE-41CC-ACD4-09B798174CB0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a084dacd86ddfbe5cc2648a3350f1daeccea7c86","datavalue":{"value":"almost universal variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913876$C721BCA7-1421-4913-8896-8CF1116DCCEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08503ff68fda0185e5c7ee17350804ec8b84a271","datavalue":{"value":"Priestley duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913876$89EE35C7-3007-48F2-9779-5DAD39C4C210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"907074bd4459984e62debcd0f6fe69693e4fb1fa","datavalue":{"value":"varieties of Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913876$E16DB3C6-700A-4E91-9B9D-3EECEC3A800F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"764f84a646c763434432ad369d0bc1a8abdf96a9","datavalue":{"value":{"entity-type":"item","numeric-id":409252,"id":"Q409252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913876$91A1C89D-7923-45F3-9A10-7B38437C9A4E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"55cce125d2b50c23768a94700ce957231de3a61f","datavalue":{"value":{"entity-type":"item","numeric-id":454369,"id":"Q454369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913876$A89B3004-E75B-4522-B7B4-FE56FF4332DA","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":"Q1913876$EA26614A-3FB3-4E80-9ACE-630DF4A7FE8B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"22d7be86e289d6bcdf95dfc013f77d60dba7bcc0","datavalue":{"value":{"entity-type":"item","numeric-id":3674729,"id":"Q3674729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913876$3FD5EF1E-29C4-4287-AFDA-77DB492E2776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7568264e61d9ac01cd3c024658f9cab790503a9","datavalue":{"value":{"entity-type":"item","numeric-id":1061758,"id":"Q1061758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913876$4AB8D410-972B-47C4-97E6-620AD67EC9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c0e7068c2061b0a33b38e8f5638c276acde891","datavalue":{"value":{"entity-type":"item","numeric-id":3484890,"id":"Q3484890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913876$31C9FCFA-8EF1-4805-A647-3B8D8228303A","rank":"normal"},{"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":"Q1913876$7CDFF52A-FB50-47EE-BEA3-35C6056DD1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78dec5125ffb6294e304f1d9e861a5f55c147da7","datavalue":{"value":{"entity-type":"item","numeric-id":5525214,"id":"Q5525214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913876$564A1C9C-907D-414D-872F-BE304DAE2DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6443a85f6009f51ec4f66fe5ebac0cf5a577dc6c","datavalue":{"value":{"entity-type":"item","numeric-id":4311226,"id":"Q4311226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913876$C6A212BA-4D8E-4DC3-900A-5B29075762E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"730424842a715ba6d89ea42539499738238b259f","datavalue":{"value":{"entity-type":"item","numeric-id":3953816,"id":"Q3953816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913876$72605FE8-DF1B-4401-B919-285E14FA0AD4","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":"Q1913876$964FC0CD-6EDC-4F98-B00E-3CA4F43C17C2","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":"Q1913876$7086EA34-2BD0-4CB7-B06C-7CBCDAD0677F","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":"Q1913876$88B60CAF-5CBC-41AB-913B-9019F94FF6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dacc118959ac4406901793fdc048b61fa833ad70","datavalue":{"value":{"entity-type":"item","numeric-id":3208855,"id":"Q3208855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913876$7E52880C-9B39-4040-95E9-71421F7E246D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913876$A9ABCECF-3934-4BFE-B57C-A5AAD720B58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5faae3f044ed9f34012e361c669009a0f0bac5c0","datavalue":{"value":{"entity-type":"item","numeric-id":4156540,"id":"Q4156540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913876$4DD35380-0626-494C-AB45-4A2FABA27924","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"376ed8972b062bce6d4c347b4216477e58f4a492","datavalue":{"value":"https://doi.org/10.1007/bf01195502","type":"string"},"datatype":"url"},"type":"statement","id":"Q1913876$E5FDBACE-CB72-40CD-AA3E-54609AB732E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6fb778c85f9db046e57ff861cc49e4398c9868a4","datavalue":{"value":"W1977123486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913876$38EE056F-7379-4487-A5A1-2DA9ADB49B6B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47aa16ee3d73d44b53990b7a1ae3777081322bf","datavalue":{"value":{"entity-type":"item","numeric-id":2842082,"id":"Q2842082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0be8b3598cad0aedda9456bd0baaa7c1facac838","datavalue":{"value":{"amount":"+0.95267034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1913876$17F9BE18-1BEA-4CCA-893D-9AA6A5B58D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6c53ca25dc47075ca76493ed402671e17a88bb6","datavalue":{"value":{"entity-type":"item","numeric-id":4724609,"id":"Q4724609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55611b522f67c7c85e0ee7eee02a0e78c45c71f7","datavalue":{"value":{"amount":"+0.9296299","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1913876$80728E4D-3554-4C21-BED8-BB7F56A0A35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f511f71a9ddc48c67a4c2e8218afcfaf1b61f056","datavalue":{"value":{"entity-type":"item","numeric-id":818713,"id":"Q818713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4824baf7a2693558da63e344e633ec916beb9330","datavalue":{"value":{"amount":"+0.91539836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1913876$D8AA0A21-4CC0-4A88-BC39-1D051D18A0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0374e2b55cf361c843cd5116f1483f24f60de119","datavalue":{"value":{"entity-type":"item","numeric-id":3484890,"id":"Q3484890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bb3bb7755e7a5edd5a8268b5d8eda56789a0a40","datavalue":{"value":{"amount":"+0.91147697","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1913876$717C974C-B763-4A51-BC08-11E6D80610EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf762050e81f7ee8060e0aadc379afa3e7d8c45a","datavalue":{"value":{"entity-type":"item","numeric-id":3086536,"id":"Q3086536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9835f7e0fda240aa66ac986c35af987e4f8f48e","datavalue":{"value":{"amount":"+0.9062567","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1913876$A8A1DA6B-2E02-4D65-82CE-0B486E940F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8a2a7e05bc800728e154e74cb042dbd97b15625","datavalue":{"value":{"entity-type":"item","numeric-id":598304,"id":"Q598304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9d597023c22be311c9a077aa0ded687ce9edc8a","datavalue":{"value":{"amount":"+0.9020651","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1913876$3FAE5243-84B8-461B-8D60-A6AEB37ECC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31c6b5c1c3d11d3c1e0171bfc1f65269189cb93b","datavalue":{"value":{"entity-type":"item","numeric-id":690102,"id":"Q690102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0661ccb41d6ded7824928e203e1ea6bc9092dcc5","datavalue":{"value":{"amount":"+0.90120226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1913876$5698DE52-CA8F-4361-88F9-C707A03C75DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f22b67619d5d48231e4b874f00da1fe009b131","datavalue":{"value":{"entity-type":"item","numeric-id":802586,"id":"Q802586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6c9ba778f0775dc560d1e5e3a30fa579881f83f","datavalue":{"value":{"amount":"+0.89938927","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1913876$DCBE92C8-E6AB-4FDA-A2D4-75AB6D4ED30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34c79a6b9ac4e57402395644d7f55e0c34ffa786","datavalue":{"value":{"entity-type":"item","numeric-id":4300699,"id":"Q4300699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8da992a7bbe747323b69b308fc88eb90f6cb558","datavalue":{"value":{"amount":"+0.894029","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1913876$C5670A00-85E7-4DE4-96BA-435627E3839F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8973eb115834f72353659070adaadc92fdf3b4fb","datavalue":{"value":{"entity-type":"item","numeric-id":4899176,"id":"Q4899176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47ac906f56a6beb0ddbb5329b2635d78430fe7d1","datavalue":{"value":{"amount":"+0.89161694","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1913876$EF6D1FB6-11E6-43C9-AB41-9ADBF38E18B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finitely generated relatively universal varieties of Heyting algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finitely_generated_relatively_universal_varieties_of_Heyting_algebras"}}}}}