{"entities":{"Q1930239":{"pageid":1940981,"ns":120,"title":"Item:Q1930239","lastrevid":57598590,"modified":"2026-03-31T13:44:26Z","type":"item","id":"Q1930239","labels":{"en":{"language":"en","value":"Regular \\(S\\)-acts with primitive normal and antiadditive theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6124288"}},"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":"Q1930239$DD3A1D59-F3C0-4359-BBE8-148688DE195D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2ff5c1d7bbd9d78d76f82ce0f2f3ddaad72008a","datavalue":{"value":{"text":"Regular \\(S\\)-acts with primitive normal and antiadditive theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1930239$813B828E-7596-45C0-B027-D92E502FE4A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c968449681558fe84a858c3f9b7b5b72ec8d8caf","datavalue":{"value":"1277.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1930239$8F84D212-5CF4-4E27-9F1C-1832BFD0CD8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c02c4e22c62a25769bc01093399c55077628cb8","datavalue":{"value":{"entity-type":"item","numeric-id":1930238,"id":"Q1930238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1930239$B21C354C-1AB7-4A87-8C6F-96CCD024B5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f65a840d0478c6eb5f5dd350de7b5a56e28efbaf","datavalue":{"value":{"entity-type":"item","numeric-id":1750763,"id":"Q1750763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1930239$99E4592B-8AA0-4E12-B3E4-E099F5ACE291","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17c447c8e76a3a0e73a2c70a024d9ee2f8256c04","datavalue":{"value":{"entity-type":"item","numeric-id":195577,"id":"Q195577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1930239$11EB92B1-07B1-43CB-B6F9-2A9312FA4572","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f73384387181e740d0320d4931fc1cd66aeb99c","datavalue":{"value":{"time":"+2013-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1930239$12D8E65E-7C16-4EFA-80E6-09640A495ABE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66a9dfcf18da06f8b47b9e7c8e053c58b87c815f","datavalue":{"value":"https://arxiv.org/abs/1804.09353","type":"string"},"datatype":"url"},"type":"statement","id":"Q1930239$06A2E4BC-512A-4FCE-8812-B60B608B5BA2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a946223d16b523d49143e52c469d00c612470bcc","datavalue":{"value":"Let \\(T\\) be a complete first-order theory of a language \\(L\\). If \\(\\mathcal A\\) is a model of \\(T\\), and \\(\\Phi(\\bar{x},\\bar{y})\\) a formula of \\(L\\), then \\(\\Phi({\\mathcal A}, \\bar{a})\\) denotes the set \\(\\{ \\bar{b}\\mid{\\mathcal A}\\models \\Phi(\\bar{b},\\bar{a})\\}\\), where \\(\\bar{z}\\) denotes an \\(n\\)-tuple \\(\\langle z_0,\\ldots, z_{n-1}\\rangle\\). A formula of the form \\(\\exists \\bar{x}(\\Phi_0\\wedge\\ldots\\wedge\\Phi_k)\\), where \\(\\Phi_i\\) are atomic formulas, is called a primitive formula. If \\(\\Phi(\\bar{x},\\bar{y})\\) is a primitive formula, then \\(\\Phi({\\mathcal A}, \\bar{a})\\) is called a primitive set. The sets \\(\\Phi({\\mathcal A}, \\bar{a})\\) and \\(\\Phi({\\mathcal A}, \\bar{b})\\) are called primitive copies. A theory \\(T\\) is called primitive normal if, for all primitive copies \\(X\\) and \\(Y\\), either \\(X=Y\\) or \\(X\\cap Y=\\emptyset\\). An axiomatizable class of structures of a language \\(L\\) is called primitive normal if the theory of this class is primitive normal. A subclass of a class of primitive normal structures satisfying a certain additional condition on primitive sets is called antiadditive.  Let \\(S\\) be a monoid and let \\(R\\) be the union of all regular subacts of \\(_SS\\). The authors present a description of a primitive normal \\(S\\)-act. It is proved that if \\(S\\) is a commutative monoid and the class \\(\\Re\\) of regular \\(S\\)-acts is axiomatizable, then the following three conditions are equivalent: 1) the class \\(\\Re\\) is primitive normal, 2) the class \\(\\Re\\) is antiadditive, 3) the semigroup \\(R\\) is linearly ordered.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1930239$CC8A834C-A94E-4DFF-8756-28AF9940E8BC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"af2af9f0b39002fbe531b18972cee790e88d2541","datavalue":{"value":{"entity-type":"item","numeric-id":579434,"id":"Q579434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1930239$31F9943E-DBAB-479A-B939-6B4AFAA541B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1930239$2C7C37A3-09A5-4D58-B641-F02530891559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"328feb8b87ded0da841a7444b6ecdb385c89ee49","datavalue":{"value":"20M30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1930239$9FB7C93A-BFBA-421D-92CB-94D46C7DABFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1930239$5D3CD293-2943-4505-84CA-530136699C5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b3a2c56be6bba9cff3cdc5654e41fe8e0aa5e45","datavalue":{"value":"6124288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1930239$BFD09763-39A6-4F75-8FFD-B112BD83E47C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cce6d341d819e09322510961aab563a2fb1bcf8","datavalue":{"value":"commutative monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1930239$5F0DB376-19FD-47CD-AC91-B9068CE8A46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f20304a7c9ed20e212df4c4a1fe6b33598d968e3","datavalue":{"value":"regular \\(S\\)-act","type":"string"},"datatype":"string"},"type":"statement","id":"Q1930239$08174711-B5DC-49F3-8830-E2563E9413E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8439c3c323b21d48b0e534a0ebe58f84d18c385","datavalue":{"value":"linear order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1930239$B0BAA798-9DF3-4243-82DF-1C5026B462AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff5fc3f14c739b37c123295ae5c9d2227269b03d","datavalue":{"value":"primitive normality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1930239$6F634CC4-7D4D-434D-948B-40054D39A0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad1424a50ac850a1b5fe7be5cf1eeff5554541c1","datavalue":{"value":"axiomatizable class","type":"string"},"datatype":"string"},"type":"statement","id":"Q1930239$0855CE82-A3A3-434D-9A96-5D5D8ECDED85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8534732d2960a94fb6a1b23e578da94af966bc6d","datavalue":{"value":"antiadditive class","type":"string"},"datatype":"string"},"type":"statement","id":"Q1930239$B88F619D-B76C-4BE1-AAF1-A514572EABE7","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":"Q1930239$BD7D15B6-0155-46CA-82F7-D79FE925DE39","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"132083e2cba88bafd4cabc65628f4cf448dd5cb1","datavalue":{"value":"W1998068574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1930239$ABE3604C-7B57-4C72-9CCF-E98D58F1D317","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c4c140bdeb0296ef0f6d65791c9f2ba009b9ad6","datavalue":{"value":{"entity-type":"item","numeric-id":1971007,"id":"Q1971007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1930239$6D4570F3-CC6F-4763-8A4B-20F13FEF5060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4d8a4cccce5ba72148c224ac437abe65ad84a0d","datavalue":{"value":{"entity-type":"item","numeric-id":5315077,"id":"Q5315077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1930239$8EA7E0B9-CA74-477A-B2C0-E058DCC61E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c084dfdb22cba3c3e8a3c8bc25c94c168e1d073","datavalue":{"value":{"entity-type":"item","numeric-id":4517146,"id":"Q4517146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1930239$3D9AA2C5-033C-4364-9182-97437A9C1FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6e727113668a2d93b1c22986dce0fa2d4a854d","datavalue":{"value":{"entity-type":"item","numeric-id":1897976,"id":"Q1897976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1930239$BAAC600C-B319-485E-AC14-AD1A10F145FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b211138331996ca793e0a4c05e840f9b3053637","datavalue":{"value":{"entity-type":"item","numeric-id":5294713,"id":"Q5294713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1930239$C8DD2041-78E5-41F2-956B-11F479A93FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5896d64468abb2c024d1a43312c51fdd64350e73","datavalue":{"value":{"entity-type":"item","numeric-id":3546131,"id":"Q3546131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1930239$7B6BD16A-0D18-41B0-8C28-0FCBD2CAC3C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bbe0b216944fc083123f0f37631ca191fae8edb6","datavalue":{"value":"10.1007/S10958-012-0931-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1930239$CD4E8077-D438-4E0F-8256-0D93268F7F08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06a542338b854488e5135cc28d5b7689c297b74a","datavalue":{"value":{"entity-type":"item","numeric-id":2213923,"id":"Q2213923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42f3a6ab0b717f3de15299a66b25cf4d563fe895","datavalue":{"value":{"amount":"+0.7991840839385986","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":"Q1930239$EA0CD13B-9E24-4FD0-A250-C487F63A84CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a67ef84b2239db45e4c6e9c849aab80920ea724d","datavalue":{"value":{"entity-type":"item","numeric-id":3546131,"id":"Q3546131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f1c82506e858c60aa67d223faf1bf2127946147","datavalue":{"value":{"amount":"+0.7684394717216492","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":"Q1930239$5CC68E32-0348-49B4-9352-D089C7ACBD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9182fa0900aff22f073583394f8474da4b20330","datavalue":{"value":{"entity-type":"item","numeric-id":2895854,"id":"Q2895854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85f17b2425881c6bca3c4713e0ffaffaaee53cd4","datavalue":{"value":{"amount":"+0.7630745768547058","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":"Q1930239$73EC1D08-4C44-48AE-AE65-C939C1408F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9ccbba6759b1520556a1088cb54649c245bceab","datavalue":{"value":{"entity-type":"item","numeric-id":5294713,"id":"Q5294713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9632f4ee53ac4ca2ed96b5c7e17b4566ea5aaa4","datavalue":{"value":{"amount":"+0.7455251216888428","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":"Q1930239$700C3072-816F-48D8-BCB6-1B9966BE599E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea05a2613cf118f443704c0b5c90eb3c35bd2128","datavalue":{"value":{"entity-type":"item","numeric-id":2452649,"id":"Q2452649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b939fde745f4b4e5b1f86545e9524724742cb83f","datavalue":{"value":{"amount":"+0.7365601658821106","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":"Q1930239$B6A0E8BB-5C4A-454C-96A2-9BD54F87CE1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1930239","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1930239"}}}}}