{"entities":{"Q1803014":{"pageid":1813756,"ns":120,"title":"Item:Q1803014","lastrevid":72990699,"modified":"2026-04-14T09:14:13Z","type":"item","id":"Q1803014","labels":{"en":{"language":"en","value":"L\u00f6wenheim numbers for skeletons of varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 220166"}},"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":"Q1803014$F1857C86-05EA-49A4-A22B-AA65A7B38C4A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03d200a36b87995a8cf484739ca44f780766f471","datavalue":{"value":{"text":"L\u00f6wenheim numbers for skeletons of varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1803014$26543BD0-A8A1-405A-887F-D71320D2BF8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5589a66a7d9bbe33151d76099b18748c8469123","datavalue":{"value":"0789.08007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803014$C5A67DC1-3F5D-4127-A361-A0A2B391A6B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd1d864c5100118edd4e7f5409142fe2167819d8","datavalue":{"value":"10.1007/BF01978834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803014$0AA93E52-311C-4599-B9B1-73D2D1CF0CD7","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":"Q1803014$D7D45899-6D49-43F7-8170-3A98717A36C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1803014$28C5BA34-337C-4392-A372-0FC01653EF6E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9c7fe8e3ada104b255a902a99b727b12f28b0ac0","datavalue":{"value":"If \\(\\mathfrak K\\) is a class of algebras, denote by \\({\\mathfrak I}{\\mathfrak K}\\) the collection of all isomorphism types of \\(\\mathfrak K\\)-algebras. Introduce the quasiordering relations \\(\\ll\\) and \\(\\leq\\) by: \\(\\alpha\\ll \\beta\\) \\((\\alpha\\leq \\beta)\\) holds iff an algebra of type \\(\\alpha\\) is a homomorphic image of an algebra of type \\(\\beta\\) (an algebra of type \\(\\alpha\\) is isomorphically embedded in an algebra of type \\(\\beta\\)), and the semigroup operation \\(\\times\\) by: \\(\\alpha\\times \\beta= c\\) iff the Cartesian product of algebras of types \\(\\alpha\\) and \\(\\beta\\) is isomorphic to an algebra of type \\(c\\). The epimorphness (embeddability) skeleton of a variety \\(\\mathfrak M\\) of algebras is \\(\\langle{\\mathfrak I}{\\mathfrak M};\\ll\\rangle\\) \\((\\langle{\\mathfrak I}{\\mathfrak M};\\leq\\rangle)\\) and the Cartesian skeleton of \\(\\mathfrak M\\) is \\(\\langle{\\mathfrak I}{\\mathfrak M};\\times\\rangle\\). The complete skeleton of \\(\\mathfrak M\\) is \\(\\langle{\\mathfrak I}{\\mathfrak M};\\ll,<,\\times\\rangle\\). For each cardinal \\(\\kappa\\) denote by \\({\\mathfrak I}{\\mathfrak M}_{<\\kappa}\\) the collection \\({\\mathfrak I}\\{{\\mathfrak A}\\in {\\mathfrak M}: | {\\mathfrak A}|<\\kappa\\}\\). The bounded skeletons of a variety \\({\\mathfrak M}\\) are \\(\\langle{\\mathfrak I}{\\mathfrak M}_{<\\kappa};\\ll\\rangle\\), \\(\\langle{\\mathfrak I}{\\mathfrak M}_{<\\kappa};\\leq\\rangle\\), \\(\\langle{\\mathfrak I}{\\mathfrak M}_{<\\kappa};\\times\\rangle\\) and \\(\\langle{\\mathfrak I}{\\mathfrak M}_{<\\kappa};\\ll,\\leq,\\times\\rangle\\).   The L\u00f6wenheim number for the epimorphness skeleton of a variety \\(\\mathfrak M\\) is the smallest cardinal \\(\\kappa\\) such that for all \\({\\mathfrak M}\\)- algebras \\({\\mathfrak A}_ 1,{\\mathfrak A}_ 2,\\dots,{\\mathfrak A}_ n\\) \\((n\\in\\omega)\\) there exist a cardinal \\(\\kappa'\\leq \\kappa\\) and algebras \\({\\mathfrak A}_ 1',{\\mathfrak A}_ 2',\\dots,{\\mathfrak A}_ n'\\in{\\mathfrak M}_{<\\kappa'}\\) such that the elementary theories of \\(\\langle{\\mathfrak I}{\\mathfrak M};\\ll,{\\mathfrak A}_ 1,\\dots,{\\mathfrak A}_ n\\rangle\\) and \\(\\langle{\\mathfrak I}{\\mathfrak M}_{<\\kappa'};\\ll,{\\mathfrak A}_ 1',\\dots,{\\mathfrak A}_ n'\\rangle\\) coincide. The L\u00f6wenheim numbers of the other skeletons of \\(\\mathfrak M\\) are defined similarly.   The L\u00f6wenheim number of the complete second-order logic is the smallest cardinal \\(\\kappa\\) such that for an arbitrary algebraic system \\(\\mathfrak A\\) of finite signature there exists an algebraic system \\({\\mathfrak A}'\\) of a cardinality not exceeding \\(\\kappa\\) such that the theories of the systems \\(\\mathfrak A\\) and \\({\\mathfrak A}'\\) in the complete second-order logic coincide.   Theorem 1. The L\u00f6wenheim number for the complete skeleton of an arbitrary finitely axiomatizable variety of finite signature does not exceed the L\u00f6wenheim number of the complete second-order logic.   Theorem 2. Let \\(\\mathfrak M\\) be a non-trivial congruence-distributive finitely axiomatizable variety of finite signature such that all \\({\\mathfrak M}\\)-algebras contain subalgebras isomorphic to some fixed simple algebra. Then the L\u00f6wenheim number for the Cartesian skeleton of the variety \\(\\mathfrak M\\) coincides with the L\u00f6wenheim number of the complete second- order logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803014$53D10728-84A6-4BC8-9B17-4E5402E44AA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803014$B3BB8E09-79CE-4039-ADF4-DC21D23BE00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803014$43A26B35-279A-468F-9ED2-2496BA56A82C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41e52f74ff756e0ffbe9410ff32fc517bf6efe60","datavalue":{"value":"220166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803014$DE869B41-D4DA-4D02-852C-4EA8E80077FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"715d22fa268fe5d1f1c9ce0a3cc889530d9a9664","datavalue":{"value":"embeddability skeleton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803014$7E13E0AD-C185-461F-BBBB-694B9CCD4BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f763c5b4523391dd991046d128db6575928379ab","datavalue":{"value":"Cartesian skeleton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803014$90643703-5136-4AC8-8DF7-DECC4A937F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a78973afc65fb9bf8c8b06c1d0e61cde31c1439","datavalue":{"value":"complete skeleton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803014$4825BD3D-E81D-4534-ADBA-82C05918A60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29d467af2237dd7425cd7b098db513ecf17bf456","datavalue":{"value":"bounded skeletons","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803014$8DEFFCEC-7CE1-4F92-8F86-CE4D146C943F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce3c7901031f7cee9066cd6c38e2d6873ba05e1a","datavalue":{"value":"L\u00f6wenheim number","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803014$AF94381B-BA1A-442E-84B9-89A4D2F3ED3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eab90119247b6a3eec65bac1d11ee7fe75673283","datavalue":{"value":"epimorphness skeleton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803014$9108E935-5838-4959-9A0D-41113184EEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803014$9F185D22-5BDA-4915-B7FA-F4040C49C5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db0d3c9b8c40c60fa3ae73c053e1bd11362654cc","datavalue":{"value":"finitely axiomatizable variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803014$3F1160EE-FB68-46BE-A6BE-3C3A61B961C4","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":"Q1803014$111B4677-2BB7-4780-A1E6-43D13D8ADE36","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"457d21bd3fc5d244f0cfd58c7ffe310e4101ddb5","datavalue":{"value":{"entity-type":"item","numeric-id":1121931,"id":"Q1121931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803014$23366F01-F2CA-458B-90FB-77CC1E4280F4","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":"Q1803014$BF262637-5841-4AF2-86F5-D2EED75F1CF5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1675f5274eb6fa703ce369c5fa54cf12bf77b642","datavalue":{"value":{"entity-type":"item","numeric-id":3997775,"id":"Q3997775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803014$A2865975-7668-4BE8-9DF6-340A5D154ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ca869dd6ed394fa1dcac617218b8ae85bff7588","datavalue":{"value":{"entity-type":"item","numeric-id":3325789,"id":"Q3325789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803014$3966114B-367F-4454-B4F9-CE6C47AFB2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c308659df3835355938363bc39348957b5d8b8e4","datavalue":{"value":{"entity-type":"item","numeric-id":1190089,"id":"Q1190089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803014$C4424A34-A107-4677-8E1C-ED84E8B4DF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f085a1b58cd8bcb7d30fbd3ed547f79e107291","datavalue":{"value":{"entity-type":"item","numeric-id":5608006,"id":"Q5608006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803014$C8408F05-89F3-4BB3-AC45-6381CF6A32D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39b5a766913a29c7bfd62920dcc423a8157eec15","datavalue":{"value":"https://doi.org/10.1007/bf01978834","type":"string"},"datatype":"url"},"type":"statement","id":"Q1803014$B261722D-4111-4D7B-81E0-C0E4DB09ECB2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e1ee615680f60324200de7c3f250108b07ce36a","datavalue":{"value":"W2008898763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803014$C0E24343-9A25-47AB-A5E9-B3C7B877BC2D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00f168b381261ed1c169e73ef4f2b5290be66a46","datavalue":{"value":{"entity-type":"item","numeric-id":3362612,"id":"Q3362612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c02169e847c5fcff83b4a2a68f736ea3b9f3dd3a","datavalue":{"value":{"amount":"+0.8440261483192444","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":"Q1803014$9DD96B6A-574E-4C29-90CD-5F1E99284730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9af597a118a1baa58ee12cf8190c3ca5b4bb81ee","datavalue":{"value":{"entity-type":"item","numeric-id":1342131,"id":"Q1342131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c31ccf547af0299987d12940d0c72055da87f91e","datavalue":{"value":{"amount":"+0.8073550462722778","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":"Q1803014$0FEBCB6A-91F9-4699-8C38-1CB4FFFB7952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b120b23de0d6a80f0ebd110cf85f7e56e6475c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4839137,"id":"Q4839137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c31ccf547af0299987d12940d0c72055da87f91e","datavalue":{"value":{"amount":"+0.8073550462722778","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":"Q1803014$98F5801B-56AE-4A89-AB8F-4DF8403A1F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1c84bd10d774e8701352690df8430693f0883bf","datavalue":{"value":{"entity-type":"item","numeric-id":3138112,"id":"Q3138112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad6ff78246b241f7d803c8629991b9f7b0db34f1","datavalue":{"value":{"amount":"+0.7955443263053894","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":"Q1803014$0A97F163-F656-4934-86AB-C863E1877D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a283eb8209a9701ee89365c429ce8a3eafffb89","datavalue":{"value":{"entity-type":"item","numeric-id":2366360,"id":"Q2366360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad6ff78246b241f7d803c8629991b9f7b0db34f1","datavalue":{"value":{"amount":"+0.7955443263053894","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":"Q1803014$3CA7D124-5D08-4103-A61A-D7FDFE95A59D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"L\u00f6wenheim numbers for skeletons of varieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/L%C3%B6wenheim_numbers_for_skeletons_of_varieties"}}}}}