{"entities":{"Q781513":{"pageid":783362,"ns":120,"title":"Item:Q781513","lastrevid":64289658,"modified":"2026-04-11T18:51:50Z","type":"item","id":"Q781513","labels":{"en":{"language":"en","value":"Definable combinatorics with dense linear orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7222138"}},"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":"Q781513$08D046C4-E945-49BA-ADCD-A90AEB93FD9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a08fd6f9cda582285f7a4de602165b083b568f42","datavalue":{"value":{"text":"Definable combinatorics with dense linear orders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q781513$A8035D37-6F7A-48B0-B17F-54F8B2B003EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"970c62779686983c0f7405ab3ce51f2e84267967","datavalue":{"value":"1486.03068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q781513$2ABD3298-4C33-4CED-A4ED-D525774293BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b4afdad84113925aab6737421689011035bb70a","datavalue":{"value":{"entity-type":"item","numeric-id":781511,"id":"Q781511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781513$DF010F1A-EE06-4E0D-AFB5-732AD8B16725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35d8a5e116c84142ab1ecb87a3c5c8040a528912","datavalue":{"value":{"entity-type":"item","numeric-id":781512,"id":"Q781512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781513$0D0DB521-F452-41CA-97F8-4E2CE2841690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3a96c82e68ca3736a6c641fbfbe491edddb5f00","datavalue":{"value":{"entity-type":"item","numeric-id":487695,"id":"Q487695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781513$4714C067-E032-4959-91F0-EBA7A32FD49D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781513$128543A8-5E9F-4ED8-96FC-E929F579305C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ca46e0912f6aaf36f3f8b24f45482bfccf0cefe","datavalue":{"value":{"time":"+2020-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q781513$437830ED-F95A-4AE6-A5BD-C82AB5D45254","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aea669b1e314953e4f8ab62c2b5bf61644f6a376","datavalue":{"value":"https://arxiv.org/abs/1807.06097","type":"string"},"datatype":"url"},"type":"statement","id":"Q781513$E8F1AC2C-23B9-4A7D-9C74-EB0890D680DB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dd24925da77d6f6f31944852e57b726ef182bd18","datavalue":{"value":"To any first-order structure, one can associate the corresponding Grothendieck ring of definable sets. (It is generated by the definable sets up to definable bijection; disjoint unions correspond to addition and Cartesian products to multiplication.) The authors give a precise description of this Grothendieck ring for dense linear orders without endpoints (and then also deduce similar results for dense linear orders with endpoint(s)). As a corollary, they deduce the pigeon hole principle (there is no definable bijection between a definable set and a proper subset).","type":"string"},"datatype":"string"},"type":"statement","id":"Q781513$F680D89B-37FF-49DB-8A23-49A69DE6FB41","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"dddde243d09d3a0c11c233fa0f386c8f74d6555f","datavalue":{"value":{"entity-type":"item","numeric-id":590825,"id":"Q590825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781513$66E317A2-CC62-43F3-887C-5F74DC8DD031","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q781513$472B6DB0-3591-49A3-8966-9BBE9D9EEB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24363e421bb7b6dfa7fe7a9b1ee54d8da8a06bf1","datavalue":{"value":"06A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q781513$544AA4E2-E2C3-4D83-BDA7-EDB331C3BD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a6b4d33f0acc4479dbd80c2e14c77e3ba846fc9f","datavalue":{"value":"13D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q781513$59C1BBA3-EA4F-4E1A-BED0-D12322F4F0ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cabc75f460bb9b10fc310b85b9cd07b0cc09b07d","datavalue":{"value":"7222138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q781513$315C546A-4651-4884-96B5-211BC382F27D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2d85a145a938502fdbd863afead2d2d16efe067","datavalue":{"value":"Grothendieck ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q781513$CAD27085-20CA-4DBC-B461-F1467413285E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b8e7d033342c99b72c744e65e5d3e8084428c65","datavalue":{"value":"pigeonhole principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q781513$EB3D76F2-6536-4F5E-B712-628ECE29D4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f393842e4bab743075839d648a361e4843e310d2","datavalue":{"value":"dense linear order","type":"string"},"datatype":"string"},"type":"statement","id":"Q781513$F425F9D3-6FF0-4D17-BB55-E045FF7DC47B","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":"Q781513$851C4C4F-311D-4D38-9166-290E63AB78FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54f374c6702fbc8dafa9f3ffb87a42ec78732bba","datavalue":{"value":"W3003114624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q781513$B59134C9-DF64-4B8A-BC54-1F5E835A53AA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"656790c46a6215d181a4f833ac7d95dde55672bb","datavalue":{"value":"Q126299210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q781513$706F7C24-784F-49D6-B596-A8DB2D9224FA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"38af94e85d3150b56596cccfd2f262da6745dec7","datavalue":{"value":{"entity-type":"item","numeric-id":2539067,"id":"Q2539067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781513$A168AFA5-E1AB-41CD-B42A-A33053B59C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c02b85a39af05de3fdeaf26123dc290779d17df1","datavalue":{"value":{"entity-type":"item","numeric-id":1427367,"id":"Q1427367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781513$90625B1E-24AC-4A02-AB2A-905C0FADB495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024422529b86cd0b65d64f35947d894a26d71c75","datavalue":{"value":{"entity-type":"item","numeric-id":4642703,"id":"Q4642703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781513$936583DE-819E-4D85-815F-C1C565C346FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d146e3540ecc7b2455ee514ec04534e2196d8130","datavalue":{"value":{"entity-type":"item","numeric-id":2736587,"id":"Q2736587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781513$86D93499-9841-4DA1-901C-C5B8FB3C8AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781513$054F6E53-3388-489E-9AF7-28E8435F371E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"879d5b484433694e3a1ea7f3863703fb1d76f0df","datavalue":{"value":{"entity-type":"item","numeric-id":2766366,"id":"Q2766366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781513$DB74E7D1-CD99-4545-9382-5D300A860CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c9ee37ca00387e8e3a22f98cde06b038a0caa08","datavalue":{"value":{"entity-type":"item","numeric-id":4527935,"id":"Q4527935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781513$006CD817-C07F-49FA-99E7-3671EF11C2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea687b15fafbea6cd1110491bff7c1d68d3fd37","datavalue":{"value":{"entity-type":"item","numeric-id":487696,"id":"Q487696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781513$D28014E0-B59E-4556-8E5B-B71BF3170AAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0b5d3c692d8cf3dd611649ee1a8fa58acaecef6","datavalue":{"value":"10.1007/S00153-020-00709-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q781513$6C693B4A-9E39-45F9-AA65-EECBE14281FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d77cc81a1f9ca105c12b201a98a825136befc243","datavalue":{"value":{"entity-type":"item","numeric-id":4527935,"id":"Q4527935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31ecfadf5adc81e9a4f0818e187e1692a4fa2aa8","datavalue":{"value":{"amount":"+0.7540539503097534","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":"Q781513$DEBBBAC8-58A8-40B9-8B0F-617F65570B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bba5f1930fda9e2ab5a0b3a7670c1b081987b89e","datavalue":{"value":{"entity-type":"item","numeric-id":487696,"id":"Q487696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8556969dc1f0ca760bf5fc350c6066926f8280b5","datavalue":{"value":{"amount":"+0.7371807098388672","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":"Q781513$7CE7FE63-446A-462F-8F1F-1A8719010B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87feffd4939473fb8676cb0692df1915b0eab137","datavalue":{"value":{"entity-type":"item","numeric-id":762143,"id":"Q762143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"796c00304e7cf5bab7b990a6c20c922eaf153152","datavalue":{"value":{"amount":"+0.7038088440895081","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":"Q781513$2C58F6A5-6B5A-4DCB-8943-B0FF5163AD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12bf46ef3ce81cb8f9253b5dd760b8df00cfc3bd","datavalue":{"value":{"entity-type":"item","numeric-id":1427367,"id":"Q1427367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa48763403ab371b12f1766f5bf5409db2e51511","datavalue":{"value":{"amount":"+0.6940134167671204","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":"Q781513$1E8F1332-F12C-455D-B8DD-AA16C0488292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b83c1e10c9472719c23665171e2a21b8eabd75be","datavalue":{"value":{"entity-type":"item","numeric-id":2736587,"id":"Q2736587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e5ea9eebb350b3112b60aef0f241b4b163b7690","datavalue":{"value":{"amount":"+0.6823097467422485","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":"Q781513$92CDD303-4A97-464E-9FFD-2C0976D55798","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Definable combinatorics with dense linear orders","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Definable_combinatorics_with_dense_linear_orders"}}}}}