{"entities":{"Q2300739":{"pageid":2311482,"ns":120,"title":"Item:Q2300739","lastrevid":78543095,"modified":"2026-05-06T11:50:41Z","type":"item","id":"Q2300739","labels":{"en":{"language":"en","value":"Lattices of boundedly axiomatizable \\(\\forall\\)-subclasses of \\(\\forall\\)-classes of universal algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7175622"}},"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":"Q2300739$EB1B81DC-38C4-4CA8-9C0D-17F8DFA1D5EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6001f02e0d84daad5f86570ec495c037e6c2de87","datavalue":{"value":{"text":"Lattices of boundedly axiomatizable \\(\\forall\\)-subclasses of \\(\\forall\\)-classes of universal algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2300739$13D33E4F-23F8-4C2D-8F1F-D9E7E8D461AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb70d45950991d37854891e24119e0c56cb8718a","datavalue":{"value":"1479.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300739$65E72673-8341-4E24-8454-4E3418CC4A80","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300739$20E9F7AF-A750-4BAB-AA0C-2A78CD5D5F23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e44fcd86c7eea29fae45da530ceb696940234738","datavalue":{"value":{"time":"+2020-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2300739$B90111FB-B91E-4EE8-8E17-3FB6E4849430","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5a067807f6bf865947ec1b01a6aa8941dc152af6","datavalue":{"value":"Let \\(\\mathcal{A}\\) be a \\(\\forall\\)-class of algebras, i.e. a class axiomatizable by \\(\\forall\\)-formulas (of a fixed signature). The \\(\\forall\\)-class \\(\\mathcal{N}\\subset \\mathcal{A}\\) is \\textit{\\(n\\)-axiomatizable} if for each \\(A\\in\\mathcal{A}\\) the following holds: \\(A\\in\\mathcal{N}\\) if and only if any \\(n\\)-generated subalgebra of \\(A\\) belongs to \\(\\mathcal{N}\\). And \\(\\mathcal{N}\\) is \\textit{boundedly axiomatizable} if it is \\(n\\)-axiomatizable for some natural number \\(n\\). The author investigates some properties of lattices of boundedly axiomatizable \\(\\forall\\)-subclasses of \\(\\forall\\)-classes of algebras. The results are then applied to a discriminator variety.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300739$D5BFAF78-8E4B-455D-A442-E9EB4032AFFF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"53aa016e3caf5193412dcf3d4c1f35c414a49c4e","datavalue":{"value":{"entity-type":"item","numeric-id":424122,"id":"Q424122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300739$547E545B-2DE9-48DB-B393-FE65BE9ACA9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300739$1C086E0A-4C20-4C66-91F0-AE1FAE9BD424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300739$349876FD-D8D9-49C1-A9BF-863D2ACE6B55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92a8c814119f8a1fece3575c610130e97b89d090","datavalue":{"value":"7175622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300739$46CBF0FD-3B67-4AAE-A3AA-63EFB3A26F6E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3fe167b1000c5bbe44546f398bc43762385b3c6","datavalue":{"value":"\\(\\forall\\)-class of universal algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300739$30FBC9C7-6A82-48AC-90EC-D70A644812DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffd9cc97b380b4679cb5af63cc322d9b8f03f368","datavalue":{"value":"variety of universal algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300739$A74E9188-4B3C-47D3-9CCF-751498A265DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a56d7e11dc389cf99428cf8be45a86d80126d6a8","datavalue":{"value":"lattice of subclasses of class of algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300739$08715C62-83E6-465C-A2ED-3AD44803CBA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d796d7b834b227cccd07ad9c3fffa1f94bb75c02","datavalue":{"value":"discriminator varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300739$B6D6CC61-D9E7-47C0-8E9B-8D05D93012D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e37b70c1c156ca795db15295b6a9eec87e7b4908","datavalue":{"value":{"entity-type":"item","numeric-id":307878,"id":"Q307878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300739$2A7C4950-540B-4052-A0A8-54D7AC5E86D4","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":"Q2300739$A4E7AE26-6762-4BCC-8B61-F8931725DD27","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6bd863d1642c609c4b5c15dfbba61c8fea6de28a","datavalue":{"value":"https://doi.org/10.1007/s10469-019-09542-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2300739$F8C0582C-9B0E-4559-BF33-EEE774DED722","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92a0c2334a6bc5e66783f5b240c91aabd26820f5","datavalue":{"value":"W2982921682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300739$E311DEA7-C90E-40AF-A31B-5AB83A190CA6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e6855535267893a48772d0a95d5a4c0a295536","datavalue":{"value":{"entity-type":"item","numeric-id":1745089,"id":"Q1745089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300739$749C3234-52CC-4705-82EA-F487D3DCC3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da04a32e468ce4867ec594afa1765b999c151299","datavalue":{"value":{"entity-type":"item","numeric-id":4152589,"id":"Q4152589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300739$74B8DD6F-65D5-4FF2-ABBA-C68D4AB3B022","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34282ba40c59c7c3073df16dba1206c327229d18","datavalue":{"value":"10.1007/S10469-019-09542-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300739$6345CA39-D87F-4A4D-AC83-C1734ED0F696","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51a931bff4624caf7034976c471439ede5ddf4c4","datavalue":{"value":{"entity-type":"item","numeric-id":5420755,"id":"Q5420755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0794024cc3385be74b6d8bcd2a66b079d0df879c","datavalue":{"value":{"amount":"+0.9063913","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":"Q2300739$4641028F-7B21-465C-BB73-0E403A790BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d93197abd1f82c655c2e6d5a2863c6704c1e197d","datavalue":{"value":{"entity-type":"item","numeric-id":3758897,"id":"Q3758897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80e5aa59eea63ba890cfb1ebee6484ee5a27c3a0","datavalue":{"value":{"amount":"+0.90049237","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":"Q2300739$32371592-69E6-4308-84FD-38A0AEA4F546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0dcc1840ecc0504238f4b9e97ae5ed606099f7f","datavalue":{"value":{"entity-type":"item","numeric-id":3590994,"id":"Q3590994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c55b2509eff19d2996d38f1ed7e46ac59d426d8","datavalue":{"value":{"amount":"+0.8973904","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":"Q2300739$DAD56A8C-7EF2-4173-BEBD-49EC852CD888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1538706414d73a6855b64baea6a6e1f99f1bf383","datavalue":{"value":{"entity-type":"item","numeric-id":2974302,"id":"Q2974302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1131ee29261ebe8dd0e0d3229c67ce240431605","datavalue":{"value":{"amount":"+0.8972577","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":"Q2300739$9F67FF8E-402D-4C78-9C07-DD15FF8F4C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c06e7bda60d57ec0bf28bb27cc7503b317abf9dd","datavalue":{"value":{"entity-type":"item","numeric-id":3495409,"id":"Q3495409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff45660b774e1ad122ebf092dcaa278b33c332d4","datavalue":{"value":{"amount":"+0.88921297","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":"Q2300739$65C31229-629F-43E5-8DEF-E7F961C04ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa43fe788aaab4547a699e0dc00a2240f74b39ae","datavalue":{"value":{"entity-type":"item","numeric-id":3546069,"id":"Q3546069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c43b30bac7446eea5dc0d418a9efbdb54a02caa","datavalue":{"value":{"amount":"+0.88195497","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":"Q2300739$5C56E73B-C7EA-44D2-BB12-947026727DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac9af7831fb82c8616ead3f4924785fda92aa52a","datavalue":{"value":{"entity-type":"item","numeric-id":2527235,"id":"Q2527235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec43694c634483a264bd82f2fa7487c340c2e0ab","datavalue":{"value":{"amount":"+0.8787911","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":"Q2300739$22E023A0-61AD-4581-98CC-262642E201B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87bdb636d0cf29e9f80754f2dd26fd88618bf5c5","datavalue":{"value":{"entity-type":"item","numeric-id":2280351,"id":"Q2280351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdf2fa9fd186b607a90b911ee8f064cc95bc591d","datavalue":{"value":{"amount":"+0.8708955","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":"Q2300739$B505270C-5420-40FE-AE45-541E23FE0ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c487a7870dcd877ad72ad1c91a38f209ade8035f","datavalue":{"value":{"entity-type":"item","numeric-id":1771953,"id":"Q1771953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a7184528aa0622ec1c4a462b4ccd6531ff4ea3c","datavalue":{"value":{"amount":"+0.87006825","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":"Q2300739$C2BDA436-CF7E-48B6-AFBC-CBBB02944849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"090899a226981d08b6edac7e07feeaaa87e59dac","datavalue":{"value":{"entity-type":"item","numeric-id":2723445,"id":"Q2723445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30b157ac1e7dc6edb091048c280a46e5800c6069","datavalue":{"value":{"amount":"+0.8697587","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":"Q2300739$1325D0C8-5A07-4598-A6EA-05496A65FEF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lattices of boundedly axiomatizable \\(\\forall\\)-subclasses of \\(\\forall\\)-classes of universal algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lattices_of_boundedly_axiomatizable_%5C(%5Cforall%5C)-subclasses_of_%5C(%5Cforall%5C)-classes_of_universal_algebras"}}}}}