{"entities":{"Q502150":{"pageid":503917,"ns":120,"title":"Item:Q502150","lastrevid":62311449,"modified":"2026-04-11T05:13:38Z","type":"item","id":"Q502150","labels":{"en":{"language":"en","value":"On non-forking spectra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6669860"}},"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":"Q502150$3EB8B5B5-CC17-4BDA-9429-C52395D30ECE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"408ffa7823fa30d2578ad55118d16094e7aee4f0","datavalue":{"value":{"text":"On non-forking spectra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q502150$0812AF66-64D5-4D4C-A4FC-B81A24C68295","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93a9c4c213cee9d732b78822f9343d68dd743acd","datavalue":{"value":"None","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502150$D91811CB-26B4-4599-B0DE-FC70C4E7AB47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96205c6d7e8eaafd27ef506251fded595614771d","datavalue":{"value":"10.4171/JEMS/654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502150$11FF3F06-C704-4900-BD29-5FE38CE10CF8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42d6099e6ff582b06f7bff19264fdf3a0df85d03","datavalue":{"value":{"entity-type":"item","numeric-id":386641,"id":"Q386641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502150$AD482342-A4AD-43EA-A117-2DD422CAB7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fe36c7c5213a38c4450f1e9b3914925c3c76ccf","datavalue":{"value":{"entity-type":"item","numeric-id":466121,"id":"Q466121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502150$9D53313B-0EE8-4BD0-823A-AA79330C085D","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":"Q502150$58FCF236-92D1-442D-AA64-35BE14A644FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"26780b1287f0091cd789fa2d15704011bf65df86","datavalue":{"value":{"entity-type":"item","numeric-id":171275,"id":"Q171275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502150$40FA2D98-E17A-4C48-B6EB-F3FA0104D011","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f57c8c15cda2b1d008784d4043522887c28a3df8","datavalue":{"value":{"time":"+2016-12-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q502150$DD933C9A-C73A-4972-8CC2-AB5194E7C5A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d08ae186ad18f050b5bbb3ea4f99750d54c9484c","datavalue":{"value":"https://arxiv.org/abs/1205.3101","type":"string"},"datatype":"url"},"type":"statement","id":"Q502150$9B06391D-0028-4155-A9B5-BA0771963C50","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1c67bf690d83cdd16adb355bfe030f08ea944763","datavalue":{"value":"Summary: Non-forking is one of the most important notions in modern model theory capturing the idea of a generic extension of a type (which is a far-reaching generalization of the concept of a generic point of a variety).{  }To a countable first-order theory we associate its \\textit{non-forking spectrum}--a function of two cardinals \\(\\kappa\\) and \\(\\lambda\\) giving the supremum of the possible number of types over a model of size \\(\\lambda\\) that do not fork over a sub-model of size \\(\\kappa\\). This is a natural generalization of the stability function of a theory.{  }We make progress towards classifying the non-forking spectra. On the one hand, we show that the possible values a non-forking spectrum may take are quite limited. On the other hand, we develop a general technique for constructing theories with a prescribed non-forking spectrum, thus giving a number of examples. In particular, we answer negatively a question of Adler whether NIP is equivalent to bounded non-forking.{  }In addition, we answer a question of Keisler regarding the number of cuts a linear order may have. Namely, we show that it is possible that ded \\(\\kappa<(\\mathrm{ded}\\kappa)^\\omega\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q502150$9CF33FF5-85B7-4839-8FE0-4F19E8FC33CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502150$EB2B70C5-5A2E-4055-A7ED-F92E4DF5CCFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02488e89072b0171b77a6763967bb5c4ce8445c6","datavalue":{"value":"03C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502150$F7CBA371-0428-473A-991B-C12F473C45C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502150$7742156E-3ED9-4CF2-9471-7E26FFBDAF70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9e7c746ab8de13a8531903eeb8047f717ffcf1a","datavalue":{"value":"6669860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502150$85881261-DB00-4192-A16C-5E1EBB43A443","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a1f0da3b3a9ceea147f0137c46e4c4cdaa2bea","datavalue":{"value":"forking","type":"string"},"datatype":"string"},"type":"statement","id":"Q502150$BE7D658F-5FD9-45F0-B9F6-B25C71B59D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc3acd0836c0b6d0788c84a3f87c4f2e01f6a0f3","datavalue":{"value":"dividing","type":"string"},"datatype":"string"},"type":"statement","id":"Q502150$F1BE5FE5-852B-4904-A6DE-9E934CDF9A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeeaf92d4955264f018294672b609d842f36d4ed","datavalue":{"value":"NIP","type":"string"},"datatype":"string"},"type":"statement","id":"Q502150$94A3CFC5-2F16-4E9B-A74C-75523B19C478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3700639236eb5fd008a093fa9bcd17e39e99b0e","datavalue":{"value":"NTP2","type":"string"},"datatype":"string"},"type":"statement","id":"Q502150$E6244CFE-4C0C-4E63-8010-C650C1B18B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddeebc35914b36ea7487edf382dca8c2bf0b9960","datavalue":{"value":"circularization","type":"string"},"datatype":"string"},"type":"statement","id":"Q502150$73836AB4-D8ED-4E67-BCC3-70D02077E688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d31326ef71090eaccf00aa802cf01d71d143cf2","datavalue":{"value":"Dedekind cuts","type":"string"},"datatype":"string"},"type":"statement","id":"Q502150$679B3470-CDFE-46E6-B6EF-B798459D10C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3e6e77720570f8376c2f9838e981d7a822b83e7","datavalue":{"value":"cardinal arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q502150$5065EAE4-CFF7-4C7B-9F83-7431AC798DE4","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":"Q502150$13D9372F-1F89-4F71-938A-A12218FE5241","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f97742f70f2fa88f0319467e792318aaa42e4139","datavalue":{"value":{"entity-type":"item","numeric-id":4106207,"id":"Q4106207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502150$CE41D971-A0C4-4D42-8234-2A467F25DF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d045a370bb1c7e051e19dc29baf297596931347c","datavalue":{"value":{"entity-type":"item","numeric-id":386642,"id":"Q386642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502150$443A4DF2-6FAE-420B-917E-C1BB4AA29F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2338b824f6354d248b089ca8101c79797072cb","datavalue":{"value":{"entity-type":"item","numeric-id":5388715,"id":"Q5388715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502150$424C1AB9-E4E0-4170-8B4D-EDC767BDADF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efc999489304dd452892df478331d82865dbc5e1","datavalue":{"value":{"entity-type":"item","numeric-id":2976260,"id":"Q2976260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502150$14DB9D8E-1281-4FDF-8AAA-4E598807505A","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":"Q502150$1DB54A68-4BA1-4241-9F9C-199C76505499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8cdb41587cec70217ab38af9544cd601650039f","datavalue":{"value":{"entity-type":"item","numeric-id":550563,"id":"Q550563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502150$1E7C36F1-DADA-4872-B403-7492F0542F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d542b29badc8a7fe50db3b8c16bd2d7c8d19ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4780924,"id":"Q4780924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502150$2874E7EC-CCEF-40DC-9150-65E1691CCFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1739c2b55475dfd43cc45c16cc81ebdb6214ea","datavalue":{"value":{"entity-type":"item","numeric-id":2547549,"id":"Q2547549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502150$23B565E5-4BB2-4C5F-AB45-8F02C8E8D4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f2108638814405c9ac92bc43812401c16cf1509","datavalue":{"value":{"entity-type":"item","numeric-id":4109667,"id":"Q4109667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502150$995CBE61-0F92-47A6-ACFF-0F6A37A4B85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f4bbe5491528e102f4686ba38f32fbc9beab1bf","datavalue":{"value":{"entity-type":"item","numeric-id":4716690,"id":"Q4716690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502150$05FBE09F-586E-40F7-93CB-B20DA7AB57DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cabcb33c6d666b779eda8df6727aad36d59e3e70","datavalue":{"value":{"entity-type":"item","numeric-id":1377641,"id":"Q1377641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502150$C6555BDA-A549-4912-A049-3AD1AD855573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"639e55c048e22ad1dc38d3e1d8f59586d3d43d4b","datavalue":{"value":{"entity-type":"item","numeric-id":1779281,"id":"Q1779281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502150$D65662AB-44F2-4D58-93B7-542BC085233A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddb4cc06b8d6814ebc2eef430b364e7b7ec7a2fa","datavalue":{"value":{"entity-type":"item","numeric-id":5668481,"id":"Q5668481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502150$8454495C-3B72-4384-AF11-631BF554291E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02cb24593ee65850d8625060d5ebba35ac0c5d3e","datavalue":{"value":{"entity-type":"item","numeric-id":3927218,"id":"Q3927218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502150$7E965812-ED6E-4EA3-B00C-E7AF38BE0345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51159239e04b5bddfbef23846d8c30fe25e60153","datavalue":{"value":{"entity-type":"item","numeric-id":4767312,"id":"Q4767312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502150$1767C052-5287-40E2-9254-24507901A1FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28f0bff5f2cdc15c85ed3c713c7c37f87d93425b","datavalue":{"value":{"entity-type":"item","numeric-id":3950543,"id":"Q3950543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502150$1DA211E9-3781-4DDA-B60A-7E05047742B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdd537d7c79629a306b1c31a7edd488677c2371b","datavalue":{"value":{"entity-type":"item","numeric-id":1088651,"id":"Q1088651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502150$669E1A39-B920-461F-ABF3-114FD3657934","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":"Q502150$5E75D01F-4343-4042-ABB6-332828B04B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a277a8828c9907ac9c7a3e479c7bed8e7fa629b","datavalue":{"value":{"entity-type":"item","numeric-id":2879568,"id":"Q2879568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502150$2C587AE1-FDC4-42C5-98DE-D7D9E391E931","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b2302705aed6ce4ad267d8385d9ddb6f46aac8b","datavalue":{"value":"W2962857921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502150$526A9F5E-617E-4F45-AE9D-0752D6762F7D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b74c471e3d090281ea56a73b0da0ac5f80e2c08b","datavalue":{"value":{"entity-type":"item","numeric-id":1589986,"id":"Q1589986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc90b7d5256ea44bd9e198ba4447f85937e92e2a","datavalue":{"value":{"amount":"+0.7638940811157227","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":"Q502150$3B26B58A-FCEC-4BDA-843D-8417A35691D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8be4452560cf88ce1a920f30a60e14faa259ef1","datavalue":{"value":{"entity-type":"item","numeric-id":4915325,"id":"Q4915325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed82fd9a4027352f0aaf92c99b370fcbb32508d","datavalue":{"value":{"amount":"+0.7633824944496155","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":"Q502150$0374FC02-86C3-438B-BDFA-80AB96BC7E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83c447e5d382f98071d8dc1824e27402ecc9d8ca","datavalue":{"value":{"entity-type":"item","numeric-id":1095889,"id":"Q1095889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abb4f69e0e73afa982365b17f18f0a6facf41467","datavalue":{"value":{"amount":"+0.7398679256439209","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":"Q502150$64A114C9-6C3A-4046-8251-AC953BC2A978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b079d4b10e2079056410bbf3372911661a88b26","datavalue":{"value":{"entity-type":"item","numeric-id":1935861,"id":"Q1935861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"130fc84787079fa96cf54d76901fe259a8c98704","datavalue":{"value":{"amount":"+0.7260006070137024","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":"Q502150$AD49FA04-C6B8-4C0B-B803-7B0E38F52D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4b8e241087664c79c33af8ed2052f41d48a7e35","datavalue":{"value":{"entity-type":"item","numeric-id":4934033,"id":"Q4934033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5164c1ca50bf19da592f6411951214a42d016de1","datavalue":{"value":{"amount":"+0.7255009412765503","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":"Q502150$D12BF9D1-233A-49EB-B355-9A330B293EA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On non-forking spectra","badges":[]}}}}}