{"entities":{"Q634735":{"pageid":636583,"ns":120,"title":"Item:Q634735","lastrevid":63140904,"modified":"2026-04-11T10:52:09Z","type":"item","id":"Q634735","labels":{"en":{"language":"en","value":"Infinite saturated orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5939486"}},"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":"Q634735$961C0823-D1B5-4A57-BC7D-2FB689FF1166","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ff7ab5d23b4a4464e88eeea3f73249bf2b9439e","datavalue":{"value":{"text":"Infinite saturated orders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q634735$13FECFF5-9DBC-449C-802C-491B522D52E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"917129f194f502b7ce1ca06a469b02dca055deb8","datavalue":{"value":"1226.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634735$9ED5D0BA-D6B9-416A-846A-3EF613D96F25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df47b160552dc894c1aa471ca705195c5906bca7","datavalue":{"value":{"entity-type":"item","numeric-id":375887,"id":"Q375887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634735$C37E688E-7F4C-4EA7-A9DA-12EF1F1A3734","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634735$7B3C6E35-A959-43BC-A495-04A50F3A6C30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e46a6b83be9fcbd5764c46af6454b5ea03b3b70d","datavalue":{"value":{"time":"+2011-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q634735$649B1446-4AD7-49E9-AB5F-8EA3C3BB4121","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49ae92735e7f9127731ec8862dc30af3764c855a","datavalue":{"value":"https://arxiv.org/abs/1010.2219","type":"string"},"datatype":"url"},"type":"statement","id":"Q634735$7F78707C-B3B6-4F8B-9951-621F0A766426","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1eacb6c868e7cd897ccdc323b3c93cc05902d61f","datavalue":{"value":"Saturated orders are a generalization of interval orders, which are partial orders that are of particular interest for researchers in measurement, utility, psychophysics, and mathematical psychology. This paper extends work on finite partial orders by \\textit{R. Suck} [Discrete Appl. Math. 127, No.~2, 373--386 (2003; Zbl 1036.68111)] to infinite partial orders. The extension requires significant modification to the finite-case definition, together with a proof that the new formulation is equivalent to the original for finite partial orders. The author proves a characterization theorem for saturated orders, and then formalizes the definitions in second-order arithmetic and analyzes the results in the framework of reverse mathematics. This connects the work with results on the reverse mathematics of interval orders by \\textit{A. Marcone} [Notre Dame J. Formal Logic 48, No.~3, 425--448 (2007; Zbl 1135.03005)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q634735$8D025C5B-69B9-49A4-937E-8277EAF60770","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c7a0f70c0b7cc2161585e985e86183cb70d3ef","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634735$1357DF13-5F1D-444F-8456-85C17B7973EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634735$E95E1499-9EAF-4A53-9674-2EF347FEB727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634735$6F038DDC-7891-4D8A-9CCD-6BED6D926E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634735$0EE346D6-61D3-472F-BBEC-DEA42D0AD858","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7150bca9e3c915f718eda4303e795be62d004125","datavalue":{"value":"5939486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634735$F8DE81FF-C6AE-4295-8543-ADA4A8681C50","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c92a956c7e24a5efb88228aa977bbd16860fb17","datavalue":{"value":"saturated orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q634735$92731917-ABA6-48C6-96CB-907B0F39D3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62d18420b0848a4c0300452d10ba1f75d74dc0e1","datavalue":{"value":"interval orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q634735$6EA66E11-647F-4390-9C63-0FE808ABC2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33bcb6eab138ebe678e1ba9aabf63d9129444c22","datavalue":{"value":"set representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q634735$E024EC87-711F-44FB-8CF4-AF17EA65B0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bbd3ab7bf1fbafed768194a39eff6e0454fe108","datavalue":{"value":"partial orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q634735$ADA50109-F0C8-4DB2-B2D2-CC6E2BB533D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00d118079d5778295b01b6f523f8711a3a68990d","datavalue":{"value":"knowledge spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q634735$75E255F4-EC82-4364-B021-19557CD4EA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q634735$1F5E557D-301E-465E-BBE4-1BFB9B9333BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"155887e129f138ddb550f061b25d6f62f70a6545","datavalue":{"value":"arithmetical comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q634735$101B4233-D885-4683-8DF1-18B510335815","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":"Q634735$23F1328D-53F9-41E8-ACD6-7E80AA3BB4AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0748f032292c554588cdce37c33a95af747541d5","datavalue":{"value":"W2141268006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634735$FD1E3CE1-3227-4450-824C-C56541E51470","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5be963a1f25d733f4e8df72defe65f65debdb3f6","datavalue":{"value":{"entity-type":"item","numeric-id":4221111,"id":"Q4221111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634735$73DE4795-1A71-478E-9D19-C26C10C0EA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e645b698d0694949258471509082e43b1bfa41f","datavalue":{"value":{"entity-type":"item","numeric-id":2537977,"id":"Q2537977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634735$F9A806A5-0681-4C98-B078-42475FE156C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a60573d249f4ae698376e458073713a9ed70c144","datavalue":{"value":{"entity-type":"item","numeric-id":2469435,"id":"Q2469435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634735$FE8A3CDC-9FA4-4D16-A6A6-75BFF28D3A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634735$6E6C5DA6-4B98-4AF5-978A-54F909DF0A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2cda15a4a856e5f17cee436da81d30e3e3506c7","datavalue":{"value":{"entity-type":"item","numeric-id":1874546,"id":"Q1874546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634735$9A210642-F3C6-4B21-BA8E-E0AD60C3FCD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eb61bef8281387299397da37566f83c42b037d1","datavalue":{"value":{"entity-type":"item","numeric-id":1887797,"id":"Q1887797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634735$03589008-50E6-4564-B4BB-9D67E196ACF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c66dc5d42f27cf900ff709780f80710829a779fd","datavalue":{"value":"10.1007/S11083-010-9160-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634735$1CB1A966-F8E4-43A0-8BB4-BCB085473E31","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"282e8d2821b6473561469d328a5becbc1341ba26","datavalue":{"value":{"entity-type":"item","numeric-id":3144869,"id":"Q3144869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"400c2df7c03f86ff026247c1ec17aa2a52ee2715","datavalue":{"value":{"amount":"+0.7731189131736755","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":"Q634735$6FA29109-F17F-401A-AB50-20746FC7E43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8c7379a725afd4604a59a34074965b6112ddef4","datavalue":{"value":{"entity-type":"item","numeric-id":4946096,"id":"Q4946096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffea0539c69994a10f985816375d41546f62b0b1","datavalue":{"value":{"amount":"+0.7584296464920044","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":"Q634735$72DE32B7-A5B1-4D17-8706-B7DF7CC7B07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aa632136f903ba34279072b1be72cc7b0c1316c","datavalue":{"value":{"entity-type":"item","numeric-id":386152,"id":"Q386152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5f9d0460a47f2c4f6a4e4b3d5011dcf72379170","datavalue":{"value":{"amount":"+0.7555343508720398","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":"Q634735$D5647CC5-AE32-44A3-A78E-88EE4AD1A52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f8c921fe4bdee51ddbe8fe9a63484f12e6df66a","datavalue":{"value":{"entity-type":"item","numeric-id":5311748,"id":"Q5311748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"885f896eb7e63668e705fe8e4624758c8be68c57","datavalue":{"value":{"amount":"+0.7427650690078735","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":"Q634735$5DBA51FE-DC22-48E2-846C-5E15CB401F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4767be8ba7b53d0f301117409a8dfd43eb0dd65f","datavalue":{"value":{"entity-type":"item","numeric-id":2469435,"id":"Q2469435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c52ca49c725564dbac1d9b8cd8045986f6f8f48b","datavalue":{"value":{"amount":"+0.7347368001937866","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":"Q634735$0E50F5DF-6A7A-44B1-9E7E-9F9FDF3AB392","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Infinite saturated orders","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Infinite_saturated_orders"}}}}}