{"entities":{"Q5909615":{"pageid":8023416,"ns":120,"title":"Item:Q5909615","lastrevid":32908745,"modified":"2024-03-20T01:02:15Z","type":"item","id":"Q5909615","labels":{"en":{"language":"en","value":"Sets of independent postulates for betweenness."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2614391"}},"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":"Q5909615$8FF7C325-B9CB-4A8F-90E5-26A22B2C6220","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a8beae817216f05496400dfc464e682a9a36135","datavalue":{"value":{"text":"Sets of independent postulates for betweenness.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5909615$183ACFFA-50F3-4CD4-A3C5-3B57F245276B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51651edf0b87c934f2693b19a82a7ed2ef546f25","datavalue":{"value":"46.1429.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5909615$B092DFA8-FAD5-448E-82CB-D97C2B1B2CE9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0998e61a2e4c698545bc0c98987f0818c8e5a92b","datavalue":{"value":"10.2307/1988957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5909615$B17F998E-14A2-40CE-936A-B526629BBE4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3529e5b2d8619254c4f99566c1eb55769a750f6","datavalue":{"value":{"entity-type":"item","numeric-id":1442020,"id":"Q1442020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5909615$58A9DF94-A4CA-485F-B843-B8ADECCA3BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a8f3d506509805546440c94217d181ef5581c70","datavalue":{"value":{"entity-type":"item","numeric-id":1840428,"id":"Q1840428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5909615$24BDC9C9-9D96-40E0-8207-9C3BCA2EBCFF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df8563a34b35a91e952c14424ba2e926e2255a87","datavalue":{"value":{"entity-type":"item","numeric-id":559399,"id":"Q559399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5909615$8F5873F2-6C8A-4219-8520-41572BBBD67E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"150770cc7dc46eed7ee297764e1ac3f861796385","datavalue":{"value":{"time":"+1917-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":"Q5909615$6015ABB9-0D95-4316-9C85-9854770E0F72","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7a59381b50a9bad7b2f02c3077f246b9fa4b567f","datavalue":{"value":"Der Typus der linearen Anordnung, welchen die Punkte auf einer Geraden repr\u00e4sentieren, wird axiomatisch untersucht. Es handelt sich also um die implizite Charakterisierung der Beziehung des Zwischenliegens. Der Unterschied gegen\u00fcber den in der Grundlegung der Geometrie \u00fcblichen Anordnungsaxiomen besteht einmal darin, da\u00df\\ die Axiome sich ausschlie\u00dflich auf das \\textit{Lineare} beziehen und ferner in der Ausschaltung der Existenzaxiome; die Existenz von Elementen (Punkten) wird immer nur bedingungsweise eingef\u00fchrt.   Die Untersuchung verl\u00e4uft so, da\u00df\\ zun\u00e4chst von einem provisorischen Axiomensystem ausgegangen wird, bestehend aus 4 fundamentalen Postulaten (welche inhaltlich den Axiomen II, 1 und II, 3 in \\textit{Hilberts} ``Grundlagen der Geometrie'' entsprechen), und 8 weiteren Postulaten, welche die Lagenbeziehungen von 4 Punkten treffen und die zusammen mit jenen ersten vier Postulaten jedenfalls zur Charakterisierung der Zwischen-Beziehung ausreichen.   Innerhalb dieses Systems von 12 Axiomen werden nun 71 Abh\u00e4ngigkeitsbeziehungen festgestellt und die als die einzig vorhandenen erwiesen, wobei f\u00fcr die Unabh\u00e4ngigkeitsbeweise als Beispiele zur Aufweisung 44 Systeme von drei oder vier Elementen mit einer jeweils passend definierten Pseudo-Zwischen-Beziehung konstruiert werden.   Es ergibt sich aus dieser Betrachtung, da\u00df\\ 11 M\u00f6glichkeiten vorhanden sind, aus den 12 Axiomen ein Teilsystem von unabh\u00e4ngigen Axiomen auszuw\u00e4hlen, derart, da\u00df\\ die \u00fcbrigen Axiome daraus gefolgert werden k\u00f6nnen. Diese 11 Systeme von unabh\u00e4ngigen Axiomen werden angegeben; sie enthalten alle die ersten 4 Postulate und von den weiteren entweder zwei oder drei.   Das einfachste unter ihnen besteht aus folgenden Axiomen -- (statt ``\\(B\\) liegt zwischen \\(A\\) und \\(C\\)'' werde kurz \\(ABC\\) geschrieben) --:   1. Wenn \\(AXB\\), so \\(BXA\\).   2. F\u00fcr drei verschiedene Elemente \\(A\\), \\(B\\), \\(C\\) besteht mindestens eine von den Beziehungen \\(ABC\\), \\(CBA\\), \\(BCA\\), \\(ACB\\), \\(CAB\\), \\(BAC\\).   3. Sind \\(A\\), \\(B\\), \\(C\\) drei verschiedene Elemente, so kann nicht \\(ABC\\) und \\(ACB\\) zugleich gelten.   4. Wenn \\(ABC\\), so sind \\(A\\), \\(B\\), \\(C\\) verschiedene Elemente.   5. F\u00fcr vier verschiedene Elemente \\(A\\), \\(B\\), \\(X\\), \\(Y\\) ist, wenn \\(XAB\\) und \\(ABY\\), auch \\(XAY\\).   6. F\u00fcr vier verschiedene Elemente \\(A\\), \\(B\\), \\(X\\), \\(Y\\) ist, wenn \\(XAB\\) und \\(AYB\\), auch \\(XAY\\).   \\textit{Huntington} hat in einer anderen Abhandlung auch die zyklische Anordnung einer axiomatischen Untersuchung unterzogen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5909615$3347D7CA-50B5-415A-89A1-3ED6D420CC32","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55f3981d6ce52dc17f2a03a571dae6abd85bfc58","datavalue":{"value":"2614391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5909615$DDCC1096-1E5C-4A9A-A09E-AE96D9FBD7C7","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":"Q5909615$F73ACB50-99EE-4792-98F7-FBC78FC78D1D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78bc49e0de896cc88e683bf963b398670639cf79","datavalue":{"value":"https://doi.org/10.2307/1988957","type":"string"},"datatype":"url"},"type":"statement","id":"Q5909615$AA81FF65-7906-4C1D-8C32-D55B0F56433F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39cddbea368c92aa0938713856325df8e28dcbaa","datavalue":{"value":"W4232099404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5909615$B1BD38B5-8E07-400D-AAE1-35A45782B101","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5909615","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5909615"}}}}}