{"entities":{"Q830382":{"pageid":832230,"ns":120,"title":"Item:Q830382","lastrevid":64693098,"modified":"2026-04-11T21:36:16Z","type":"item","id":"Q830382","labels":{"en":{"language":"en","value":"A system of axioms for Minkowski spacetime"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7345780"}},"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":"Q830382$DA51EF75-D450-4566-9018-45A928F8D571","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c84fa3c536143823fcad426a2d4ec80440112fb","datavalue":{"value":{"text":"A system of axioms for Minkowski spacetime","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q830382$AD36344F-C811-44FD-8A90-9B69015337D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae27228f0801a94e53234958465b3e5482932c7c","datavalue":{"value":"1473.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q830382$0A43F0B5-49EE-44A3-B3D8-4EC6B17F9E91","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"894bdff8a5a4d4d179c88cdb69a508fa7e98fe60","datavalue":{"value":{"entity-type":"item","numeric-id":830380,"id":"Q830380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830382$B1D048C9-BB56-46FF-BFF9-463BCFE954AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aae6ac5e227aed1cb9ac24243a403334f03c4694","datavalue":{"value":{"entity-type":"item","numeric-id":830381,"id":"Q830381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830382$55CD0192-8EC4-411B-863C-756AEA9B71FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830382$57F8EAA2-7E29-4224-815C-4FC6B2E16F8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"71a771a3d158620bcdf51ca72f1073f70b1e3fc9","datavalue":{"value":{"time":"+2021-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q830382$D84B1FA3-5782-4939-9AE5-E36C2AFE01A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71ecfb2f1ebaccba93632b48f979f292bbab2063","datavalue":{"value":"https://arxiv.org/abs/2007.12983","type":"string"},"datatype":"url"},"type":"statement","id":"Q830382$46A8BBFC-489C-4CC9-8891-39446066D710","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8dec03e9783912834b67d582f8136d8900bcfd77","datavalue":{"value":"Remarkable for the simplicity of its primitive notions, this is a new axiomatization, in the spirit of Tarski, of \\(4\\)-dimensional Minkowski space-time in terms of two primitive notions, a ternary predicate for betweenness, and a quaternary predicate \\(<_{\\equiv}\\), with \\(<_{\\equiv} (x,y,z.w)\\) holding for four points \\(x, y, z\\) and \\(w\\) when the square of the relativistic intervals between \\(x\\) and \\(y\\) is less than that between \\(z\\) and \\(w\\). If \\(x=(t_1, x_1, y_1, z_1)\\) and \\(y=(t_2, x_2, y_2, z_2)\\), then the square of the relativistic interval between \\(x\\) and \\(y\\) is \\((t_1 - t_2)^2 - (x_1 - x_2)^2- (y _1- y_2)^2-(z_1- z_2) ^2\\).  There are affine ordered axioms, dimension axioms, axioms constraining the length of arbitrary segments in terms of the lengths of their components, construction axioms, axioms expressing some formal properties of the primitive notions, and a second-order continuity axiom (all the other axioms being first-order). The authors prove, by means of a segment calculus, a representation theorem, ensuring that the model of the axiom system is the intended one: \\(4\\)-dimensional Minkowski space-time over \\({\\mathbb R}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q830382$5EE5240F-488B-4B70-ADA7-13AFD0287C6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q830382$2D5246C0-0D6E-4027-97DD-C5E0C479F2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ffa09a3f256dd182e1a26050ca2f7b2c02b6b7c3","datavalue":{"value":"51F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q830382$64EFF083-2AF1-48C3-8286-47D4E993B828","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27d45aa6228e78f560736397479674e192c71a48","datavalue":{"value":"7345780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q830382$598E17F9-636B-47D8-AE6A-B782FE1CCD2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q830382$4BD3A97E-2BBE-4B63-9E66-68A1765C8A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1371c564065042bae9e5c520a55a494d8cb0b20d","datavalue":{"value":"Minkowski spacetime","type":"string"},"datatype":"string"},"type":"statement","id":"Q830382$2C1D8DAF-4F66-4DB8-B56C-19EB277DCBD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f226712188a176b9885e4c581c48d816f48c0971","datavalue":{"value":"special relativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q830382$BB1636F4-4B41-424B-B0C7-1BAB646D8F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4db8186576c044bf016df6bdb27f8b4aab658d34","datavalue":{"value":"nominalism","type":"string"},"datatype":"string"},"type":"statement","id":"Q830382$53467D70-4651-4BFD-868A-C9CDE3B66B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2f97dec6bff53205bf55123a75220dbaed2a75f","datavalue":{"value":"representation theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q830382$50C5F3CC-BC95-46B9-A6C6-958478B34CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad5765c18508382c0e723cf5bee4770cfeca5bbc","datavalue":{"value":"synthetic mechanics and geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q830382$3EDFF4D0-9430-420A-B6B2-5249BB931395","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d2936d2ca75b282fe91002e3a0760ae48486e8ea","datavalue":{"value":{"entity-type":"item","numeric-id":482534,"id":"Q482534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830382$F9E46709-8E5E-4899-9B77-6F48A3E5E578","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":"Q830382$EA77188F-4852-49FC-970D-42C691DD2FB7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2bf7f1db7532d8dab8d39b8729bd108ea194683d","datavalue":{"value":"W3021747992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q830382$47F03A55-2C0A-4C52-B463-AE69D870D48C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ea25e1b414595f9f61aac3b7e59b5efe9cc207","datavalue":{"value":{"entity-type":"item","numeric-id":744846,"id":"Q744846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830382$937D9DF8-9175-453C-BEFA-2B5F1BBE1A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5192305a0bebe8e9b1419fb3cb9202714218b764","datavalue":{"value":{"entity-type":"item","numeric-id":2397813,"id":"Q2397813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830382$A4C9B668-6399-4EE7-9D7D-9C367AE74FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"832dfd364a0ca2b69a263a9f7112036988fa7896","datavalue":{"value":{"entity-type":"item","numeric-id":3901465,"id":"Q3901465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830382$5120E094-97A4-4208-8F5D-DA9D05063EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28d1dc6d08cd30d084739d571d9cd3e8ba96abbc","datavalue":{"value":{"entity-type":"item","numeric-id":1090929,"id":"Q1090929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830382$1C06AE09-ED37-499C-BE8F-72153E98CEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0e89c41d63aa82b256206089bc27e6f2d0bf28c","datavalue":{"value":{"entity-type":"item","numeric-id":5742217,"id":"Q5742217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830382$3D4E393B-15B3-4E1D-88FC-E1B685E1EDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0528fd5ec6b4cfdb33449de9a7aba36f94d9a260","datavalue":{"value":{"entity-type":"item","numeric-id":4485800,"id":"Q4485800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830382$9818B4BD-7DB9-4A93-87D8-B763DA9EAFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"638d28b2baea18e6ece5760cb80ce35ea8d92024","datavalue":{"value":{"entity-type":"item","numeric-id":5672886,"id":"Q5672886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830382$45E21CD8-488B-4F82-8003-411BA9C56E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be74297701f30d64d03176c61254189b1f48f072","datavalue":{"value":{"entity-type":"item","numeric-id":2901290,"id":"Q2901290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830382$3E149102-193F-4DD5-82A1-0C78D4DFB92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1fc0ec986ef802e01dd69520ec957568454344a","datavalue":{"value":{"entity-type":"item","numeric-id":3717731,"id":"Q3717731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830382$96E22C0E-356A-44FD-94F2-D031A72B1D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa5a1aeb7a9da3793d78572e34760ce1edf9cae7","datavalue":{"value":{"entity-type":"item","numeric-id":2474088,"id":"Q2474088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830382$FA1EC31D-4749-4DF1-86AA-01F9F020885C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adca13a3563a208218f2bffe90cd16409a26b6a4","datavalue":{"value":{"entity-type":"item","numeric-id":4373932,"id":"Q4373932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830382$6E22AC8F-D867-4C48-9733-AA0734F1623A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8549a72adcf761e26ac06f668c8502d7f581da97","datavalue":{"value":{"entity-type":"item","numeric-id":3678266,"id":"Q3678266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830382$8893F24E-6530-4EFD-98EE-A2B736C66C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bf66dce643416452adfb65f87a80d3a4ef76081","datavalue":{"value":{"entity-type":"item","numeric-id":5656765,"id":"Q5656765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830382$526601EF-5518-4706-91BA-C84A07614354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb1e55fa036205b279c17d4c92d6ed17c5f8cc21","datavalue":{"value":{"entity-type":"item","numeric-id":3256319,"id":"Q3256319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830382$14ED7D84-F660-4498-ABDB-E1DD1EAD64CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a6c5d146437c47b8bef15382de9ffab4b7eb489","datavalue":{"value":{"entity-type":"item","numeric-id":3259586,"id":"Q3259586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830382$80826FEB-F240-4F10-9EE7-DC238DC2339E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b13ca39ef78e37b93e841a7352af0085ae2fc2d","datavalue":{"value":{"entity-type":"item","numeric-id":3268764,"id":"Q3268764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830382$BCEE02E9-EEC1-44C2-924A-B8709663455B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43144c4a0a56b8fe6b196541305aec6c39695ec1","datavalue":{"value":{"entity-type":"item","numeric-id":4262603,"id":"Q4262603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830382$2AF10777-B337-4DCC-BA0A-53981E401E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69073e653d607d2e2b91d0d0bceabbeb8353e560","datavalue":{"value":{"entity-type":"item","numeric-id":3960662,"id":"Q3960662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830382$E3EB48F4-A8EE-429C-A980-E70BCB2CEEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87d08b860bef7ebac625b2afd0fc3a5f4b8f336f","datavalue":{"value":{"entity-type":"item","numeric-id":4392286,"id":"Q4392286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q830382$5EC285D1-B804-4426-9148-14EAB0502F42","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85db203750222ca4e892e0f8139ab8d529f4774f","datavalue":{"value":"10.1007/S10992-020-09565-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q830382$AA915252-A918-483D-8D0B-B02433FACBFD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee0e04c92dca09a53c0c44834678957fb5c8cc9d","datavalue":{"value":{"entity-type":"item","numeric-id":4373932,"id":"Q4373932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eae0985b739e391e3dea4e71208f028762c17152","datavalue":{"value":{"amount":"+0.8441516160964966","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":"Q830382$EDC21ABB-F561-49B3-A310-530DDB7D6275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b31c6b398defb92892f335fbbd8d3c6f36aa8d","datavalue":{"value":{"entity-type":"item","numeric-id":4735709,"id":"Q4735709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eae0985b739e391e3dea4e71208f028762c17152","datavalue":{"value":{"amount":"+0.8441516160964966","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":"Q830382$ED4C49AC-8AB4-4E2D-A5E2-38BA7164DF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23338ef17ad9ecd12388ccda11da64078ff6353d","datavalue":{"value":{"entity-type":"item","numeric-id":2358152,"id":"Q2358152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8b618d763f77cd1d52a62e7a17a96be8b7465aa","datavalue":{"value":{"amount":"+0.7663714289665222","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":"Q830382$1455BA1B-D07B-4116-A704-F8A7DEA775D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5907abde82c3b8f669f0af0204c2aa6c94dae7f","datavalue":{"value":{"entity-type":"item","numeric-id":3717731,"id":"Q3717731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"982e21ebcb08b705578f6089f0e2bea2b96af11a","datavalue":{"value":{"amount":"+0.76481032371521","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":"Q830382$63BAE96A-95BD-464D-B9D1-CB4B8F83F9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc6cbd6133c5c4f759ca0a77904364377595c9e6","datavalue":{"value":{"entity-type":"item","numeric-id":1039321,"id":"Q1039321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80c9dfd4c02a75135824bd7482687174361bb8ea","datavalue":{"value":{"amount":"+0.7238326072692871","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":"Q830382$9540A8B6-386D-4C1D-8EC1-D933822ACC23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A system of axioms for Minkowski spacetime","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_system_of_axioms_for_Minkowski_spacetime"}}}}}