{"entities":{"Q7361960":{"pageid":31521419,"ns":120,"title":"Item:Q7361960","lastrevid":105369557,"modified":"2026-10-07T13:38:06Z","type":"item","id":"Q7361960","labels":{"en":{"language":"en","value":"Cofinality and the Delta System Lemma"}},"descriptions":{"en":{"language":"en","value":"AFP entry Delta_System_Lemma"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed028942a2cd99936caddb98c04f023a9d722786","datavalue":{"value":"https://isa-afp.org/entries/Delta_System_Lemma.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361960$A0176479-9796-453D-8F64-B89B75C444BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"25cbd93f31766545606032521d79c5b5a1223a59","datavalue":{"value":{"time":"+2020-12-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361960$C889A2C8-0EF1-4C9E-B7C5-B29B11B06F0D","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"8b79a12243cce5133b63a6dc0b6b79e3b6810f84","datavalue":{"value":"Pedro S\u00e1nchez Terraf","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361960$6B119B8E-5E0D-4B60-8D8F-A96FC926D84B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79969dd0271500c47b169e926fb0382dfe33ccf6","datavalue":{"value":{"text":"Cofinality and the Delta System Lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361960$67738112-E15F-4CFA-A759-AB46CE03AB36","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cf88061d12c9174232f7dcb260ef18999145ae73","datavalue":{"value":"We formalize the basic results on cofinality of linearly ordered sets and ordinals and \u0160anin\u2019s Lemma for uncountable families of finite sets. This last result is used to prove the countable chain condition for Cohen posets. We work in the set theory framework of Isabelle/ZF, using the Axiom of Choice as needed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361960$C4774B7E-B6C4-44A2-BF0B-DA4B6A21273A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f04632d5958d80f81462441db38ef00e84019e13","datavalue":{"value":{"entity-type":"item","numeric-id":5049004,"id":"Q5049004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361960$4DAFADEE-B5C9-4EF4-A46E-59A2532C4349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df566ef0248fe3e927a10046fdd99e599cbaa541","datavalue":{"value":{"entity-type":"item","numeric-id":5961491,"id":"Q5961491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361960$D04C7EBF-3037-4FE1-AB14-FF81ADAF18FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dee9dc0a2d70823118175fe36f4a7f55b33863d2","datavalue":{"value":{"entity-type":"item","numeric-id":4372664,"id":"Q4372664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361960$82F114D7-B52D-4270-917E-0BD38A10BA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865366d5e5dc0cc1d3e4208c4e4583fd4b14d10c","datavalue":{"value":{"entity-type":"item","numeric-id":2904376,"id":"Q2904376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361960$DEBB2839-E723-43A7-B477-0DAA1ABAA860","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361960$6A06628E-B8D4-43A1-BC0A-2BF7E4C54A61","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"5634edfbfbc0239093a6d080d47ef70273afec4d","datavalue":{"value":{"entity-type":"item","numeric-id":7360824,"id":"Q7360824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361960$39D5F8BE-9D6B-4218-97C4-CE63B2A0377F","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361960$19F43AA0-84DD-4362-A5D5-C7B5A5E81982","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cofinality and the Delta System Lemma","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cofinality_and_the_Delta_System_Lemma"}}}}}