{"entities":{"Q757348":{"pageid":759197,"ns":120,"title":"Item:Q757348","lastrevid":57160764,"modified":"2026-03-26T20:38:42Z","type":"item","id":"Q757348","labels":{"en":{"language":"en","value":"Categoricity over P for first order T or categoricity for \\(\\phi\\) \\(\\in {\\mathcal L}_{\\omega_ 1\\omega}\\) can stop at \\(\\aleph_ k\\) while holding for \\(\\aleph_ 0,\\dots ,\\aleph_{k-1}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4191605"}},"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":"Q757348$FA1104C5-6DD8-497E-A9A8-38FD1642F109","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6026316ba463b4b567a9c70545a47f06717e10f4","datavalue":{"value":{"text":"Categoricity over P for first order T or categoricity for \\(\\phi\\) \\(\\in {\\mathcal L}_{\\omega_ 1\\omega}\\) can stop at \\(\\aleph_ k\\) while holding for \\(\\aleph_ 0,\\dots ,\\aleph_{k-1}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q757348$720D16E9-E010-4B22-875B-ED9A79B78A52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c14bac7fd49d77f76cf9cbb7474b3ac080dd8b5","datavalue":{"value":"0723.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757348$BEFD9055-DEF7-43C5-A6B5-39BAB91BCDB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01966b671c4798e3ae1d0b10494a9400e3e80d71","datavalue":{"value":"10.1007/BF02807869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757348$D1465E93-53DC-4117-A4E2-CD97051C9328","rank":"normal"}],"P16":[{"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":"Q757348$60579D2B-F611-4EC8-9E98-A88B484F02E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cd8d2903264ba36c56b2453e30dfe1c0918e364","datavalue":{"value":{"entity-type":"item","numeric-id":466084,"id":"Q466084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757348$AE40D73F-07CA-48C2-AE76-F250C7942948","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757348$7863604B-2436-44E4-B3F2-029DAC8482DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q757348$DBFCAA93-5C8C-4B36-919B-DD74459ABEC7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9969d8f3d93aa50f831766eb5dfc3570b735f2a0","datavalue":{"value":"https://arxiv.org/abs/math/9201240","type":"string"},"datatype":"url"},"type":"statement","id":"Q757348$8524B44B-B781-4B02-9819-3BB4C289A23E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ab2add73b0071df57d53541a664c8b2b76ce620e","datavalue":{"value":"It is well-known that any countable first-order theory which is categorical in some uncountable power, is categorical in every such power. Several attempts were made to generalize this theorem to the case of non-classical logics as \\({\\mathcal L}_{\\omega_ 1\\omega}\\), or some generalizations of the categoricity notion. One of those is relative categoricity. Let T be a complete first-order theory in a language containing the unary predicate P. T is relatively \\(\\lambda\\)-categorical if whenever \\({\\mathfrak M}\\), \\({\\mathfrak N}\\) are models of T having identical relativisations to P of cardinality \\(\\lambda\\), then there is an isomorphism of \\({\\mathfrak M}\\) and \\({\\mathfrak N}\\), being the identity on P.    In the present paper the authors determine the limitation of the validity of the mentioned theorem: it does neither work for relative categoricity nor for the \\({\\mathcal L}_{\\omega_ 1\\omega}\\) language. They give an example of a first-order theory T and an \\({\\mathcal L}_{\\omega_ 1\\omega}\\) sentence \\(\\phi\\) such that T is relatively \\(\\lambda\\)-categorical and \\(\\phi\\) is \\(\\lambda\\)-categorical for \\(\\lambda =\\aleph_ 0,...,\\aleph_{k-1}\\), but T is not relatively categorical and \\(\\phi\\) is not categorical.","type":"string"},"datatype":"string"},"type":"statement","id":"Q757348$FBBC955E-C40F-47EB-8620-6C27A5252C8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757348$B1BCEE18-0115-4858-B139-AB5999AFADE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757348$C3E20EED-80A3-4FD2-AF73-8D9BD451FF95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a0d089f96d9ba7082335f141b3374ce97965473","datavalue":{"value":"4191605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757348$72545147-7DD1-404C-A653-5CCCF6846EB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d502aed236572e829c870ea3cd6d07c7a5ae55af","datavalue":{"value":"relative categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q757348$215E4908-7F3B-49B1-AC19-F6A5442157FF","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":"Q757348$C3FE85C2-C449-460D-B9B4-5AF79FDEEDB6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3f72e4cfa0d440af72fe380c939fa418d344db","datavalue":{"value":{"entity-type":"item","numeric-id":3666827,"id":"Q3666827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757348$721AD531-EEAD-4A1F-A9BE-B834B551EB7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de595f03918976fb4b8e6f000acd710368a83b0a","datavalue":{"value":{"entity-type":"item","numeric-id":2795311,"id":"Q2795311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757348$6C1B8CED-0158-4D0E-88E1-49E473F8154D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac42628c01a4632cc9b9bf902fb47ebf9d9f442","datavalue":{"value":{"entity-type":"item","numeric-id":4938555,"id":"Q4938555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757348$EFC97CA5-674D-45E3-A8F3-BE193D72CA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2280030a4c3da38e13dc4b5961cddcec3e8a63a","datavalue":{"value":{"entity-type":"item","numeric-id":912842,"id":"Q912842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757348$CA319F91-7375-4D4A-9703-19D340ACA4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1739c2b55475dfd43cc45c16cc81ebdb6214ea","datavalue":{"value":{"entity-type":"item","numeric-id":2547549,"id":"Q2547549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757348$519F36D1-F0AF-40E9-8758-C2E81ABFA6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d150e2340319a7a43b1db393c9deb38f8c8ba6f","datavalue":{"value":{"entity-type":"item","numeric-id":1214923,"id":"Q1214923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757348$75226284-13B4-4C6E-9A60-CB02B70D36D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01e2ffc1c93aaed1a818294aea2644d622de3c6","datavalue":{"value":{"entity-type":"item","numeric-id":5529481,"id":"Q5529481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757348$9995E321-E11B-4E14-8D05-D4A9B032C189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e04736d7b89ac36fe471aeab1f680019567eeb1","datavalue":{"value":{"entity-type":"item","numeric-id":1167155,"id":"Q1167155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757348$5415B385-3617-4F82-955A-64B7BB1C4039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7246263d586c5e21f597aa2f0a35184b890519d","datavalue":{"value":{"entity-type":"item","numeric-id":1083445,"id":"Q1083445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757348$58C05A15-82D7-41D3-9A23-329E1C0BCBA8","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":"Q757348$B8260A1E-9B19-4E6F-A4CD-8DBC563BFF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f56972959f7e77dafdc2a6b2e161d711fd96aa5","datavalue":{"value":{"entity-type":"item","numeric-id":1224580,"id":"Q1224580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757348$42297D07-E228-451E-A27F-A742A625B012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6c36a6c34e0bf81cf659995b5896e6dc0373203","datavalue":{"value":{"entity-type":"item","numeric-id":800911,"id":"Q800911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757348$4E7402AB-33D0-4497-B2B8-CC9A047F325C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdd537d7c79629a306b1c31a7edd488677c2371b","datavalue":{"value":{"entity-type":"item","numeric-id":1088651,"id":"Q1088651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757348$FE5D4BDA-55A7-4EFF-9770-EF69A5358FD3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"227b81172fb3cd1944ada20a6dc2c833db53620b","datavalue":{"value":"W1978825183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757348$A7E21CAF-DE53-4959-B050-73156EEA31C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8b36bed02cbe827cfdeb2634356aa955616208d","datavalue":{"value":{"entity-type":"item","numeric-id":1095888,"id":"Q1095888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e1aa3899372b2adc7468c0b86cb2359df1b7312","datavalue":{"value":{"amount":"+0.8035393953323364","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":"Q757348$014F07F0-73EC-42B4-868E-12FD3DBA95F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d057d430e6f1725963a280bacc5a34a6c33fdf2","datavalue":{"value":{"entity-type":"item","numeric-id":912842,"id":"Q912842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"729015df2a8901ab989714ce83fe870872d35f16","datavalue":{"value":{"amount":"+0.7974254488945007","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":"Q757348$3E27C35F-0A9A-4D5D-A61E-3F73B44C5D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"683a509ea8abf0985378e2ea3cb1a4e344c31a48","datavalue":{"value":{"entity-type":"item","numeric-id":916644,"id":"Q916644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1695bda868bbf9cbb4acbc977dc58a60962a346","datavalue":{"value":{"amount":"+0.7886771559715271","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":"Q757348$EEF1FEFE-464D-4FCE-98ED-0E0773904715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3271d39ff5bb37526c47c1df640bba140785b29d","datavalue":{"value":{"entity-type":"item","numeric-id":3781082,"id":"Q3781082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e3cf8cb44533ed77c0910283359717846b2cda6","datavalue":{"value":{"amount":"+0.7768957018852234","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":"Q757348$89F8197E-50C3-4CA7-9544-80BB691EE569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30cbb3b313aa63a6fe7c6e87059ad3db8197c87b","datavalue":{"value":{"entity-type":"item","numeric-id":4922658,"id":"Q4922658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fcd937701da0a14565d27335a70f0b6f66045c0","datavalue":{"value":{"amount":"+0.7696103453636169","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":"Q757348$DEC6194B-E1DA-4D19-A10D-1FD2FA96FE26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:757348","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:757348"}}}}}