{"entities":{"Q636336":{"pageid":638184,"ns":120,"title":"Item:Q636336","lastrevid":63168078,"modified":"2026-04-11T11:03:47Z","type":"item","id":"Q636336","labels":{"en":{"language":"en","value":"Types directed by constants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5943633"}},"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":"Q636336$5F88001C-4A90-4D61-BA15-E7949B87A905","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"805a862a3cd5e362b2d201dbfcf7d5e7f26ad248","datavalue":{"value":{"text":"Types directed by constants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q636336$10882F13-8619-4FF0-B9F4-1162DB7AA400","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea99185fa967df85880643867da3d9cce1f43d1a","datavalue":{"value":"1228.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636336$CC8701FC-F71A-46FF-89CE-73CE784DD6CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2500fcf562590cf76ae74dd50de16b08e0c1ac5","datavalue":{"value":{"entity-type":"item","numeric-id":377461,"id":"Q377461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636336$1F9A1FA1-7E7A-4956-8E12-F7769C745B9D","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":"Q636336$F82950C2-8C49-4403-9D9D-4EFE5E93D35C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8f347fb3b92d10259e32e7ae3b68d43ebb98729","datavalue":{"value":{"time":"+2011-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q636336$11A18CB1-519C-41AD-9A9A-2A28B504D73A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"251942172f94b5268f3036443b03ee0294b6869b","datavalue":{"value":"The paper under review is inspired by Shelah's proof that a countable theory with an infinite definable linear order and Skolem functions has \\(2^{\\aleph_0}\\) non-isomorphic countable models. Shelah first reduced the analysis to the capital cases of \\(\\text{Th}(\\omega, \\leq, \\ldots)\\) and \\(\\text{Th}(\\omega + \\omega^\\star, \\leq, \\ldots)\\) and then coded suitably many linear orders in the countable models of these theories. The author is interested in a similar coding in the theory \\(T\\) of a partially ordered (saturated enough) structure \\((M, \\leq, \\ldots)\\). One assumes \\(T\\) to be small. An infinite subset \\(C\\) of \\(\\text{dcl}(\\emptyset)\\) is fixed in this framework, satisfying the following conditions (resembling the behavior of \\((\\omega, \\leq)\\)):   \\(\\bullet\\) for every \\(c \\in C\\), the set of \\(x \\in C\\) such that \\(c \\leq x\\) is cofinite in \\(C\\),  \\(\\bullet\\) \\(C\\) is downward closed under \\(\\leq\\).  Then \\(C\\) determines a possibly incomplete 1-type \\(p_C\\) over \\(\\emptyset\\), that is, the set of accumulation points of types of elements in \\(C\\). It turns out that \\(C \\cup p_C(M)\\) is an initial segment of \\(M\\) and \\(C < p_C(M)\\). The type \\(p_C\\) is consequently called \\(C\\)-directed. The proof is based on a nearness relation (according to which, for \\(a\\), \\(b\\) in \\(p_C(M)\\), \\(a\\) is near \\(b\\) if and only if \\(a\\leq b\\) and \\(\\text{tp}(a/b)\\) is not finitely satisfiable in \\(C\\)) and a related \\(C\\)-independence notion (saying that a sequence \\((a_1, a_2, \\ldots, a_k, \\ldots)\\) is \\(C\\)-independent if each \\(\\text{tp}(a_{k+1}/a_1 \\ldots a_k)\\) is non-algebraic and finitely satisfiable in \\(C\\)). Using smallness, \\(T\\) and \\(C\\) are slightly modified to make \\(p_C\\) complete (and so-called strongly \\(C\\)-directed). As a consequence, the equivalence relation generated by nearness becomes particularly well behaved, which ultimately leads to the main theorem of the paper. This says, in the sketched setting, that {\\parindent=4mm  \\begin{itemize}\\item[{\\(\\bullet\\)}] if \\(I \\subset p_C(M)\\) is a maximal \\(C\\)-independent set, then \\((I, \\leq)\\) is a linear order and its isomorphism type does not depend on the particular choice of \\(I\\);  \\item[{\\(\\bullet\\)}] for every linear order there is a model \\(N\\) of \\(T\\) such that the order type of a maximal \\(C\\)-independent subset of \\(p_C(N)\\) is isomorphic to it.    \\end{itemize}}  Types directed by constants are introduced in arbitrary countable complete theories \\(T\\). As a corollary of the main theorem, it is shown that, if such a theory \\(T\\) has a type over a finite domain which is directed by constants, then \\(T\\) has \\(2^{\\aleph_0}\\) non-isomorphic countable models.","type":"string"},"datatype":"string"},"type":"statement","id":"Q636336$BAD9A33E-AEE3-4003-A2B9-506EE9FBF6B5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5b44ab2ab89d6b11aa6f7da0ef60936cfd52cfe4","datavalue":{"value":{"entity-type":"item","numeric-id":190304,"id":"Q190304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636336$50B31B6D-BB7D-475B-A0DC-F8E5ECD790AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636336$53F1BC0B-9361-4267-81B5-7428B339BB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636336$5D16C253-9306-4C8F-8B51-12882A8B1CA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10e3a5c794a49a576330ba3127412279f390b991","datavalue":{"value":"5943633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636336$E070C2EB-C30C-4E35-9A53-DD652DCC64D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ca718c310661d52c34d634bf44ae8831b2eba02","datavalue":{"value":"small theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q636336$F93A3FC5-156E-4822-93CA-958B6D4DADDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5058b1e1a86c7c1adb37dc5cf7ffe28ec77954e9","datavalue":{"value":"quasi-order","type":"string"},"datatype":"string"},"type":"statement","id":"Q636336$E91B4466-CE68-45F7-8E32-A197F12A1577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d1361f218042f0a0d8209641550aac3109ddf03","datavalue":{"value":"type directed by constants","type":"string"},"datatype":"string"},"type":"statement","id":"Q636336$3D7BDDA5-2741-4905-A155-8F9B0EAE26CE","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":"Q636336$4BD654B4-4B8B-491D-BFC7-B0DD67AA366E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd53f2a2404e5bb8354e88613f531a1beb2d92ef","datavalue":{"value":"https://doi.org/10.1016/j.apal.2009.12.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q636336$731714F8-F41C-4E94-A85B-24F0B88398C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"78cc565238f270d036fe779b7dc46f6b0d1cc31e","datavalue":{"value":"W2007443434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636336$E02E19AA-2893-46B2-A38E-25B3D1E546BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3a09a3cef58b1953701f1bfb0da08ec8a6c0ced","datavalue":{"value":{"entity-type":"item","numeric-id":4175534,"id":"Q4175534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636336$1835E9FB-1FC0-4981-AA32-6E77EF11E3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7822813cbb7bc0a6db670601c0050317db9e5916","datavalue":{"value":{"entity-type":"item","numeric-id":3882435,"id":"Q3882435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636336$840AB51E-B6B7-4525-AC9A-EE226395453C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e069e4af4903fe17f937d3f5653752cdb5a24b01","datavalue":{"value":{"entity-type":"item","numeric-id":3335761,"id":"Q3335761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636336$69B13362-8B1E-48B7-B7E3-8B0EED17E06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7990836ad6ffe7d0ce9ae422d3fdca5fd918fad","datavalue":{"value":{"entity-type":"item","numeric-id":1122570,"id":"Q1122570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636336$6B4D4441-D114-4029-A925-AC5290798D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"711555b09909a49477974f3ac1dedcef0e3308f0","datavalue":{"value":{"entity-type":"item","numeric-id":4198507,"id":"Q4198507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636336$88AC81A1-5D90-4EC9-9F73-61FF3ED669F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88dbc8fe64d674c790e35c931c353b6baa27e874","datavalue":{"value":{"entity-type":"item","numeric-id":5308744,"id":"Q5308744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636336$9E096B4C-CBD2-4FEE-8718-21FE222CA33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25a4195fc1eead772b31eb604699719c3cd196e7","datavalue":{"value":{"entity-type":"item","numeric-id":2491078,"id":"Q2491078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636336$9CEC1C3E-3387-401D-BEE6-18BF6F41EA77","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00662befccfde00ea351dd50099bffa3e93d6306","datavalue":{"value":"10.1016/J.APAL.2009.12.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636336$C18EF3FA-9CC2-4339-868C-80F155FE5FF1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11cbfa3428d176b92a0885ad909ae9eb05aeb97d","datavalue":{"value":{"entity-type":"item","numeric-id":2491078,"id":"Q2491078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e70f5cc325ad28eae5fe4121f65284aed216159","datavalue":{"value":{"amount":"+0.7312986254692078","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":"Q636336$A6F89C49-0D11-4C04-8FBA-7D95BC613CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eb8dfe3d45323084aece3a068d236c3336225fb","datavalue":{"value":{"entity-type":"item","numeric-id":639691,"id":"Q639691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17235957a3e7dda8deb4119032c655f55a30e883","datavalue":{"value":{"amount":"+0.724906861782074","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":"Q636336$4100BE7B-DF93-4C2E-AE8A-FCF947C60219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee832f48fb9f2df7ad8eec24a191c6ad4d05c0f6","datavalue":{"value":{"entity-type":"item","numeric-id":2285849,"id":"Q2285849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffcd5114ab26dbb489d8fe1cd1e701daa334744d","datavalue":{"value":{"amount":"+0.7201625108718872","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":"Q636336$D0F1D673-2540-46F0-A396-1EC117C37007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56bbeef66d98014f121d12d68f8c9eff0e70c1b3","datavalue":{"value":{"entity-type":"item","numeric-id":1669769,"id":"Q1669769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d287348545e1131d74bfcd77f3cdab9acc20879","datavalue":{"value":{"amount":"+0.7185356616973877","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":"Q636336$F95829BC-FC9A-4895-B77A-E893357F146C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c1144f84ef4b1ad547a20378f3c11e03b5f0914","datavalue":{"value":{"entity-type":"item","numeric-id":3720587,"id":"Q3720587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e090f24681aaf879c7518f5b926a00db375f00c","datavalue":{"value":{"amount":"+0.7161734104156494","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":"Q636336$B23ECE79-0A50-4B34-869A-B55B7F5CCC0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Types directed by constants","badges":[]}}}}}