{"entities":{"Q579238":{"pageid":581005,"ns":120,"title":"Item:Q579238","lastrevid":62922867,"modified":"2026-04-11T09:00:42Z","type":"item","id":"Q579238","labels":{"en":{"language":"en","value":"Theory of Abelian groups with constructive models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4014685"}},"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":"Q579238$6ABC3059-E286-4367-BC92-E0304CF157AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"797a306a1ecf9613d62d7cdfe4a2e4e92b80b5ac","datavalue":{"value":{"text":"Theory of Abelian groups with constructive models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q579238$B62AFFEB-22EF-4ED4-8577-0B955F0AD160","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56fb774938e919ec6e2e6a80df79e74b3ad7982c","datavalue":{"value":"0625.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579238$0C6822EA-6799-4CE8-A7B5-D1AF1190200A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b856e12391b1a941d86b42465c1b68ed422356ea","datavalue":{"value":"10.1007/BF00969170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579238$BA3F04BC-C89A-4580-89CC-3B8EFD93D298","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d2d30d0803471d590adadbe133265bf65d58cfd","datavalue":{"value":{"entity-type":"item","numeric-id":404716,"id":"Q404716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579238$65FEB66E-F2BE-4B1C-819E-348C1BB85D89","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":"Q579238$4948D496-80A3-4981-AE95-DBA7DD3B9517","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q579238$771A22A5-E28D-4C60-AEE5-90F93E05F086","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6c1a76c8bf5466bb9cbee01af7b78147e37e61c6","datavalue":{"value":"In the theory of constructive models, the problem of the existence of a constructible model in a given theory is one of the basic problems. In this paper we obtain a criterion for the existence of a constructive model in a complete theory of Abelian groups. It is shown that any recursively enumerable theory of torsion-free Abelian groups has a constructive model. We construct a recursively enumerable theory of Abelian groups which does not have a constructive model. Problems of (strong) constructibility of prime and saturated models of the theory of Abelian groups are considered as well.","type":"string"},"datatype":"string"},"type":"statement","id":"Q579238$E65E277C-0A6B-4B30-8D12-04F056BD3149","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579238$B917E644-B963-4DF8-A59C-AF4DDAFF96EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0cfb57c69293433f684dbc678151e805fcd25301","datavalue":{"value":"20K20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579238$3C00B2C5-62A7-4736-8DA5-448110FB01E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579238$395C5CA6-B613-4E7E-83A8-822294DC7141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86add130ce1bc29a7dcfc03615753d4d478943bf","datavalue":{"value":"20K15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579238$870986F6-5A49-4A7B-82AD-96F9EA50367E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4b7f0a0b6a4a21e756d581b13e74656b59a050c","datavalue":{"value":"4014685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579238$02B2640C-5A9A-4AA1-91A1-5CA2BAD74FC0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34e2aea82bcbc1785116ba1a7fd2c55f61b952f1","datavalue":{"value":"prime model","type":"string"},"datatype":"string"},"type":"statement","id":"Q579238$E6348092-F889-4B17-94CB-40D0EDB6D184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68a1c9d6c6652ea43b7fc5b7f16951bdef7cc675","datavalue":{"value":"strong constructibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q579238$C4AD8C22-C82A-4724-95F8-2906164469E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3513ac961084dfa96e695402b9da579649c4e4ec","datavalue":{"value":"constructive models","type":"string"},"datatype":"string"},"type":"statement","id":"Q579238$BF3AB9DE-28C0-4BAA-BD1E-E7189681F0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e75b0980e3962c8d8027361faf6daf44306bb5a6","datavalue":{"value":"existence of a constructible model","type":"string"},"datatype":"string"},"type":"statement","id":"Q579238$255D8C6C-9DB8-449B-8967-3E823027E959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2309cb6ca56b9132849c050b75570f43d17daf46","datavalue":{"value":"complete theory of Abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q579238$FEBE573A-4ADD-4E21-8DD1-0F1A31DD4CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b61a4fd72f78aeaee246885f1679643f6bb926e8","datavalue":{"value":"recursively enumerable theory of torsion-free Abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q579238$8A3FDB6E-0369-48D7-BCDD-468BA4B940A8","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":"Q579238$23CB3712-A243-448F-B2B4-ECAD9DCE39FE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d07d32f3cb39e92495c1fcfea68dc3a9c4b47af2","datavalue":{"value":{"entity-type":"item","numeric-id":3856753,"id":"Q3856753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579238$08B782DC-B965-4CFC-85FC-7152292867BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5385ba9441dad8f509d138d72693e1ecabbbe200","datavalue":{"value":{"entity-type":"item","numeric-id":3912552,"id":"Q3912552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579238$E4BDFDA0-A58D-4660-B79A-35EEAD2FDD00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fdcce8a80783b48117fed0be505e92a96f569d8","datavalue":{"value":{"entity-type":"item","numeric-id":1846417,"id":"Q1846417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579238$D0DE955D-7A36-41E8-8087-2C0375866CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd7f393ba239aa595e37fadbc0586b748bf938b5","datavalue":{"value":{"entity-type":"item","numeric-id":3889033,"id":"Q3889033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579238$64B3F986-AC87-4385-AB94-3A6F7441B57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c41045e21385cfc9d1375d5714738fbbb3b4b97f","datavalue":{"value":{"entity-type":"item","numeric-id":4745979,"id":"Q4745979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579238$E4F6775C-3102-4159-B26B-D19914A669BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579238$EAE7CA3F-A443-4101-A0CA-2F41C594402B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f32d2b3c8775ee1c4a4f4ce9e27664f36345403e","datavalue":{"value":{"entity-type":"item","numeric-id":1137034,"id":"Q1137034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579238$6258D21A-3D20-41D9-B327-7C1083E62009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e86163e0ce2c2eab4dc60aa74058e381191fd2","datavalue":{"value":{"entity-type":"item","numeric-id":1060297,"id":"Q1060297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579238$C14B98FE-F737-4432-AED0-41F03C06E438","rank":"normal"},{"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":"Q579238$AC0A7A06-DFAC-48CA-ADC7-A952F39EE36A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ddd9fe56d582004eb1aee15aa40351f5e253474b","datavalue":{"value":"https://doi.org/10.1007/bf00969170","type":"string"},"datatype":"url"},"type":"statement","id":"Q579238$59A62355-3136-4578-8777-EE747F899C0B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa7b7752383c583380ce13e4ab8cb79ce81ce7cf","datavalue":{"value":"W1985052114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579238$3FF805C3-E9B8-480D-AA63-57BD64B3738A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48f916ab87b0398be9f830889412fda46eda2303","datavalue":{"value":{"entity-type":"item","numeric-id":4249727,"id":"Q4249727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3128af284d45b1ca11f20fbc404afd559a18cc7","datavalue":{"value":{"amount":"+0.8832244873046875","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":"Q579238$BAD14F81-941A-482E-9F67-A3F883C5DD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"696139f638f1ff4b812596676aa7c06f27167dac","datavalue":{"value":{"entity-type":"item","numeric-id":1075317,"id":"Q1075317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fa0fd33832e6b7295387670df742a954ed6673a","datavalue":{"value":{"amount":"+0.8250007033348083","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":"Q579238$F85FE151-4416-4720-AE2B-00306A81CC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35eacd3d6db3a4628998403fd92c7cc1febfd92c","datavalue":{"value":{"entity-type":"item","numeric-id":3360391,"id":"Q3360391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8057ffdc529196423ecba8c0fe8bda95b0ddfdc0","datavalue":{"value":{"amount":"+0.8167672157287598","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":"Q579238$D1AE5C32-2865-41CD-8242-984A914D9AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d7cceaae428b0702d7cd6101ef78806fd4a123","datavalue":{"value":{"entity-type":"item","numeric-id":1071757,"id":"Q1071757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04093b186c2f52574354cee0fece5da025299fe9","datavalue":{"value":{"amount":"+0.7999956011772156","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":"Q579238$2F6416B9-DBDF-438F-B5CC-A8C488840ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e45ff96eb277faf1b16b6079cde6823c0102d7a2","datavalue":{"value":{"entity-type":"item","numeric-id":1080958,"id":"Q1080958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a988a182c142a3df88f81f169762a1cfdb0c3e65","datavalue":{"value":{"amount":"+0.7994669079780579","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":"Q579238$F340C784-CBAF-4532-8477-D7B24B010497","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theory of Abelian groups with constructive models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theory_of_Abelian_groups_with_constructive_models"}}}}}