{"entities":{"Q911582":{"pageid":913430,"ns":120,"title":"Item:Q911582","lastrevid":49367611,"modified":"2026-01-07T01:13:58Z","type":"item","id":"Q911582","labels":{"en":{"language":"en","value":"On the existence of regular types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4142021"}},"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":"Q911582$A201858C-E8C0-40C4-AB47-6DD2F28B808E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"366645b29ecdea5ec7f4910f737192624319d068","datavalue":{"value":{"text":"On the existence of regular types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q911582$D6A173C4-135B-423D-A34F-45A8B3F583A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74fbe4c22c36cd8ac1811b2ac6cdec35d925ad7f","datavalue":{"value":"0697.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911582$E34414EC-DD94-49D7-80B9-0681153C74BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3cfde65adbe53e1aa0b5aefd61a476f5a4f7cdfc","datavalue":{"value":"10.1016/0168-0072(89)90039-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911582$A05820B9-2A32-4B9C-819B-BB2895DAB34D","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":"Q911582$04D6268E-D833-47BE-85EC-543E9F9D70D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df1dcc84459b1e38d34032cd836820ec3fc26a89","datavalue":{"value":{"entity-type":"item","numeric-id":581393,"id":"Q581393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911582$CF70D4B6-3680-4754-B3EC-85B28333F29F","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":"Q911582$58959419-5A0A-4531-9E93-1CF26E2373F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q911582$447F74C7-22F2-47FD-9B6E-86C754744A4D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"df3d6bca681955db3f92be7037ae8f1a7c8b0d60","datavalue":{"value":"Suppose that T is superstable and \\(M\\subseteq N\\) are distinct models of \\(T^{eq}\\). The main results of the paper state the existence of regular types over M which are realized in N (without or with some additional conditions). Their analogs are well known for totally transcendental theories. Using these results the authors obtain tree decompositions of models in superstable theories with NDOP and show the constructibility of a model over its decomposition with respect to a very strong isolation relation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q911582$E2559540-469D-40C5-9C60-7DF9186027C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911582$2F7034F2-6D29-4875-AC51-52CE2FA0DF12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05bed59e8b4866b229bdf7cf7ff6759283d944a0","datavalue":{"value":"4142021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911582$C02AAC30-BF49-409B-BB61-C9D77CC058AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34e2aea82bcbc1785116ba1a7fd2c55f61b952f1","datavalue":{"value":"prime model","type":"string"},"datatype":"string"},"type":"statement","id":"Q911582$7963F6B0-FAED-4B56-AF89-EC96D624BEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8d6afb37e5a2932780f1f9df89fb09290a12e22","datavalue":{"value":"regular types","type":"string"},"datatype":"string"},"type":"statement","id":"Q911582$AB6FEBA2-D59E-4315-9404-9740D516CA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6a311d212bf43d253aab888d4c7422175e17543","datavalue":{"value":"superstable theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q911582$2ED8A77A-F7AD-42B5-98B9-765EB44AE32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38844db7d9d0a01be43e8d5bc4afccd5ab8820cd","datavalue":{"value":"NDOP","type":"string"},"datatype":"string"},"type":"statement","id":"Q911582$19A10E91-9C3D-4A64-A9E1-BF6C027BA4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccb84f30eeaea541a171ab4b294907fe4eeb2ce8","datavalue":{"value":"isolation relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q911582$76EEDFF6-8FAD-445B-A6C8-44A2ABE39746","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":"Q911582$A100D767-E8AB-4DF7-8EF1-A794D510C674","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c81719253b7a8b397b5227ab0415e1233d99c66","datavalue":{"value":"https://doi.org/10.1016/0168-0072(89)90039-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q911582$9C90021C-2E71-4AFD-A8AD-A3811871887E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95a11bdba3ff95a122dfbabce8235f9ec25df17a","datavalue":{"value":"W1991517235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911582$578536B2-BE8D-4ABE-9FFA-43DCE2816CCA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cab89f6af63698f8efaed15e0673f08a977b1d69","datavalue":{"value":{"entity-type":"item","numeric-id":1115856,"id":"Q1115856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911582$F6274041-9E78-4C4B-8273-139287158B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364c1317b945797a63ea4cd97c1e97b40f348dba","datavalue":{"value":{"entity-type":"item","numeric-id":3762298,"id":"Q3762298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911582$2E78BB56-8A63-448D-B7F2-D32D118CD654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80a0234b3cfba51d57c735c72d880bd576d2eed3","datavalue":{"value":{"entity-type":"item","numeric-id":3801534,"id":"Q3801534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911582$96B6A852-6212-45E9-9679-B44C430A07D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ea0679d80fdd246d04751eb7093c3d1270e1cb6","datavalue":{"value":{"entity-type":"item","numeric-id":1073784,"id":"Q1073784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911582$03FD69D6-33C0-4445-8361-CE203230FD98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3f5a5e4f8a1923af7ef78e4d489703362f6fcf8","datavalue":{"value":{"entity-type":"item","numeric-id":3784054,"id":"Q3784054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911582$013CE23A-3FD8-43D9-B5FD-B338ADE3BDF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bf54943d63d582d51ab75ed542be53105a34462","datavalue":{"value":{"entity-type":"item","numeric-id":911581,"id":"Q911581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911582$EDF589F6-17D5-4CCF-B33A-10F907734948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6de2e97cfd28ea719ced4227f556878363f58d68","datavalue":{"value":{"entity-type":"item","numeric-id":5606563,"id":"Q5606563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911582$44505E99-EB21-4B24-999C-5752D5C44A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845e150212d654bccc028ca901294dffd6a607ea","datavalue":{"value":{"entity-type":"item","numeric-id":1069927,"id":"Q1069927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911582$50C02E86-EF95-4C05-A066-7730EC127B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b5f65cff31d9bf758cb0757cf214acacbcb8138","datavalue":{"value":{"entity-type":"item","numeric-id":788713,"id":"Q788713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911582$0006D0DC-A0C6-4B2C-ABD6-585D8C3EEDC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca1fc9eeb60ebf26469cb0e147d765c168a22140","datavalue":{"value":{"entity-type":"item","numeric-id":911581,"id":"Q911581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adb262bdc4640318e25eb210403836f27b426824","datavalue":{"value":{"amount":"+0.7928252220153809","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":"Q911582$05832AB3-68B9-471E-B9D6-5EF1E8865D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6aaf51676b2bbbdd3d63dcc5208c498ddefdd6cf","datavalue":{"value":{"entity-type":"item","numeric-id":911580,"id":"Q911580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f03c5f721ded8112f1d89a3915c0aeade855a5f2","datavalue":{"value":{"amount":"+0.7383543848991394","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":"Q911582$6BABDD3E-23A0-420E-A83F-B44919B79800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52aa7b8f221e4c43179db79dad85167422388f73","datavalue":{"value":{"entity-type":"item","numeric-id":4292591,"id":"Q4292591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd261ecec9e2fec4d7e0d3cecb562e93a28d8925","datavalue":{"value":{"amount":"+0.7378937602043152","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":"Q911582$4B0C7891-D0C4-4151-AA43-C9304C40A446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"575eac0a7bfbae6b053851c7f42d2bbc9e76ea34","datavalue":{"value":{"entity-type":"item","numeric-id":5499007,"id":"Q5499007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a0cc069b14924d0ff2cec04602ca09dfdfe6f34","datavalue":{"value":{"amount":"+0.7371975779533386","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":"Q911582$573B557F-8B60-4971-95BE-DF45E90B2454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa1e497766ac35c29f0e7e98cf3cc19efe47729e","datavalue":{"value":{"entity-type":"item","numeric-id":1182840,"id":"Q1182840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3f653fe5038b9537dd14d174a086a48c241267b","datavalue":{"value":{"amount":"+0.7332718968391418","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":"Q911582$E5525E3F-B76F-46C4-B942-FDDF4E53019A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:911582","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:911582"}}}}}