{"entities":{"Q1337355":{"pageid":1348094,"ns":120,"title":"Item:Q1337355","lastrevid":57359814,"modified":"2026-03-30T16:12:09Z","type":"item","id":"Q1337355","labels":{"en":{"language":"en","value":"Universal theories categorical in power and \\(\\kappa\\)-generated models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 682082"}},"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":"Q1337355$F244F03C-27B8-465D-8194-E063DBD33D64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38b00c44877c1c288c7bcdbe0c87742b2a3f7719","datavalue":{"value":{"text":"Universal theories categorical in power and \\(\\kappa\\)-generated models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1337355$ABD99FC6-84E0-40B3-B422-56E697BF700D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e954c12f99ef27dfa05c4ed87edc0caba28d9e06","datavalue":{"value":"0813.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337355$073E4CF6-BFDD-4A9A-BDD1-A9081954684A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ae528f5d67872a756e2607a3acd39bd7559b8bc","datavalue":{"value":"10.1016/0168-0072(94)90018-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337355$2DE24103-BF54-412D-9D77-A8AB69001052","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7df76a521f110f0d7e81939ad3df60ac67ebebc","datavalue":{"value":{"entity-type":"item","numeric-id":800350,"id":"Q800350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337355$A5C722D8-CCB0-43A2-B262-6B449A1A4F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337355$CCE4059F-E58B-4586-8C9D-01469E02A2CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337355$287CFB90-806D-4928-B774-7A71FFB1415B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb5cac1bac625d56172333526e9a905d35cc8227","datavalue":{"value":{"time":"+1994-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1337355$66905FE8-B0F7-49BD-82F1-4BD43AB2A2A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a2ec820aea6b76330f39b7d79748be0c55f6bbd","datavalue":{"value":"https://arxiv.org/abs/math/9401213","type":"string"},"datatype":"url"},"type":"statement","id":"Q1337355$7F13EE8B-EF15-4050-96AF-542FC64FE9B4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bac543f259b665df290ef7fc364621966d5561ec","datavalue":{"value":"One of the difficulties with the notion of categoricity in power is that it is defined in terms of the cardinality of the universes of models instead of the cardinality of the generating sets. Let us call a model strictly \\(\\kappa\\)-generated if \\(\\kappa\\) is the minimum of the cardinalities of generating sets of the model. A theory is called \\(\\kappa\\)-unique if it has, up to isomorphism, exactly one strictly \\(\\kappa\\)-generated model. The paper proves that for uncountable universal theories \\(T\\), if \\(T\\) is \\(\\kappa\\)-unique for one uncountable \\(\\kappa\\), then it is \\(\\kappa\\)-unique for every uncountable \\(\\kappa\\); in particular, it is categorical in powers greater than the cardinality of \\(T\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337355$F4F8D49E-3BE5-484E-9B2C-52237FDF084E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337355$FB2F4A67-B3F9-4155-9279-52C270682961","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2d093cd0894f50b756a8c240dfb085c982a3eeb","datavalue":{"value":"682082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337355$5275BD26-22FE-4B27-BAF4-98F8481E63EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e41e37bf3243a4920c8ac43100c2d8ffc5a4206b","datavalue":{"value":"kappa-unique theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337355$124C7491-DCD9-49E8-AE42-8BA40E26DAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea6f4f3703080e6237c9b4924117d9fe0c232fc4","datavalue":{"value":"categoricity in power","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337355$F68302CF-5B68-4CE3-83DC-40F4A910EA4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2b47609299fed974b8e12ada106d10fc5e4de74","datavalue":{"value":"universal theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337355$3E0F6315-396D-425A-B29E-9A332FF036B3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b07fff8e24e213d71938c843c08dd4401c027091","datavalue":{"value":{"entity-type":"item","numeric-id":1250213,"id":"Q1250213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337355$180F0AF9-34CB-43F3-B2FB-391FDBCA2918","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":"Q1337355$7C5A94B4-961E-4147-8227-5E226B61E3C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1dc346b17782fb7850a38ae5aec4880afb060675","datavalue":{"value":"W2015858005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337355$9481305F-D41A-48E4-84F0-4C2F052EED65","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a264edd0bca46a8ff017a4071e703c4941112909","datavalue":{"value":{"entity-type":"item","numeric-id":2559368,"id":"Q2559368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337355$FBD72620-2DF0-4EE1-8F3F-65C388EE7658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89245c665b4761297ee5cdd62dfd20cae945edfa","datavalue":{"value":{"entity-type":"item","numeric-id":759010,"id":"Q759010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337355$AAFF8D03-C992-4CAE-8046-4C95E9705E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337355$90DCE7A5-2A28-4BA8-B623-0378C8CBB9FA","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":"Q1337355$FF9ACF6C-0097-4082-8365-7A301AB684FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8724377db93d94a85157e5c62f5d2637e2a7d571","datavalue":{"value":{"entity-type":"item","numeric-id":3798642,"id":"Q3798642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337355$ACA8E7B8-B6EF-4B03-B748-DD7A9D9DED6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b96374dc94910f335c417d35961b6205e601a8a","datavalue":{"value":{"entity-type":"item","numeric-id":4078013,"id":"Q4078013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337355$4B53C30A-20DF-4676-96C5-59429E8600C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390883ad78a33fcf623e26f354177bcba16ae9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1250098,"id":"Q1250098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337355$925D3B00-2FD9-4F87-943A-7D9A074540B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7057c1a59c82bbe54a0a561b16ec0382565216c","datavalue":{"value":{"entity-type":"item","numeric-id":1092040,"id":"Q1092040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337355$0041709C-6327-415C-BFAF-A7ABE25DD7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b9f1572ae49ae5317f19864d4e4ee571a34a71a","datavalue":{"value":{"entity-type":"item","numeric-id":1101440,"id":"Q1101440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337355$8CF92D56-E9DC-4C77-9376-5FF922C1FDAA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f790bb3cd246985de4cd33e1daca60de5fba998","datavalue":{"value":{"entity-type":"item","numeric-id":1358060,"id":"Q1358060"},"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":"Q1337355$216BAADC-9AD3-4F68-AA6A-7BF404E8DD71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"343f5a081048c1b187b2eeb7062f099006acba6b","datavalue":{"value":{"entity-type":"item","numeric-id":1194244,"id":"Q1194244"},"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":"Q1337355$39F10E60-AFB3-4824-9B88-A123BEEC7ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"845d69892e1e4438ca6ee397c23b59f070c530a9","datavalue":{"value":{"entity-type":"item","numeric-id":4813692,"id":"Q4813692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ed01330abd73fdf45cc89ddb90bbab3517191a5","datavalue":{"value":{"amount":"+0.7782754302024841","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":"Q1337355$565E38C9-5DA8-4FD7-8E75-617392111FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7694b3f4c745455abab62db4fdb6679a74dbe3bd","datavalue":{"value":{"entity-type":"item","numeric-id":3798642,"id":"Q3798642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe525dd11410ab1bcf620e88cb7f0f65772daf8d","datavalue":{"value":{"amount":"+0.7713844180107117","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":"Q1337355$F544B494-F27C-4D55-8A7F-9277D9AD4B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f57dc884c1813a90099ca97ec6b674dc1014697","datavalue":{"value":{"entity-type":"item","numeric-id":5718690,"id":"Q5718690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5492d6205c83deefcff309a1f0443753fca8e1fd","datavalue":{"value":{"amount":"+0.7636959552764893","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":"Q1337355$FCC79D76-D95E-4B7A-BB39-A21ECFAB41C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1337355","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1337355"}}}}}