{"entities":{"Q701730":{"pageid":703579,"ns":120,"title":"Item:Q701730","lastrevid":63639558,"modified":"2026-04-11T14:32:49Z","type":"item","id":"Q701730","labels":{"en":{"language":"en","value":"Adding Skolem functions to simple theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2123154"}},"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":"Q701730$08B6C29D-AEDF-437D-9FF2-B475EAB9BF2F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18b31362260c31f34a0d219bfaffb24088e675a2","datavalue":{"value":{"text":"Adding Skolem functions to simple theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q701730$5A9E0A01-774C-49C5-9AC2-5C8A889A7C2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9bd6408664006f7cc8b3deed3f84f7cac631dedd","datavalue":{"value":"1058.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701730$648A0B89-8CDD-4FD7-B69E-0D98CEAC5C69","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62535707db87942f5dfa8df56ad1e45236373bb4","datavalue":{"value":{"entity-type":"item","numeric-id":701729,"id":"Q701729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701730$45C99411-7AF4-479B-8EA2-206103A8D8E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701730$352CAF24-5E98-4A9B-B141-2E4FD7B31229","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df1e508a21ee9936a7a8f9defc1512d58443c3e3","datavalue":{"value":{"time":"+2004-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q701730$EA5B1952-51B5-43D1-A626-3AE780A59A60","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b790bb0208544cb5052244cd6fb5fa224a12772c","datavalue":{"value":"The author examines the conditions under which one can keep simplicity and categoricity after adding a Skolem function to a theory. Let \\(M\\) be an \\(L\\)-structure, and \\(\\phi(x,\\bar y)\\) an \\(L\\)-formula, \\(\\bar y=(y_1,\\dots,y_k)\\). An algebraic Skolem function for \\(\\phi\\) is defined to be a function \\(f:M^k\\to M\\) such that for every \\(k\\)-tuple \\(\\bar a\\) in \\(M\\) we have \\(f(\\bar a)\\in\\phi(M,\\bar a)\\) whenever \\(\\phi(M,\\bar a)\\) is finite and nonempty, and \\(f(\\bar a)=a_1\\) otherwise. A first-order \\(L\\)-theory \\(T\\) is called algebraically bounded if for any \\(\\phi\\) there is \\(n_\\phi\\) such that, for any model \\(M\\) of \\(T\\) and \\(\\bar a\\) in \\(M\\), if \\(\\phi(M,\\bar a)\\) is finite then \\(| \\phi(M,\\bar a)| \\leq n_\\phi\\). In this case for any \\(\\phi\\) there is a first-order theory \\(T_\\phi\\) in the language \\(L\\cup\\{f\\}\\) whose models are the expansions of models of \\(T\\) by algebraic Skolem functions for~\\(\\phi\\). Suppose \\(T\\) is complete, model-complete, and algebraically bounded. \\textit{P. M. Winkler} [Lect. Notes Math. 498, 408--463 (1975; Zbl 0324.02035)] showed that for any \\(\\phi\\) the theory \\(T_\\phi\\) has a model-completion \\(T^*_\\phi\\) which is algebraically bounded as well. The author proves, using the method of \\textit{Z. Chatzidakis} and \\textit{A. Pillay} [Ann. Pure Appl. Logic 98, 71--92 (1998; Zbl 0929.03043)], that if \\(T\\) is (super)simple then any completion of \\(T^*_\\phi\\) is (super)simple. Iterating this, for a simple \\(T\\) he constructs a simple expansion of \\(T\\) in which the algebraic and definable closures coincide. It is shown that if \\(T\\) is \\(\\omega\\)-categorical then any completion of \\(T^*_\\phi\\) is \\(\\omega\\)-categorical; moreover, adding recursively for every \\(n<\\omega\\) finitely many \\(n\\)-ary algebraic Skolem functions, the author constructs an expansion of \\(T\\) which has a model-completion all whose completions are \\(\\omega\\)-categorical with algebraic closure equal to definable closure. Similar results fail for uncountable categoricity: it is shown that if \\(T\\) is the theory of algebraically closed fields of characteristic \\(\\neq 2\\) and \\(\\phi\\) is the formula \\(x^2=y\\) then \\(T^*_\\phi\\) interprets the theory of random graphs, and so is unstable. Now suppose in addition that \\(T\\) admits quantifier elimination, and all subsets of models of \\(T\\) are algebraically closed. For a set \\(X\\) of positive integers, let \\(T_X=\\{f^n(x)\\neq x: n\\in X\\}\\), where \\(f\\) is a new unary function symbol. It is shown that \\(T\\cup T_X\\) has a model completion which is simple (stable) if \\(T\\) is simple (stable).","type":"string"},"datatype":"string"},"type":"statement","id":"Q701730$29AF8943-FC05-486A-9BCA-704BBE8BF678","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d7a760754899c4252076421c1bbdd70a575016d7","datavalue":{"value":{"entity-type":"item","numeric-id":593287,"id":"Q593287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701730$A9DE73F0-15FC-454D-9423-48AB60CC5880","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701730$C6798FDE-F00D-4DCA-B342-6617B86E2053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701730$B3FB0FCE-4F03-4E7B-9366-6DEE11AE4FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701730$5D48B86F-D7B7-45AB-ABBA-8DACFE9E72E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c12ddcfc01e87e59c3b14a2149f05ec988b7730","datavalue":{"value":"2123154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701730$19EDE79D-5657-410D-8D4E-4CF1CC02770F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a002ca125446c6082468e412e2610ec94387b21","datavalue":{"value":"simple theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q701730$FDFF2DBF-96A5-44E3-B797-BF5944FE388D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b0faecc1a2babb6e46c6c3c8f447214a06a09b1","datavalue":{"value":"Skolem function","type":"string"},"datatype":"string"},"type":"statement","id":"Q701730$E291F9D2-AC2C-4190-99F7-AB6548062DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13411de72d4f74acfe8b3f9bec7d9f12f600cd48","datavalue":{"value":"algebraically bounded theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q701730$3C9905AF-FDD0-450B-AC63-B8A9D80BEFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a3b417213f1366c965da801b8e017a31000b8ab","datavalue":{"value":"categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q701730$4CEC1229-2727-4437-A0F9-89798ED8D4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ccae20fc7a9056fcd6b10116c3d410f684687fa","datavalue":{"value":"model completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q701730$3BB10490-FEA9-4042-BADB-3996499DF176","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":"Q701730$1D77D4A7-4C2D-4E49-A173-6CB1DBFFCD87","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a82c2fce5aa64cb785e7cc26540d310d601fb7a","datavalue":{"value":"https://doi.org/10.1007/s00153-003-0201-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q701730$0F661060-E596-4F45-AD1B-CB805220CFA7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2acb1461ba809208dbf056dbe6b1a62991b3a8b6","datavalue":{"value":"W28558117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701730$1E6EFDA7-59BB-4E83-AFDE-58E4F7CFFE35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bfcbcf3a0d70bb7484be18d6727e5ca3e5ff3763","datavalue":{"value":"10.1007/S00153-003-0201-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701730$33B7A778-730E-47A8-96CC-C9DE71B5DA06","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be19503ff83a11d293beda01d5c2a25dbb3bd905","datavalue":{"value":{"entity-type":"item","numeric-id":3727972,"id":"Q3727972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ebb0f6c6ee951fba1f2555ff66f99f2efe044dd","datavalue":{"value":{"amount":"+0.7991905212402344","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":"Q701730$0DF3881A-6DD1-4964-9DFB-B288CE2FA28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fdca92db52c11cf5d35bea87043f2b89170fd35","datavalue":{"value":{"entity-type":"item","numeric-id":3813802,"id":"Q3813802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72fa07bf0aeec61ce8a3e3226b06140297a23264","datavalue":{"value":{"amount":"+0.7798416614532471","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":"Q701730$919888CE-8939-4F9E-8384-BE650F94A67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6bbf817251c709a6fdd9acb3d9ac8c614f04275","datavalue":{"value":{"entity-type":"item","numeric-id":1295412,"id":"Q1295412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"264db25941d68176947346a815e8841efb55a292","datavalue":{"value":{"amount":"+0.7280721068382263","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":"Q701730$E1AF7AD5-0B4D-45F8-B580-90A3111DAB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"412a5be5c3cec092fac7ba5f8620065dec18a3b7","datavalue":{"value":{"entity-type":"item","numeric-id":3777996,"id":"Q3777996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8462223e827ff43d9a218674f2bfbb281fc7e07d","datavalue":{"value":{"amount":"+0.7245021462440491","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":"Q701730$132EBBB3-30D4-46DB-8AEE-97E5C36BDC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27d4a4e79808a82734343a30faaf780c726caedd","datavalue":{"value":{"entity-type":"item","numeric-id":4779648,"id":"Q4779648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6b0390fb525ac95bbb498c2da1dc2fd8a80c8ab","datavalue":{"value":{"amount":"+0.7223581075668335","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":"Q701730$1FAC761C-926E-43A5-AE43-7C687BD7FC1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Adding Skolem functions to simple theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Adding_Skolem_functions_to_simple_theories"}}}}}