{"entities":{"Q2856635":{"pageid":2867355,"ns":120,"title":"Item:Q2856635","lastrevid":83920181,"modified":"2026-05-07T14:30:47Z","type":"item","id":"Q2856635","labels":{"en":{"language":"en","value":"Upward Morley's theorem downward"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6220969"}},"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":"Q2856635$13049686-12A4-4B87-A5D4-4560B4BF381E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9fae7313a4bdfb1f2423cc0126909bac20a0af43","datavalue":{"value":{"text":"Upward Morley's theorem downward","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2856635$C5D009A0-7FBA-4E31-8B5C-068C522DE178","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"286adeebdf8b661aa615c836d47c81e3d51ecbf1","datavalue":{"value":"1314.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856635$FADD8143-B5B7-4D1E-87F1-5377659119EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e71c19e87340dba88ba954fa31440b4fe6e422a9","datavalue":{"value":{"entity-type":"item","numeric-id":861611,"id":"Q861611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856635$D4B62EAF-0E88-44FD-9607-54D79F039DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"555c35713712a6d59ff0fe4c34c692ebbff93266","datavalue":{"value":{"entity-type":"item","numeric-id":331022,"id":"Q331022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856635$2DFB7E8F-EDD4-4650-AF0B-83D3AB59B301","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45da5aadb8800ba43f09f9cebbbe7dc2b44f0a61","datavalue":{"value":{"time":"+2013-10-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":"Q2856635$E7D1D44B-68F7-4B23-9BCC-6330D9099A16","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"efdd64901a89aa77202cd2162b34e45782aeef75","datavalue":{"value":"http://real.mtak.hu/10050/1/FiniteMorley_published.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2856635$A34F9B22-7410-4386-8D22-F33ADFE5D68C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856635$5575954C-811C-41BC-9F42-13F99FB9564A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856635$A73A1E5C-24F0-44DA-B524-0BB9D13CE76F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2785a964739681e8231fee4de8f7d657fb50f4f","datavalue":{"value":"03C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856635$410E2B38-EF3C-4638-9270-14980D3D51CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c16274821002875a239bf7aa1a0219784c6e34e","datavalue":{"value":"6220969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856635$7A192F9F-6D1A-4B6E-9AB3-11CD55F5C3CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a3b417213f1366c965da801b8e017a31000b8ab","datavalue":{"value":"categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856635$C4A9FF0B-84CD-4910-BFAD-74EA73451775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62e02371642cec8856a2b0f1982452bbc08d0d63","datavalue":{"value":"finite models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856635$0DE92EFC-017E-4F29-A372-250D8ED66CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c545a6d029705ad9a6670c36e7e8e69f4065e692","datavalue":{"value":"ultraproducts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856635$2FA391AF-A466-4604-AD74-F47C24E120F7","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":"Q2856635$F4544C27-BBBC-4D43-A593-E048F5880EFD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3617a4758fb3ea347a1ac38187354cb53f1ed48","datavalue":{"value":"W1951085807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856635$CAC1DB4C-F6A6-46A3-A435-71D6E5362D17","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf4d8dbed61d90a2ddfc16a620260d1700f90bcb","datavalue":{"value":{"entity-type":"item","numeric-id":4807555,"id":"Q4807555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856635$07A2F6E2-BB04-49B8-98F8-5E76EA97D7E8","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":"Q2856635$5D55735A-B2A7-455E-890E-BA615B7731EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b40c351a03423710c782c4923ea7851032ea08e","datavalue":{"value":{"entity-type":"item","numeric-id":3159417,"id":"Q3159417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856635$EA4B4E60-0E43-4DBD-8AC6-6BBA9721B3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf44416f275c86e5b4293c141df3f2e4bf7eccd","datavalue":{"value":{"entity-type":"item","numeric-id":4336034,"id":"Q4336034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856635$4E9B6B39-8850-4A07-8BA8-C0C1B50DC6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856635$AA900290-F1AB-47BA-9134-73EA76FCCD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01e2ffc1c93aaed1a818294aea2644d622de3c6","datavalue":{"value":{"entity-type":"item","numeric-id":5529481,"id":"Q5529481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856635$AF2A77B7-321B-40FE-BAAD-A567DF591E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0357d823bb70dd5a20d10e7a6cf8f1a9910f32de","datavalue":{"value":{"entity-type":"item","numeric-id":4531089,"id":"Q4531089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856635$9FB2FB74-9E2A-4202-A6E9-7B8C6558C0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b7175bc024dd0d7e33bbef41a5b57fd720263bd","datavalue":{"value":{"entity-type":"item","numeric-id":4680370,"id":"Q4680370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856635$ACE981C1-488F-4BEE-9283-2A44F4FDABA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22450444fbf0aa05cda2f9f22f04cfcec39a5fa7","datavalue":{"value":{"entity-type":"item","numeric-id":3926557,"id":"Q3926557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856635$2B80604D-9B74-4189-A4B9-A521C0C84EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe237b4d71513bce66ecb327be5b550eb95d6d65","datavalue":{"value":{"entity-type":"item","numeric-id":5288959,"id":"Q5288959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856635$A6550407-AEC1-458F-83B1-C57F4FCF8D23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e65a87673c08f88dd63ae0ea565e5677f95addf8","datavalue":{"value":"10.1002/MALQ.201110048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856635$56B8D741-413E-4D6C-9B96-C098A2401A49","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51fd73a1eaea0eb968ad75f421ae2af1975561c5","datavalue":{"value":{"entity-type":"item","numeric-id":3362941,"id":"Q3362941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"045815371503eb977ca9964585338a0d6873b2e1","datavalue":{"value":{"amount":"+0.78248274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2856635$039DC9B1-CEF9-428C-8790-F805874185A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b77cf353efe185641b9cc4dda5894c12732d863","datavalue":{"value":{"entity-type":"item","numeric-id":5294703,"id":"Q5294703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fec2e1969aa5d2f4a6316013ebb000e36faa2c6d","datavalue":{"value":{"amount":"+0.7684728","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2856635$EA4FEDCC-B9C4-4711-BA5F-888858C0CA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e256d0512f5a41b4f02586b8f0ff2b6f9fb6125","datavalue":{"value":{"entity-type":"item","numeric-id":3410676,"id":"Q3410676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a52229d939c264f7ce6bad9b4434fa8ba63800e","datavalue":{"value":{"amount":"+0.76250273","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2856635$6EFD5B37-CAFF-476B-A3AF-2F560C2CBBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c2247865eb2635b5df46d477e34b75eacc6c93c","datavalue":{"value":{"entity-type":"item","numeric-id":3362611,"id":"Q3362611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54a958b6630889d7ed55f5caa426ab4edce2caa4","datavalue":{"value":{"amount":"+0.76239413","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2856635$594D3307-2E75-48F2-A6D9-8C42F05D424F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23f6dbc87515520f9dd044f645af6fa4a30a0baf","datavalue":{"value":{"entity-type":"item","numeric-id":4314674,"id":"Q4314674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"129398b58a7da3a99eef925162bbe409f352b483","datavalue":{"value":{"amount":"+0.75723505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2856635$FE33CF20-2643-499B-8884-13E6F975F114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f57dc884c1813a90099ca97ec6b674dc1014697","datavalue":{"value":{"entity-type":"item","numeric-id":5718690,"id":"Q5718690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b73b5107726fe8336f8fe2dc9fbc7b6121b2ca64","datavalue":{"value":{"amount":"+0.7509617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2856635$B584CF3A-F1CF-448A-BFE1-64AFE46D54BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b57fefbf7f7336ea762fd36bb51912da6a91029","datavalue":{"value":{"entity-type":"item","numeric-id":4779640,"id":"Q4779640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"609e0e64812722190c71f5b014f603704f332dab","datavalue":{"value":{"amount":"+0.74983025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2856635$0B8B67EC-C7DE-4EBD-98A3-2061AE80561E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24a664ac5f926c85ad20729582aa53613e253a62","datavalue":{"value":{"entity-type":"item","numeric-id":2433744,"id":"Q2433744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39cfac2bcf0c638b610f1d5d5c0aa027d324caf9","datavalue":{"value":{"amount":"+0.749792","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2856635$90943C93-D7A7-4288-9E3A-400AFE8DB627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"263a4f76d76c4b852780d50a3a6ff1d93444e8e1","datavalue":{"value":{"entity-type":"item","numeric-id":5195067,"id":"Q5195067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f7534c194c21dd23f1e197413f9b49a8ff41df5","datavalue":{"value":{"amount":"+0.7472935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2856635$2E105B78-36E8-427F-AEA3-DF552299E42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7694b3f4c745455abab62db4fdb6679a74dbe3bd","datavalue":{"value":{"entity-type":"item","numeric-id":3798642,"id":"Q3798642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ba40cc1d2b569de1826adc74d9438ef2caf368c","datavalue":{"value":{"amount":"+0.7472142","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2856635$24350F20-03C5-45E2-A296-219398F72697","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68cefe03c91c7bc1481d1ede29225e2a54af1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6561648,"id":"Q6561648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856635$FABDD867-D9AF-40CA-BE83-B07683EDF450","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"162b6c09eb23e41efa567609b6e87cdb5b3111d6","datavalue":{"value":"This paper studies the possibility to extend Morley's theorem to the finite case. Morley's theorem states that a countable first-order theory is \\(\\aleph_1\\)-categorical if and only if it is \\(\\kappa\\)-categorical for all uncountable \\(\\kappa\\) (for a reference see [\\textit{M. Morley}, Trans. Am. Math. Soc. 114, 514--538 (1965; Zbl 0151.01101)]). The authors show that \\(\\aleph_1\\)-categorical theories not necessarily have a unique \\(n\\)-element model for each finite natural number, up to isomorphism. They present finitary analogues to the notions of elementary substructures and, in their main result (Theorem 1.2.) they show under which conditions a theory can have what they call the \\textit{Finite Morley Property} (FMP). A theory \\(T\\) has the FMP if for every natural number \\(n\\), \\(T\\) has at most one \\(n\\)-element model, up to isomorphism. They introduce a new method of extending elementary maps between certain uncountably categorical structures. In the case of strongly minimal structures, they prove that the conditions on Theorem 1.2. can be simplified. Examples to which their theorem can be applied are infinite dimensional vector spaces over a finite field, and algebraically closed fields of a given positive characteristic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856635$ED114B9C-C39C-456A-9266-1A58E3654288","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Upward Morley's theorem downward","badges":[]}}}}}