{"entities":{"Q1358060":{"pageid":1368799,"ns":120,"title":"Item:Q1358060","lastrevid":68814939,"modified":"2026-04-13T02:14:56Z","type":"item","id":"Q1358060","labels":{"en":{"language":"en","value":"Universal unoid theories unique in power"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1023961"}},"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":"Q1358060$39B105D7-1FD7-4EF2-A694-ACD3BD2976ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73273496d3498af934292c134b577bda71e45f8f","datavalue":{"value":{"text":"Universal unoid theories unique in power","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1358060$79C7DC17-3FF9-4595-BE33-45D62B1E5F7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f46cae175be0979fb58a9ce9e3c5ecd9c29cf14e","datavalue":{"value":"0878.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1358060$93FFF879-BCA1-4024-906F-4FA4254C1444","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f264c07403eecfc4ea155a10742ac952425cb764","datavalue":{"value":"10.1007/BF02104867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1358060$9BCD2E96-FD36-46BE-825F-37AC56EB9E75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4558b3fa37da88cafe8e8cda461b82ffaa113bae","datavalue":{"value":{"entity-type":"item","numeric-id":1358059,"id":"Q1358059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1358060$1EE48E88-8D0D-47EE-8E7D-CB552584384F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1358060$7C4FBB23-779C-4926-9E4F-E1E9F2B68289","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9331eb4e7369aa8dd073b64984e4f3d45aee1e25","datavalue":{"value":{"time":"+1997-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1358060$560294ED-EB77-4EFA-BFDC-B013660A51A2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"16b11d448eab9d619d1f3ff5c5c32a70b3751ace","datavalue":{"value":"An algebraic system is said to be strictly \\(\\kappa\\)-generated if it is generated by some subset of power \\(\\kappa\\) and is not generated by any subset of less power. A theory \\(T\\) of algebraic systems is called \\(\\kappa\\)-unique if every two strictly \\(\\kappa\\)-generated models of \\(T\\) are isomorphic [see \\textit{S. Givant} and \\textit{S. Shelah}, Ann. Pure Appl. Logic 69, 27-51 (1994; Zbl 0813.03019)]. A theory \\(T\\) is said to be strongly \\(\\kappa\\)-unique if \\(T\\) is \\(\\kappa\\)-unique and the theory \\(T\\cup D{\\mathfrak A}\\) is \\(\\kappa\\)-unique for every countably generated model \\(\\mathfrak A\\) of \\(T_\\infty\\).   It is proved that any strongly \\(\\omega\\)-unique universal theory is \\(\\omega_1\\)-unique and that for any uncountable \\(\\kappa\\), \\(\\kappa\\)-uniqueness of any universal theory is equivalent to strong \\(\\kappa\\)-uniqueness. Moreover, the property of strong uniqueness is regular.   By a unoid the author means a system with unary operations only. He generalizes results of \\textit{S. Givant} [Ann. Math. Logic 15, 1-53 (1978; Zbl 0401.03009)] to the case of \\(\\omega\\)-unique theories of unoids \\(T\\). For such \\(T\\) he proves in particular that \\(\\omega_1\\)-uniqueness, strong \\(\\omega\\)-uniqueness and stability of \\(T_\\infty\\) are equivalent.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1358060$50FECA73-D9F9-4A22-A13C-1B86AB864B9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1358060$31CFF138-41CA-4556-AD92-07CAD669368C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1358060$6B4DEF44-BE66-4CC1-8152-F19460CF4057","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c76110e0627918b27c4178b052b5bcc0df60d61","datavalue":{"value":"1023961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1358060$89388ED3-C9EB-474F-8D9C-9828F8B41841","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a3b417213f1366c965da801b8e017a31000b8ab","datavalue":{"value":"categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1358060$F7E65E39-86B6-4C62-82B4-D098C85541E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3b139f7228e51306717a3522bed5c3c725026e9","datavalue":{"value":"uniqueness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1358060$24087953-BCF5-431B-9CF5-5CAEAF83C11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54645326ccdb9d2752b0313d60cceebc277d8501","datavalue":{"value":"strong uniqueness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1358060$69522E61-8E60-4241-BE64-8338063DA684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b44e1b783719f7508f73a2bfb0bf3e2d5f795a2","datavalue":{"value":"universal theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1358060$213DEE40-2D3E-4547-8AB2-B308EE591D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc3d84f1086ec72483148f0e223a275ecba16bdd","datavalue":{"value":"unoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1358060$A0C7E70A-4C04-44BE-B831-B0AB343E90E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f24aa045cf77695a2670d215f5e1de9627d2d5f8","datavalue":{"value":"system with unary operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1358060$C5003326-5686-43AC-9991-6BEF3E67758E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34b44e7b40021effdee26093512bde7058814281","datavalue":{"value":"stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1358060$1F338CD8-868B-44CC-AC67-5ACFAE70CC00","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":"Q1358060$C5811AF8-37D1-4A54-8BF5-C86DCFF843DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d5145de1d027ca62839bc82c6e546fce0e90af4","datavalue":{"value":{"entity-type":"item","numeric-id":1337355,"id":"Q1337355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1358060$BB7D5169-7B9C-49C0-AE9B-B83E492E7A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ab16e2ae40f9941b1c6c46c909b6011b7578e1e","datavalue":{"value":{"entity-type":"item","numeric-id":4081299,"id":"Q4081299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1358060$9F561F21-BE4A-48A2-A282-6184766A92C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95541ab45eb1dd1b0a894699f76cd74ef8105382","datavalue":{"value":{"entity-type":"item","numeric-id":4184820,"id":"Q4184820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1358060$E0C29839-600A-488D-9F76-AE9AA661F093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5177d07ca9dcc5e366316df00541f8a5aab60df","datavalue":{"value":{"entity-type":"item","numeric-id":5625150,"id":"Q5625150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1358060$53C86B2A-181C-4964-831B-2E3DBD7ABF8D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6aa619f626ef39ae6a392a40767d43576a439ec","datavalue":{"value":{"entity-type":"item","numeric-id":1337355,"id":"Q1337355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"612fe8b2be718e3c8226985c7310af377b721ef1","datavalue":{"value":{"amount":"+0.8266254663467407","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":"Q1358060$0C54D013-0AA1-48C8-8253-0BAB5DCC3EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8b7aff180d1f3851cc42cff9169a67e489b608c","datavalue":{"value":{"entity-type":"item","numeric-id":1113894,"id":"Q1113894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b22c6dd26dcbab2d2fa3045a558c26439a7fdf1","datavalue":{"value":{"amount":"+0.7403771877288818","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":"Q1358060$6ABA9906-C0F2-4ADF-8769-53F35CA6CF7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6bc537e3295027291e97124419f36a66797f826","datavalue":{"value":{"entity-type":"item","numeric-id":4030068,"id":"Q4030068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3743d4fee3c5a7694018a47bb1a2cca55287ccfc","datavalue":{"value":{"amount":"+0.7220185995101929","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":"Q1358060$C7525CB2-1BA9-4B0A-AAB1-990393B16087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba8c14a6aad2e82d179e554f2c6316f6e6c3a502","datavalue":{"value":{"entity-type":"item","numeric-id":3362221,"id":"Q3362221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"031988d33b4dd6959db06758babafd9dfb5a4d0d","datavalue":{"value":{"amount":"+0.7218227386474609","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":"Q1358060$EB6B1EA5-F78A-4F31-A532-189D99B74AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94383bf58e8dd7e112a3fc6cd75729c2de259d96","datavalue":{"value":{"entity-type":"item","numeric-id":3808076,"id":"Q3808076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7efda005ddfa1a218d24e413d3566163d8766d6","datavalue":{"value":{"amount":"+0.7170677781105042","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":"Q1358060$029D7409-2B02-4A12-96E3-0CA3FB29DAEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Universal unoid theories unique in power","badges":[]}}}}}