{"entities":{"Q1083445":{"pageid":1094197,"ns":120,"title":"Item:Q1083445","lastrevid":77744642,"modified":"2026-05-06T09:58:04Z","type":"item","id":"Q1083445","labels":{"en":{"language":"en","value":"Classification theory over a predicate. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3974950"}},"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":"Q1083445$63571639-BA2C-4833-9CEE-9B492AA2E411","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91db46442d23f0290c0a08af36da02191074fa3c","datavalue":{"value":{"text":"Classification theory over a predicate. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1083445$B720CBC7-0BD0-474F-9065-C24960247D5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bda6cfc99ddcf9d32e2c750e10c37e075b045db5","datavalue":{"value":"0604.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083445$F54A3E13-F208-4411-9DFC-27BCC1939C5C","rank":"normal"}],"P16":[{"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":"Q1083445$2828E620-7F5A-4584-B8CB-82F3ABEA49AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"824231740ca0a4d8eabfc51e38ff349826d12a75","datavalue":{"value":{"entity-type":"item","numeric-id":372633,"id":"Q372633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083445$9BB4E217-CDA4-474C-90E9-D6AAFF924F88","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083445$B957048C-6135-4CE1-8312-0F616D8F12A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1083445$30A237EA-776F-445C-93D1-79495199E440","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"52e04a88c6013408bbae4d830fafa648ed75145b","datavalue":{"value":"If T is a complete first-order theory and P a unary predicate in its language, the authors study the structre and number of models M of T over the substructure \\(M^ P\\) of M determined by the universe \\(P^ M\\). It is shown that, given N, those models of T with \\(M^ P=N\\) can be coded to some extent by L'-reducts of expansions of N to a certain theory T'', where \\(L(T)\\subseteq L'\\subseteq L(T'')\\). The number of such reducts is estimated. This generalizes the context of the Chang-Makkai theorem. It is shown that if for some N of power \\(\\Lambda\\), the number of non-N- isomorphic models M of T, with \\(M^ P=N\\), \\(| M| =\\Lambda\\) is not too big, then the set of types \\(tp(\\bar a/P^ M)\\) is definable over \\(P^ M\\) for every model M of T and every \\(\\bar a\\in M\\). Assuming the above definability condition and \\(T=T''\\) some non-structure theorems are proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083445$E29F6BF4-79BD-48EE-BAAA-C8F4CED5B668","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083445$BABEBB9D-11B2-44B2-8DC0-7A0D51872DD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"161140a88317c10cd89ef7e78d77e4e6c47b49da","datavalue":{"value":"3974950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083445$2966AF98-ACD0-42EF-A150-81E2508D7957","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06a19b01439f2e6cc828231d41b310fccec3ddff","datavalue":{"value":"non-structure theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083445$5D6211D9-B151-48E6-93E7-4E5E3C24FD5B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e08eb8f357cf37bb9650e048ba3d31ac3a05cf8e","datavalue":{"value":{"entity-type":"item","numeric-id":1226868,"id":"Q1226868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083445$58540818-6CB8-407A-943C-B7DE80C19AFE","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":"Q1083445$578532A2-9679-4FE6-85F9-23194588A317","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a797cc80f42942f9e4f99e5dfeb827973bfa78da","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093870929","type":"string"},"datatype":"url"},"type":"statement","id":"Q1083445$E228F24F-81B0-4585-A5DC-1D6B7F044C97","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"214b9a0c7bf48899c492ef85c7bdb3ad4449807d","datavalue":{"value":"W2081511772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083445$D48E8476-BF55-423A-B67E-4358CFF15DB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46bdac3467ebccc6a2d3ef44cb8b81a77bd7316d","datavalue":{"value":"10.1305/NDJFL/1093870929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083445$CB78AE99-2A4B-4824-BB75-FEA028C6899B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e607cfc6f3c2b6319e314f8147826ae0c296bc66","datavalue":{"value":{"entity-type":"item","numeric-id":1043488,"id":"Q1043488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cd2e471154b953f569b4d5a60a56d906f2b825d","datavalue":{"value":{"amount":"+0.84822154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1083445$68AF9251-C3E6-41F5-B1E5-963749D2F308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"529a0d19b5817af8a3ebd1be82eaf08ba7efd1d5","datavalue":{"value":{"entity-type":"item","numeric-id":3767328,"id":"Q3767328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da5b5a4522f61f81574a9a36105c86d8536f69d6","datavalue":{"value":{"amount":"+0.8453443","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1083445$B2174E5B-A381-48E2-847E-7B1E75F18807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b7afe009aefaea6879dc535b644bdfcfdaff1e7","datavalue":{"value":{"entity-type":"item","numeric-id":1964144,"id":"Q1964144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc7bb96cc9fe94ac2bf3063af930f2382ea5558f","datavalue":{"value":{"amount":"+0.8394673","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1083445$4809CBAF-9B7A-4A80-B040-4B7C5BFEEBF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf4bd25483d947f089a439903d4badf80911e889","datavalue":{"value":{"entity-type":"item","numeric-id":3617367,"id":"Q3617367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffc3868ee1c06586a334d21501dbc1e818a7adaa","datavalue":{"value":{"amount":"+0.8373347","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1083445$2E067B28-DA50-4B07-97AB-4C2A6D04C5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7042340c58aa805e353c7799d35d6477e11bd90b","datavalue":{"value":{"entity-type":"item","numeric-id":4341040,"id":"Q4341040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5a03a8e08474efe257d8ec6b84bbb07ef8f7475","datavalue":{"value":{"amount":"+0.8361231","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1083445$EB95427D-0F4C-4C12-8F21-685B3992CCD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28083d02b049d24c89f800c956bc7dce50f06903","datavalue":{"value":{"entity-type":"item","numeric-id":2740987,"id":"Q2740987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"849954e2cb572922ed7957d42b7d89a41453114f","datavalue":{"value":{"amount":"+0.8353937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1083445$2969E9B8-C803-423F-B7AB-CFF07652B54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0a8ed181138927f4607555953d3f1e37efd6a49","datavalue":{"value":{"entity-type":"item","numeric-id":1932170,"id":"Q1932170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"058f9f24b104a6d62a5acb80c93cba0a5ba85944","datavalue":{"value":{"amount":"+0.83532685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1083445$E4F8BC7E-1CE8-442D-BB11-87775098F904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9f59cf9210ab60a60c25cb7b5f4507dd705a1fd","datavalue":{"value":{"entity-type":"item","numeric-id":4340496,"id":"Q4340496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c699ace56ffa630f03382f1347c23f0ba0504b20","datavalue":{"value":{"amount":"+0.8344066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1083445$0D27AB9C-DA23-4746-86A1-2EDF4E79627A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0817be0f8835eb35eb0b0f2fc8d0f26c21e0394a","datavalue":{"value":{"entity-type":"item","numeric-id":1088651,"id":"Q1088651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0409d19a8f7ba3bff89df25cc355204f3503d61b","datavalue":{"value":{"amount":"+0.8332481","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1083445$231B08B0-7657-4A53-B32E-C279D0235887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b6cfdd8e7dd7ccbda5410609aded9d45cf794ac","datavalue":{"value":{"entity-type":"item","numeric-id":1595914,"id":"Q1595914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc09bc2d0385c36840691d664f6a7c60db1d7e6a","datavalue":{"value":{"amount":"+0.83260375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1083445$F633DE71-83A3-4C65-B09F-B0B8F829205D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Classification theory over a predicate. I","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Classification_theory_over_a_predicate._I"}}}}}