{"entities":{"Q1754395":{"pageid":1765137,"ns":120,"title":"Item:Q1754395","lastrevid":70835985,"modified":"2026-04-13T17:34:03Z","type":"item","id":"Q1754395","labels":{"en":{"language":"en","value":"The axiomatization of affine oriented matroids reassessed"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6876756"}},"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":"Q1754395$DD9F71CA-C069-48FE-9132-0E235133E372","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e4ead0a3b387094d06a2c84b9d4b920140eb76e","datavalue":{"value":{"text":"The axiomatization of affine oriented matroids reassessed","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1754395$8D135D88-349F-441B-8A68-DD7D05072099","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ac96128d65764cdce6e5fae0d61b3410633584c","datavalue":{"value":"1391.52034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1754395$32E13E45-A30E-4A31-A72D-88105040B2C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d11ba6fa1867d77e9bd01250486c87a9413681ad","datavalue":{"value":{"entity-type":"item","numeric-id":1754393,"id":"Q1754393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1754395$C2124604-A1AF-4656-B34F-8E5B733E55E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"330eb2942fe6cfb084bcd2a9113812a85ad89340","datavalue":{"value":{"entity-type":"item","numeric-id":1754394,"id":"Q1754394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1754395$1CE5ECA6-29BD-4882-82D5-D60993B98C16","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7946688d25c7526bf38e6f25dde02f73646d21e5","datavalue":{"value":{"entity-type":"item","numeric-id":206518,"id":"Q206518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1754395$9A9E1041-FF21-4FD1-9720-CB3DC3296676","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c7837145f292fc799024546d5357bc1d83f0818","datavalue":{"value":{"time":"+2018-05-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":"Q1754395$ECB054AF-9CBA-4E9E-B428-D51B42FFD8E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3ef5e8e0a104386c3c5ec9bcf667c2eab9ee1bd","datavalue":{"value":"https://arxiv.org/abs/1603.03228","type":"string"},"datatype":"url"},"type":"statement","id":"Q1754395$050D9F6B-FA7A-40F1-ABA3-F75F9A5B81AA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bb989a0e9a5ee91a6efcb927fce823b08cddf4a2","datavalue":{"value":"The main aim of the paper is to provide a correct proof of Karlander's axiomatization of affine oriented matroids. Before we formulate the main result, we need to recall some basics on oriented matorids (these objects can be considered as a combinatorial abstraction of real hyperplane arrangements).   Let \\(E\\) be a finite set. A signed subset \\(X\\) of \\(E\\) is a member of \\(\\{+,-,0\\}^{E}\\). Every signed subset \\(X\\) can be identified with an ordered pair \\((X^{+},X^{-})\\), according to the sign. Let \\(X,Y\\) be signed subsets of \\(E\\). Then \\(\\bar{X} = X^{+} \\cap X^{-}\\) is the support of \\(X\\). The composition \\(X \\circ Y\\) of \\(X,Y\\) is defined by \\((X\\circ Y)_{e} = X_{e}\\) if \\(X_{e} \\neq 0\\) or \\(Y_{e}\\) otherwise. The separation set \\(S(X,Y)\\) of \\(X,Y\\) is defined by  \\[ S(X,Y) = (X^{+} \\cap Y^{-}) \\cup (X^{-} \\cap Y^{+}). \\]  Let \\(\\mathcal{O}\\) be an oriented matroid on \\(E\\) and fix \\(g \\in E\\). Let \\(g^{+}\\) be the signed subset \\((\\{g\\},0)\\), then the set \\(\\mathcal{O}_{g^{+}}\\) consists of those covectors in \\(\\mathcal{O}\\) whose sign at \\(g\\) is \\(+\\).   Definition 1. Let \\(E\\) be a finite set. A set \\(\\mathcal{W}\\) of signed subsets of \\(E\\) is an affine oriented matroid if and only if there is an oriented matroid \\(\\mathcal{O}\\) on \\(E\\) such that \\(\\mathcal{W} = \\mathcal{O}_{g^{+}}(E \\setminus \\{g\\})\\).   Definition 2. Let \\(E\\) be a finite set. For \\(X,Y \\in \\{+,-,0\\}^{E}\\) with \\(\\bar{X} = \\bar{Y}\\) and \\(X \\neq Y\\) we define  {\\parindent=8mm \\begin{itemize}\\item[i)] the \\(e\\)-th elimination set of \\(X\\) and \\(Y\\) for some \\(e \\in S(X,Y)\\) by  \\[ I_{e}(X,Y) = \\{V \\in \\{+,-,0\\}^{E} : \\bar{V} \\subseteq \\bar{X} \\setminus \\{e\\} \\text{ and } V_{f} = X_{f} \\text{ for all } f \\notin S(X,Y)\\}. \\]  \\item[ii)] the elimination set of \\(X\\) and \\(Y\\) by  \\[ I(X,Y) = \\bigcup_{e \\in S(X,Y)} I_{e}(X,Y). \\]   \\end{itemize}}  Definition 3. Let \\(E\\) be a finite set and \\(X,Y\\) be signed subsets of \\(E\\). Then \\(X+Y\\) is given by \\((X+Y)_{e} = 0\\) if \\(e \\in S(X,Y)\\) or \\((X \\circ Y)_{e}\\) otherwise.   Definition 4. Let \\(E\\) be a finite set and \\(\\mathcal{W} \\subseteq \\{+,-,0\\}^{E}\\). Then  {\\parindent=8mm \\begin{itemize}\\item[i)] \\(\\text{Sym}(\\mathcal{W}) = \\{V \\in \\{+,-,0\\}^{E} : \\pm V \\in \\mathcal{W}\\},\\) \\item[ii)] \\(\\text{Asym}(\\mathcal{W}) = \\{V \\in \\{+,-,0\\}^{E} : V \\in \\mathcal{W}, -V \\notin \\mathcal{W} \\},\\) \\item[iii)] \\(\\mathcal{P}(\\mathcal{W}) = \\{X + (-Y): X,Y \\in \\text{Asym}(\\mathcal{W}), \\bar{X} = \\bar{Y} \\text{ and } I(X,-Y) \\cap \\mathcal{W} = I(-X,Y) \\cap \\mathcal{W} = \\emptyset\\}.\\)   \\end{itemize}}  Now we are ready to present the main result of the paper (the idea is due to Karlander).   Main Theorem. A set \\(\\mathcal{W} \\subseteq \\{+,-,0\\}^{E}\\) is an affine oriented matroid if and only if \\(\\mathcal{W}\\) satisfies the following:  {\\parindent=8mm \\begin{itemize}\\item[A1)] if \\(X,Y \\in \\mathcal{W}\\), then \\(X \\circ (\\pm Y) \\in \\mathcal{W}\\), \\item[A2)] if \\(X,Y \\in \\mathcal{W}\\) with \\(\\bar{X} = \\bar{Y}\\), then \\(I_{e}(X,Y) \\cap \\mathcal{W} \\neq \\emptyset\\) for all \\(e \\in S(X,Y)\\), \\item[A3)] \\(\\mathcal{P}(\\mathcal{W}) \\circ \\mathcal{W} \\subseteq \\mathcal{W}\\).  \\end{itemize}}","type":"string"},"datatype":"string"},"type":"statement","id":"Q1754395$ACBC0315-CC8A-4F60-8973-A54AC2946D49","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"676be0f283a877c4ebd59f7cc4517b544fd46411","datavalue":{"value":{"entity-type":"item","numeric-id":407393,"id":"Q407393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1754395$3940EF19-5AC4-4A23-914B-AEE503589463","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b10ffd28cd5081f5618864ddd574d7cd207e02bf","datavalue":{"value":"52C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1754395$1CDFF435-889E-4FEF-A347-80B3887EC4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7501cba48320d715aa2f92c8f7803347a8901b66","datavalue":{"value":"52C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1754395$A8BE32CC-EB1F-4666-A833-52367741810E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"505914549692cb28181d1c4b8ad81f81d9a3579c","datavalue":{"value":"6876756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1754395$DC80ED96-68AE-4101-A6CE-48BEAFB2B0E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f60c3ebfdfe12afeca9021daacb6482c5ec9163d","datavalue":{"value":"oriented matroid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1754395$5139F1C7-4B60-4992-B31E-D4F6589872B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"656b960939bdc89f09c4fe7fc77b06ae0a42e231","datavalue":{"value":"sign vector","type":"string"},"datatype":"string"},"type":"statement","id":"Q1754395$9A2991F8-EBBD-4289-BDD0-9929257C7DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"424f058ebca34ddc7456f83b12cb3da356de14da","datavalue":{"value":"arrangement of hyperplanes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1754395$9862FB43-1767-4D19-9E35-79F9F9AADC2A","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":"Q1754395$083E612E-282A-4BD2-83D1-71410488C1C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"000565e6872b4cab63dcdc385235f5cb47d7cd4c","datavalue":{"value":"W2964290349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1754395$45BA84A8-96A8-4D33-9AF9-B15878CAA76A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fd08450f257502cbfad6c8d0879de302e72432f","datavalue":{"value":{"entity-type":"item","numeric-id":1703453,"id":"Q1703453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1754395$4954A600-8191-43D6-81B5-5FB37E86AD0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"529c02be161cd7c24197c67d6e7b62bdc1e3f6a8","datavalue":{"value":{"entity-type":"item","numeric-id":4003411,"id":"Q4003411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1754395$0302451D-9941-44B7-97D5-1D009793555F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56431fea15b672d359c036dfe02ef41e4d864653","datavalue":{"value":{"entity-type":"item","numeric-id":4324358,"id":"Q4324358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1754395$F8D17710-6958-4F27-A480-07A1093A4451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8a3485a48f97358b4fa86c8979ce6b5514958cd","datavalue":{"value":{"entity-type":"item","numeric-id":1972379,"id":"Q1972379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1754395$C82B340F-8001-4703-9694-CF934F8B6E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f576f9a7f8aa9c0eecc79c93a6520d5c39604c81","datavalue":{"value":{"entity-type":"item","numeric-id":688014,"id":"Q688014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1754395$D752F903-00DC-4636-9631-47596FAF2C96","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"babbd51fd161c1eaedb9d6167ab918555c30ce31","datavalue":{"value":"10.1007/S00022-018-0407-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1754395$780779F8-5008-491C-B854-BF7DF44E4332","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06293bda8d31b139f11270ea75260d720af38277","datavalue":{"value":{"entity-type":"item","numeric-id":3682500,"id":"Q3682500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98d7c330b7d3948b6cbfc66d3ad0171b27a630ad","datavalue":{"value":{"amount":"+0.785854697227478","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":"Q1754395$7ACBB759-E38B-4A67-8ACA-CE19FC02FC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e6543591ca18199862e9fe349fcd81ed2e94b51","datavalue":{"value":{"entity-type":"item","numeric-id":4304385,"id":"Q4304385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf8f009719514ca63a9c51fdd405eb8c80f04c74","datavalue":{"value":{"amount":"+0.7825318574905396","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":"Q1754395$708F5C07-CB2A-45D7-9D06-8530BBD95EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94865f5587153921213c828e9ea55979f9f3fb35","datavalue":{"value":{"entity-type":"item","numeric-id":3204752,"id":"Q3204752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ba31bf6adc584be93a4d78dd07bf42aff7555bb","datavalue":{"value":{"amount":"+0.7803267240524292","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":"Q1754395$330EAC6C-E4F2-4A2C-A328-1530D33E64F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfa0992aab7cc473413befd88da17e04f9114e2b","datavalue":{"value":{"entity-type":"item","numeric-id":4705312,"id":"Q4705312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b0ffd3716775458c696856b4c91b6799d910f1e","datavalue":{"value":{"amount":"+0.7603068351745605","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":"Q1754395$D5060684-F26E-4906-878F-036285283DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e6d313a5d57cd85e4ea71aab27b9910254cde3e","datavalue":{"value":{"entity-type":"item","numeric-id":4863456,"id":"Q4863456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b0ffd3716775458c696856b4c91b6799d910f1e","datavalue":{"value":{"amount":"+0.7603068351745605","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":"Q1754395$6B567162-4945-49CB-9060-BACB6C93BD3C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The axiomatization of affine oriented matroids reassessed","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_axiomatization_of_affine_oriented_matroids_reassessed"}}}}}