{"entities":{"Q792316":{"pageid":794164,"ns":120,"title":"Item:Q792316","lastrevid":48698089,"modified":"2026-01-05T15:50:51Z","type":"item","id":"Q792316","labels":{"en":{"language":"en","value":"Number of constructive homogeneous models of a complete decidable theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3853048"}},"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":"Q792316$7A5350B9-70A8-40C4-BDCB-2F031247A878","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef48a480366aa1ac5dd225770d219fd067f50919","datavalue":{"value":{"text":"Number of constructive homogeneous models of a complete decidable theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q792316$785783AA-AD14-439C-84B3-1B6F10668036","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0cbd2ffc1b3c2304a786f832aa9b32e3f6263d13","datavalue":{"value":"0537.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792316$24BCC1AB-AA85-4F92-8314-2EDDDBD91F45","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"488e3b29984241ac9788f82e00b371d2d166744c","datavalue":{"value":"10.1007/BF01160872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792316$50D05CD9-1151-4124-8040-223A3462981C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792316$58F375A4-06D7-4429-B109-7D7E56BEE6C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q792316$D37C3652-E6FD-434E-86D6-86804CCA307F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"28ec969863f0eb09e3e06619c219ce02de4e4fd7","datavalue":{"value":"A countable model M is called strongly constructivizable if under some presentation \\(\\nu:\\omega \\to M,\\) the complete diagram of M becomes decidable. For every \\(m\\leq n\\leq \\omega\\) a complete, decidable theory \\(T_{n,m}\\) is (uniformly) constructed. The signature of \\(T_{n,m}\\) consists of infinite families of unary and binary predicates. It is shown that \\(T_{n,m}\\) has exactly n strongly constructivizable models and exactly m of them are homogeneous. The nonhomogeneous models of \\(T_{n,m}\\) have no constructive homogeneous elementary extensions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q792316$C41578B0-09EF-47AC-B65E-7EE0E65F3AC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792316$6795B389-19F8-4F12-8032-953F72C34F39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd8f178c3b81fe6bf21a2eedb21ef62cf492d3c4","datavalue":{"value":"3853048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792316$CD48AC5A-8FF8-455D-B3A6-0EECA1B13320","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3513ac961084dfa96e695402b9da579649c4e4ec","datavalue":{"value":"constructive models","type":"string"},"datatype":"string"},"type":"statement","id":"Q792316$3AD2FCF1-2D32-413B-B40B-0BDF0113B2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1f2207887d20a749e324218fd7aa57bda2c88c4","datavalue":{"value":"homogeneous models","type":"string"},"datatype":"string"},"type":"statement","id":"Q792316$68DA6F41-1F70-4CA8-9158-05A105503748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20a1759a98b8608808840b4e8e4b088abccd8202","datavalue":{"value":"constructivizable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q792316$10E50C4D-9BC7-476D-85A4-C68A4196074B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ab4445ed890393b5544a4fbe148f00f69a00ff4","datavalue":{"value":{"entity-type":"item","numeric-id":699098,"id":"Q699098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792316$013634CE-A7E9-4096-94A9-7128EB628D7C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cc2fe705c7d582d4c8ad19b50ec74a3e6e0c8ae1","datavalue":{"value":{"entity-type":"item","numeric-id":384285,"id":"Q384285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792316$F1508463-9BEB-4728-B851-E40DC568712B","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":"Q792316$76BE23E5-B189-4EB1-9C94-8C54CCF2E680","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee85f15db819554c5cddfac8ba3f64f52efb0bd","datavalue":{"value":{"entity-type":"item","numeric-id":3958432,"id":"Q3958432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792316$8D04AC89-E4ED-4F05-9AE1-F0E592980F8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2bcf022d4f9be7c5da80e11eb158e9d7a7e0d1c2","datavalue":{"value":"https://doi.org/10.1007/bf01160872","type":"string"},"datatype":"url"},"type":"statement","id":"Q792316$0C6DBCC1-1F8A-4E0B-ACDB-38F0CCE82A5D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10a7802390d6423f9e1052081693ed1f1fe48ed9","datavalue":{"value":"W2061805487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792316$CF6CC460-1E22-497B-B908-47436FB197A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76813f38e8bada275a47a4c1a431660bd7801de3","datavalue":{"value":{"entity-type":"item","numeric-id":3734376,"id":"Q3734376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50184afe3b4f84954ba556efd9b2734a15448d88","datavalue":{"value":{"amount":"+0.8095983862876892","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":"Q792316$E6F83BAC-DA3C-4363-8EC4-7F6B23E515A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25fc53ed3d79373a7fdac8657e1cfc6c656172de","datavalue":{"value":{"entity-type":"item","numeric-id":3028991,"id":"Q3028991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e724b6bc7e3242c3229742b99d22c98557ab6877","datavalue":{"value":{"amount":"+0.808253288269043","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":"Q792316$BCCDE807-1D2C-4206-AB90-F9220658A710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a6b3edab07cec05f1b711e0c61bbf7c301403c9","datavalue":{"value":{"entity-type":"item","numeric-id":1061735,"id":"Q1061735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f31d57b115884b07147b20f612515c30bd07e22","datavalue":{"value":{"amount":"+0.7928625345230103","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":"Q792316$6A2F117C-5649-461C-9E8B-1DC4C4F0009A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d26e34d4cfba073b599538f80bde3a58e11b6d34","datavalue":{"value":{"entity-type":"item","numeric-id":3819048,"id":"Q3819048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"473aae65209b13017b91d1f022b0da6e83ff0bfb","datavalue":{"value":{"amount":"+0.7884305715560913","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":"Q792316$55B2E6D2-B9AE-495C-B425-AD4667554E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"637adb7d572925fae9be90b184d7687ca35b235a","datavalue":{"value":{"entity-type":"item","numeric-id":1071755,"id":"Q1071755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a68db868c8bd7a9f80d2151e3c653d433dfb6fa","datavalue":{"value":{"amount":"+0.7881426811218262","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":"Q792316$EAAE45F8-8B37-4D6B-9F29-0D8275EAEEA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:792316","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:792316"}}}}}