{"entities":{"Q1294002":{"pageid":1304752,"ns":120,"title":"Item:Q1294002","lastrevid":43006938,"modified":"2025-07-16T20:07:52Z","type":"item","id":"Q1294002","labels":{"en":{"language":"en","value":"A general extension theorem for binary relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1310715"}},"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":"Q1294002$DD4AE4E6-C5DC-4EF8-85B5-80CE05117B45","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"334832b41a734b34961b6f0e4f0764e8c0a87a63","datavalue":{"value":{"text":"A general extension theorem for binary relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1294002$CC1B2CF5-D25A-4BBD-93A5-DD09AB1B5DDB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df913bba0d6499f33eb0fb4175958ed98b3bde42","datavalue":{"value":"0948.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1294002$45F8B276-2CBD-42BC-8400-743A5A427D40","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3cc8efd197dc5c0904498974daf9d2465754d2a","datavalue":{"value":{"entity-type":"item","numeric-id":250587,"id":"Q250587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1294002$06BA9970-1673-4A2A-91CC-72D15C419682","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3bf9ac9ec63184edee159adfddd47bd75703ecee","datavalue":{"value":{"entity-type":"item","numeric-id":61265,"id":"Q61265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1294002$58762F87-F243-451B-A559-48DD6FD42BBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f75721fa752c9123eb70187b9a711f89662b7df4","datavalue":{"value":{"time":"+2000-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1294002$853762A6-9DF5-468E-BAE4-304BF0608630","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"13c189dd3fe775c17a8e1da6fd7e83432589d887","datavalue":{"value":"First a lot of properties (besides the generally known) for binary relations \\(B\\) on a set \\(X\\) are defined: Let \\(\\Delta\\) be the identity relation on \\(X\\) and \\(T_B\\) the transitive closure of \\(B\\), \\(B^-:=(X\\times X)\\setminus B\\), \\(B^{-1}: =\\{(y,x) |(x,y)\\in B\\}\\); \\(P_B:= B\\setminus B^{-1}\\) is called the asymmetric part of \\(B\\). Then \\(B\\) is called complete if \\(B\\cup B^{-1}= X\\times X\\), asymmetric if \\(B\\cap B^{-1}= \\emptyset\\), total if \\(\\Delta^-\\subseteq B\\cup B^{-1}\\), negatively transitive if \\(B=T^-_{B^-}\\), acyclic if \\(\\Delta \\cap T_B=\\emptyset\\), negatively acyclic if \\(\\Delta \\cap T_{B^-}= \\emptyset\\), \\(P\\)-acyclic if \\(\\Delta\\cap T_{P_B}= \\emptyset\\).   A relation \\(B\\) is transitive-consistent if \\(P_B \\subseteq P_{T_B}\\) resp. negatively transitive-consistent if \\(P_B\\subseteq P_{T^-_{B^-}}\\). A relation \\(B'\\) is a compatible extension of a relation \\(B\\) if \\(B\\subseteq B'\\) and \\(P_B\\subseteq P_{B'}\\), resp. a compatible intension of \\(B\\) if \\(B'\\subseteq B\\) and \\(P_B \\subseteq P_{B'}\\). A class \\({\\mathfrak B}\\) of relations is said to be closed upward if for all chains \\({\\mathfrak C}\\) in \\({\\mathfrak B}\\) there holds \\(\\bigcup\\{B|B\\in {\\mathfrak C}\\}\\in {\\mathfrak B}\\), and it is called transitive-closed if for all \\(B\\in {\\mathcal B}\\) there holds \\(T_B\\in {\\mathfrak B}\\). The class \\({\\mathfrak B}\\) said to be arc-receptive if, for all distinct \\(x\\) and \\(y\\) and for all transitive \\(B\\in {\\mathcal B}\\), \\((y,x)\\notin B\\) implies \\(T_{B\\cup\\{(x,y)\\}} \\in{\\mathfrak B}\\).   Then the following general extension theorem is proved: Assume \\({\\mathfrak B}\\) is closed upward and arc-receptive. If \\(B\\) is transitive-consistent and \\(T_B\\in {\\mathfrak B}\\), then \\(T_B= \\bigcap\\{B'\\in {\\mathfrak B}|B'\\) is a total, transitive compatible extension of \\(B\\}\\). As a special case it follows that a complete, negatively transitive relation is the union of all linear orders embedded within it.   Remark: On page 4 in the definition of linear order the property ``total'' should be added.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1294002$3DE45D44-6C0F-4F8E-895F-44D8AB488C42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"17763f39d928d56ef4081eb9cbb67fb71c0baf0e","datavalue":{"value":"03E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1294002$EC15D1A3-D26B-4DD1-9086-5A68EE631B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1294002$25915AF4-7C6D-4933-8BAA-8C8FBE4A9DD9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c56f1f5b03ae913b70a64ca30b28ca3edd4fc92","datavalue":{"value":"1310715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1294002$463FF7D6-3E35-4EC4-93BD-E9CD64C71F76","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"675eed55543b423fc7b51c01fc2b52bfa3550283","datavalue":{"value":"binary relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1294002$71B8324D-2A18-4A87-996F-E64761276B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2efd6ca2e632b6ca823bc98fefd73c07a1f518da","datavalue":{"value":"transitive closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1294002$8BBD21B1-7B71-430E-8186-A9C735C7E8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"908018e86168b2e199d0cef3f8835ab5d5c94290","datavalue":{"value":"asymmetric part","type":"string"},"datatype":"string"},"type":"statement","id":"Q1294002$82ACF096-9E08-46B2-85AE-AFEDE811FDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d58f681d131fc307423787343a251832e307d30d","datavalue":{"value":"transitive-consistent","type":"string"},"datatype":"string"},"type":"statement","id":"Q1294002$D11A5265-E9AF-48B5-908E-5D04B1B4F6C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34fd516e2af8061941d3bf5cf516abb987594060","datavalue":{"value":"compatible extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1294002$0B0C6730-C6C7-45B1-8980-C1B121854B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06ef3db71005fcec01e0ebd81ed22b3056158fab","datavalue":{"value":"compatible intension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1294002$241D74E3-3716-4B60-A358-78D8D458C5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a1bc726d0f21b3c039ae85b76ea449f27ae9d6d","datavalue":{"value":"closed upward","type":"string"},"datatype":"string"},"type":"statement","id":"Q1294002$335DC3CD-A644-448A-869F-4911EE60F219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a629404ca0e7f538da3c0a9318535bb7869ea774","datavalue":{"value":"arc-receptive","type":"string"},"datatype":"string"},"type":"statement","id":"Q1294002$63A50D3D-B44E-4029-A565-A36E432E7874","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c80e484e125b4b2e6f1eb4b1b0abd66d7cb4aba7","datavalue":{"value":{"entity-type":"item","numeric-id":587966,"id":"Q587966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1294002$E8261CA5-EC77-4B8A-B740-4F064D9CF35F","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":"Q1294002$03BB3702-A2A7-453F-AE8A-DBBA464C6B0D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04b10c17773b4f192cf283c1bcf4b3292fdc7e34","datavalue":{"value":"https://doi.org/10.1006/jeth.1998.2504","type":"string"},"datatype":"url"},"type":"statement","id":"Q1294002$D1A3C2D5-B2F8-49F8-AE03-B44BBB210360","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8380e33e12c9d4281a0077cf7bf81a637710bdb","datavalue":{"value":"W1972253237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1294002$F76C2EED-6DF8-41C9-B843-AFF958728D64","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"da8540665e8b4b8608e5844d2f95123c33a1b999","datavalue":{"value":{"entity-type":"item","numeric-id":1382006,"id":"Q1382006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1294002$73F3A8F5-2DB8-48C0-8DF8-ED4F4ADA2ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a669bce615a0ab513ad07594e6006a0d4503bc29","datavalue":{"value":{"entity-type":"item","numeric-id":5668657,"id":"Q5668657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1294002$3C6E7CC1-7A8A-46A9-91FC-239C6740F0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9615f30c5bd8d3b28c6dac0e7ada36d8fdcb897a","datavalue":{"value":{"entity-type":"item","numeric-id":2530030,"id":"Q2530030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1294002$8A65EDEF-880F-4569-9D10-F22995884441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f88392e2d96e6b20b42940bf56c1735eaf4e5420","datavalue":{"value":{"entity-type":"item","numeric-id":3291034,"id":"Q3291034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1294002$295B390B-7D36-4F90-B315-4921643AD4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4f8b46b7c304a8e8ffdde7852f8eab9ccd52df","datavalue":{"value":{"entity-type":"item","numeric-id":5541773,"id":"Q5541773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1294002$A87EB245-0420-43E8-96A2-5CDF44AC8953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02b168e8a6c2a8c515f8b8358bd03e0bd8dd8553","datavalue":{"value":{"entity-type":"item","numeric-id":4403954,"id":"Q4403954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1294002$38A31730-DA25-428B-86A5-F51AE2E1B31E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0ceda71bee54b19696c2cb22290ec98d8321670","datavalue":{"value":{"entity-type":"item","numeric-id":1974053,"id":"Q1974053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1294002$DCD13E79-2ABB-4F08-B01B-94B743AF9582","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b5e742055701a7a802ad87d756d505ccc0228f1","datavalue":{"value":"10.1006/JETH.1998.2504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1294002$E4C8EAB3-6607-4BFE-BB06-4DA49DAEE5EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"167a1dcac57fcec3940e644b62ac2e8f458ca0ea","datavalue":{"value":{"entity-type":"item","numeric-id":2330278,"id":"Q2330278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a62efe8e0ee909ec40d76824dfedaa810accb063","datavalue":{"value":{"amount":"+0.932911","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":"Q1294002$54846CFA-E33A-4460-9C57-1010835B5E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7853f5848adc4fafc4939537a566a28aac23c9cd","datavalue":{"value":{"entity-type":"item","numeric-id":4861831,"id":"Q4861831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9330f93829402532f95fea71f8cfa78c54a599fe","datavalue":{"value":{"amount":"+0.89716184","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":"Q1294002$58785F87-C113-4BBC-9A02-273B1B317337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2c25db4b258244566468f12c834588deb198b34","datavalue":{"value":{"entity-type":"item","numeric-id":1321469,"id":"Q1321469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e88d41896ff4847d9e2aa8ae4749f9f18dce92b","datavalue":{"value":{"amount":"+0.8910399","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":"Q1294002$7DD2E758-CFAC-4DAB-A99B-BCBCA1020757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d639f13768c0411b99408c300535bc24363d94a","datavalue":{"value":{"entity-type":"item","numeric-id":3752445,"id":"Q3752445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f0cb9022be97ff0a93346460d994a284d5f02ca","datavalue":{"value":{"amount":"+0.88182396","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":"Q1294002$63B90A06-47FB-4FC8-A32F-C372283701A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ccc163c4a8451f1fc9892b56d8b9050e97f809d","datavalue":{"value":{"entity-type":"item","numeric-id":1850152,"id":"Q1850152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"581b374ada17e485260666879518c906b6844381","datavalue":{"value":{"amount":"+0.8784324","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":"Q1294002$52E9FCB9-F073-40D8-BB73-79FE0C36CE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed8fc5f37de19985d85c56811cd97c6073d6063c","datavalue":{"value":{"entity-type":"item","numeric-id":5553264,"id":"Q5553264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7480814a0afc2f4ea827893c7992a63146f0109c","datavalue":{"value":{"amount":"+0.87441313","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":"Q1294002$C72826AB-2ADB-4C49-9943-CE7779D2F29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"454092eff86031a6aa68fca9c68b5b40336f132f","datavalue":{"value":{"entity-type":"item","numeric-id":4011720,"id":"Q4011720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a3669a2bf1a653e36884053b354776c9bc6664f","datavalue":{"value":{"amount":"+0.86958027","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":"Q1294002$3EF39649-24E7-4737-BBB9-80E56FDF9D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2619a57fab0410f78e07b6cd29fa7e9d0432eaef","datavalue":{"value":{"entity-type":"item","numeric-id":1882098,"id":"Q1882098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd4825d622a4a4c8c103d60e8d15d08ab54d9ed4","datavalue":{"value":{"amount":"+0.8694656","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":"Q1294002$46D61A14-37A9-4D1E-B24B-C8B9C2821D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf8220c459b57e0b38babd25dac61a69614b04b4","datavalue":{"value":{"entity-type":"item","numeric-id":5173679,"id":"Q5173679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bad04a51bc421182a88a9a952d7e4fe596f2b2c","datavalue":{"value":{"amount":"+0.86625683","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":"Q1294002$70A6396D-8DD2-45CC-A1A2-293911169FE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1294002","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1294002"}}}}}