{"entities":{"Q1012332":{"pageid":1014180,"ns":120,"title":"Item:Q1012332","lastrevid":66095634,"modified":"2026-04-12T07:30:59Z","type":"item","id":"Q1012332","labels":{"en":{"language":"en","value":"Relative categoricity in abelian groups. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5544176"}},"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":"Q1012332$A663BFBE-3984-4895-88F8-FCA2883B11CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"222f4d0e1e59541cda2b221a50c07dce79aa7f10","datavalue":{"value":{"text":"Relative categoricity in abelian groups. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1012332$952A7830-AB0E-40A6-92B5-04C3C56CDB0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52fdcc275b11141803180a76c6ed188280aa7808","datavalue":{"value":"1163.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012332$5181746C-B6CD-4E76-9910-F20F8B530BDF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15b85060f261bcdcca7ccb0feac14e776681f7d6","datavalue":{"value":{"entity-type":"item","numeric-id":190274,"id":"Q190274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012332$3BC6DFA5-6B75-43D4-AA5C-4036C4D49149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9edee65d9ea0baafba4a3bc8556f0da2a54245a","datavalue":{"value":{"entity-type":"item","numeric-id":276909,"id":"Q276909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012332$E9D9AA05-3B72-4F7C-8425-7520F3BDC9F0","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":"Q1012332$4D100786-2B3A-44BB-9746-A2F6A230E8CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f73738825ede14eb63692fa539d93eae768744cb","datavalue":{"value":{"time":"+2009-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1012332$6F90C6F1-1B82-4407-9BE7-8FD3F486DBBF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a4240fa71797a32210f5c556f855d3540551c726","datavalue":{"value":"[For Part I by \\textit{W. Hodges} see: S. B. Cooper et al. (eds.), Models and computability. Invited papers from the Logic colloquium '97, European meeting of the Association for Symbolic Logic, Leeds, UK, July 6--13, 1997. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 259, 157--168 (1999; Zbl 0958.03024).]     Let \\(L\\) be a first-order language, and \\(L(P)\\) be \\(L\\) expanded with an additional unary relation symbol \\(P\\). Consider \\(L(P)\\)-structures \\(A\\) such that the set of elements \\(A^p\\) of \\(A\\) satisfying \\(P(x)\\) is an \\(L\\)-substructure of the (reduct to \\(L\\)) of \\(A\\). Such an \\(A\\) is said to be \\((\\kappa,\\lambda)\\)-categorical if for all models \\(B\\), \\(C\\) of its theory (the set of \\(L(P)\\)-sentences true in \\(A\\)), if furthermore \\(|B^P|=|C^P|=\\kappa\\), \\(|B|=|C|=\\lambda\\) and \\(B^P=C^P\\), then there is an isomorphism from \\(B\\) to \\(C\\) which extends \\(B^P=C^P\\).  This paper considers the case of abelian groups, i.e., \\(L\\) is the language with \\(+,-\\) and \\(0\\), every considered \\(L(P)\\)-structure \\(A\\) is an abelian group and \\(A^p\\) is a subgroup of \\(A\\). Such an \\(A\\) is said to be an abelian group pair. The paper classifies the possible pairs \\((\\kappa,\\lambda)\\) for which an abelian group pair can be \\((\\kappa,\\lambda)\\)-categorical (the relative categoricity spectra).  The authors show that for \\(A^P\\) infinite, the possible spectra are either all \\((\\kappa,\\kappa)\\) for \\(\\kappa\\) an infinite cardinal, all \\((\\kappa,\\lambda)\\) where either \\(\\omega\\leq \\kappa < \\lambda\\) or \\(\\omega=\\kappa=\\lambda\\), the single pair \\((\\omega,\\omega)\\) or, finally, all pairs such that \\(\\omega\\leq \\kappa < \\lambda\\). They furthermore give an algebraic description in each case.  Finally, they also give a characterisation of relative categoricity spectra when \\(A^p\\) is finite and also when both \\(A\\) and \\(A^p\\) are finite.  The proofs use methods from abelian group theory, model theory of abelian group and in some cases general model theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012332$AC9E14FE-BADF-4C31-AB0C-D1C565962745","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2daced9896460a81c4c40ff31087aa019e14cb22","datavalue":{"value":{"entity-type":"item","numeric-id":420851,"id":"Q420851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012332$E065F7D3-15D8-44B0-9F3B-8615702A05AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012332$C7DB1D24-FB7C-45F3-9CE6-F5709D736E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012332$AFA1B7F3-097F-4308-8CEB-79270FF6AC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012332$270AFCF7-DB1B-48D5-AA34-872EFE352767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd0924bacc48367b8d971041eb028e37607d1d81","datavalue":{"value":"20K99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012332$A803EF56-ACED-4EFA-B32F-76F8B21E22D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d29b30f90404854fe58706adf79e7da9a79cdadb","datavalue":{"value":"5544176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012332$C7744B21-7004-4434-AD37-1F806501945B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012332$7580948C-E964-4465-BE1F-2EF99711EB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0e4dd294df2d3c06891db7759a295f99ae15e99","datavalue":{"value":"abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012332$162CC31F-1F99-43CC-A5BF-77E02D8A123C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fde9a45a839f199cad109a6107f168214974fba8","datavalue":{"value":"group pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012332$149B993C-81C0-41E0-98A8-C9F74F4FCF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d502aed236572e829c870ea3cd6d07c7a5ae55af","datavalue":{"value":"relative categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012332$D0FBAFEA-4A2D-4501-96F4-A9599EDBA84E","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":"Q1012332$8E4B7A6C-9FBE-49C6-AE95-304B7E24424F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc1c6420e98c9eabe30a9dc6590ea2538e9688c6","datavalue":{"value":"https://doi.org/10.1016/j.apal.2008.03.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q1012332$DAB8E269-B008-418E-BFB9-F7DD5D3E8E35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b4b93c63ce2735df8ad12e6e2456b1db2036ac97","datavalue":{"value":"W2075614966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012332$6E7E5B48-711F-4536-8AAD-755AE2F9EA03","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"771cf89fd79fc8b583d80faef80442972b5f9b7c","datavalue":{"value":{"entity-type":"item","numeric-id":5661866,"id":"Q5661866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012332$BDAD9F59-D725-494A-8157-71C533C0EE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b6462f51368a2061dbb1b8a2d522a06a0c75d18","datavalue":{"value":{"entity-type":"item","numeric-id":3992033,"id":"Q3992033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012332$E2A017B3-2664-48DF-991B-59F8F34115BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b4f955c6348ce87baacf5add332a6fb0725124","datavalue":{"value":{"entity-type":"item","numeric-id":5609457,"id":"Q5609457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012332$8971EDA3-B24E-4780-B5E8-972594A02715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd6dbfb4de7afb2854e5efc998cf4140f7e0ef17","datavalue":{"value":{"entity-type":"item","numeric-id":5673086,"id":"Q5673086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012332$AC7F5A9E-A815-43B9-8580-2DC5316ABCA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012332$80418FAF-3D84-448A-9218-BACAE16B3EE5","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":"Q1012332$FB4E72AF-7F90-4BE2-86FB-20523741B5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efecbc2634496d67ceaab3caa52ae007180dd69a","datavalue":{"value":{"entity-type":"item","numeric-id":3882586,"id":"Q3882586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012332$8207F470-7BB3-42D7-BD41-35BCE49B65BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"265f458e0aadb8bb11a546b8ce46b375368f60e0","datavalue":{"value":{"entity-type":"item","numeric-id":5642553,"id":"Q5642553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012332$A90F4121-0272-4BAE-8DA3-173F3E124B42","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":"Q1012332$CF8A43C2-DD29-475D-8F41-330656AA0587","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":"Q1012332$50E7325F-90CF-4E86-8FED-F6E8458430D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0376df3f9b072633ed90667970c04b9642439a8c","datavalue":{"value":{"entity-type":"item","numeric-id":1188601,"id":"Q1188601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012332$880E4F94-D21E-4315-9CFE-B3C63ED4E933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4068b17dbecf5b0d4116a8dbe5144c6055861b2c","datavalue":{"value":{"entity-type":"item","numeric-id":4714214,"id":"Q4714214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012332$F0E778EF-0FF0-471E-B6B4-681C7DD345F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24fd962b692efb5d6931297086715d669ebae469","datavalue":{"value":{"entity-type":"item","numeric-id":757348,"id":"Q757348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012332$9ADA5442-7E89-4B15-A528-D5700059292C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13c9ac7651d60fc601f20cf3701045df00c8e19e","datavalue":{"value":{"entity-type":"item","numeric-id":2641294,"id":"Q2641294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012332$9EA2C662-11F8-426E-8C73-D17CD0958FDF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56d662d0447529e4edf510f69187079e914a3299","datavalue":{"value":"10.1016/J.APAL.2008.03.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012332$7FFFD533-DB55-4AD0-91C5-F551C49A8D13","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ccf98a8a2ecaf0f2c2f5c6d5b720d141462afd5","datavalue":{"value":{"entity-type":"item","numeric-id":4938555,"id":"Q4938555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd215f59fc50c577e2e9b3de8c5d24ce39f315a4","datavalue":{"value":{"amount":"+0.9218816757202148","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":"Q1012332$6558C53B-ED23-44C2-A4EC-D3FC1EE2DC54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4d99d268fc24f3ac5896770b31a1ec38b19253c","datavalue":{"value":{"entity-type":"item","numeric-id":3726097,"id":"Q3726097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfe522f3fdb500846eeb7ef90070afc3ff3bd539","datavalue":{"value":{"amount":"+0.9216797351837158","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":"Q1012332$66E9C14B-DB4D-4214-A826-8B60A34C8C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3074d317b8ef604689b90a87dfc4b08793da462b","datavalue":{"value":{"entity-type":"item","numeric-id":4207891,"id":"Q4207891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3729a30030c065ee4df820f9ed2a2a6ecf547a2f","datavalue":{"value":{"amount":"+0.9068968892097472","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":"Q1012332$E4F66D57-39CA-4B54-8B96-C372C2AF3F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86a61a9079f3a70304518fd2317f85cc88d9a050","datavalue":{"value":{"entity-type":"item","numeric-id":5966713,"id":"Q5966713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27c1027c1541c4f4d23917ef2f0398926920cf3b","datavalue":{"value":{"amount":"+0.8248240947723389","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":"Q1012332$9542781D-DE8C-41B4-8A0A-04D80BB5A3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84dd40b7f728a65eb7d8fdf8c4259fee782473c6","datavalue":{"value":{"entity-type":"item","numeric-id":1070224,"id":"Q1070224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99054485a1e2bdd6ccdeb07883d02c7f19e619d1","datavalue":{"value":{"amount":"+0.8244227766990662","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":"Q1012332$6AF15006-9C31-41C6-88B0-87436CBE0DB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relative categoricity in abelian groups. II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relative_categoricity_in_abelian_groups._II"}}}}}