{"entities":{"Q911581":{"pageid":913429,"ns":120,"title":"Item:Q911581","lastrevid":49367608,"modified":"2026-01-07T01:13:58Z","type":"item","id":"Q911581","labels":{"en":{"language":"en","value":"A dichotomy theorem for regular types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4142020"}},"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":"Q911581$DDC2BFEA-57B8-41A9-A02B-8E54E96A9602","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0c9b88c10b498dfcdb6d285d78bda16581bd6ae","datavalue":{"value":{"text":"A dichotomy theorem for regular types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q911581$2A3D45C8-2DF0-4C12-AA1B-B3113AD61942","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c11cc55d1e06d6202fb16a9ff6480af51a17a9d2","datavalue":{"value":"0697.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911581$04CB0C7A-8A85-4E2B-AA13-A9684DE36CB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c10ed4c07322473bc6c5452bd695b8896ec110cb","datavalue":{"value":"10.1016/0168-0072(89)90059-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911581$F84BF770-78C8-4A28-8FE8-FBE66A98F64D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81a36459acd27218b07e422d4afc40831fc6943c","datavalue":{"value":{"entity-type":"item","numeric-id":207406,"id":"Q207406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911581$44BF69CD-DFD9-45F9-8CD6-D605A37516CB","rank":"normal"},{"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":"Q911581$CEBC3437-97CA-4472-BEA4-A4B421696049","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":"Q911581$B67D18EA-63F6-4E3A-8159-96A0D8762DF3","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":"Q911581$23C69657-27C0-4120-B2A6-723E37411656","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e91f7e7510f9e9bd3cb7a77e94fe4fbd91e5ad00","datavalue":{"value":"For a superstable theory T without OTOP it is proved that every regular type is either locally modular, or non-orthogonal to a strongly regular type. If T does not have DOP as well then every regular type is either locally modular or strongly regular. To prove the result the authors show that for a nontrivial regular type p, p-weight is continuous and definable inside some definable set D of positive p-weight.","type":"string"},"datatype":"string"},"type":"statement","id":"Q911581$0497A1A5-6723-4D7E-B9D7-A30837F7CAF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911581$E0A2D2DA-772D-4FA0-B095-E3C13B9FD2DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d635083f775ed1505527c1cc399ee5f8c8284c03","datavalue":{"value":"4142020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911581$53D65ECC-04E4-4A67-95A0-287BE5701EE2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7f3f98a31b5e5f9ccb81c33cbafad5554a32079","datavalue":{"value":"locally modular type","type":"string"},"datatype":"string"},"type":"statement","id":"Q911581$2C612A48-E462-4FDD-B6E1-F6E97608B182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f352f2369a52958b19c72b85640cadea70ea031","datavalue":{"value":"superstable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q911581$A4F72DB5-7FF5-4F0D-B3C5-30F3CAE6B726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"915fe2995cfe0f3dc3891fde61514097ed23bd38","datavalue":{"value":"OTOP","type":"string"},"datatype":"string"},"type":"statement","id":"Q911581$1B0657D7-2C01-4961-A8CA-BC3F596CF828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"104db5c777472f455e83baf604ed0de79e53c1e9","datavalue":{"value":"regular type","type":"string"},"datatype":"string"},"type":"statement","id":"Q911581$2CDDA6A8-C4BC-4AEB-B6CF-C288B43B4B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d58c5b3035e087984b148a98e22f81e60abdeda","datavalue":{"value":"strongly regular type","type":"string"},"datatype":"string"},"type":"statement","id":"Q911581$31DE8430-E47B-45B3-AD5C-58CF0888909F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4329d2f707479f9b05d3ab3ee32cdda505adb02b","datavalue":{"value":"DOP","type":"string"},"datatype":"string"},"type":"statement","id":"Q911581$C03BE0D0-B90F-4B3F-8267-39DF1043F8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d751ff8a619d8e534229867ed8f915a2163e8d9d","datavalue":{"value":"p-weight","type":"string"},"datatype":"string"},"type":"statement","id":"Q911581$56E63B0A-4118-4065-A9E1-10A99AE6F14D","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":"Q911581$BF55AB4B-67E0-4A52-882A-27FAC8E1FF7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a7dcea9db6ccd866dab25e7c13aece8949c5e05","datavalue":{"value":"https://doi.org/10.1016/0168-0072(89)90059-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q911581$7F0B9BCF-576B-48C9-A020-CF8FAE1F6160","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d5d92dd6494e093adf541d8a56e6503ec7a57a4","datavalue":{"value":"W2055344668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911581$C979D8F8-805D-472B-B686-D16C9EA7133A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f15f1cecb3446b5d9bc54bbb508d34e5ccf29254","datavalue":{"value":{"entity-type":"item","numeric-id":5682320,"id":"Q5682320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911581$00F3B7ED-5EE1-4E1F-A12F-85C79D1515C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efb8f4d01e8a1840d20d46f4aa5a80dd05b6e1d5","datavalue":{"value":{"entity-type":"item","numeric-id":3757899,"id":"Q3757899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911581$B6E794D2-B6ED-42E2-83F9-D401F25DC3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c81af995ef3b662579981193f1476553be4f5357","datavalue":{"value":{"entity-type":"item","numeric-id":1059068,"id":"Q1059068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911581$B3D81C03-9B71-4756-88AB-DD27FE75739D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9bb1c8010874eb7732cda3c44e9208aaec31150","datavalue":{"value":{"entity-type":"item","numeric-id":4735180,"id":"Q4735180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911581$98067523-E47D-4436-AAA0-AD94857ACFF8","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":"Q911581$3740C850-7546-437D-9FC5-C5D395C08E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f8a1ed5779791c67355ba949f00762532039722","datavalue":{"value":{"entity-type":"item","numeric-id":749523,"id":"Q749523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911581$F513FE64-9D33-4C38-941F-473137DFBA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84eccdc4b092e88d4f744fa5cda52c3194b40e8a","datavalue":{"value":{"entity-type":"item","numeric-id":3829541,"id":"Q3829541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911581$9D3687DF-F1F7-48B1-8D95-DC044B146098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7358e709accd976b1dddd3d15df66f55546a3f62","datavalue":{"value":{"entity-type":"item","numeric-id":1225615,"id":"Q1225615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911581$9B275D41-177E-47F9-B46E-04C2EC80F094","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":"Q911581$F3A85564-B964-4EF5-A629-351D82C300B9","rank":"normal"}],"P1643":[{"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":"02ba16bf54b22d67cd712e701d773d1841954bbf","datavalue":{"value":{"amount":"+0.7998740673065186","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":"Q911581$30217B49-A7BA-4A37-ABAD-CCD515F8D09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f6abe6bb57eb65e61fb039ff070135ad1592182","datavalue":{"value":{"entity-type":"item","numeric-id":911582,"id":"Q911582"},"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":"Q911581$ED120C1D-07F8-4521-92A5-BFC6BB088BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33fed8858667143053761ec7d988770921169f5b","datavalue":{"value":{"entity-type":"item","numeric-id":866554,"id":"Q866554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"814807743d2e28076447716b82b421ff7046179f","datavalue":{"value":{"amount":"+0.7809746861457825","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":"Q911581$86F13C45-DD64-488C-A46E-76D005B10BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"793fcba8eac229ccf989c9d3f8ce2a7e03cd8246","datavalue":{"value":{"entity-type":"item","numeric-id":5251372,"id":"Q5251372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18bf0926dc62ad0aebd9a243a6cafd64d8c684b8","datavalue":{"value":{"amount":"+0.7730056643486023","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":"Q911581$4115CEDA-8490-490C-8CBA-775057D2BA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"849fbc4d852a7f8c45d894e9c085bb9e31471a90","datavalue":{"value":{"entity-type":"item","numeric-id":3726096,"id":"Q3726096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8c21639069522356533344cee25d012962a1c47","datavalue":{"value":{"amount":"+0.7508407831192017","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":"Q911581$CE4387A3-E483-4070-9646-FFB8A453817F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:911581","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:911581"}}}}}