{"entities":{"Q1181483":{"pageid":1192232,"ns":120,"title":"Item:Q1181483","lastrevid":67068948,"modified":"2026-04-12T14:48:34Z","type":"item","id":"Q1181483","labels":{"en":{"language":"en","value":"An algebraic treatment of the Barwise compactness theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 28344"}},"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":"Q1181483$00F7A358-9015-4F2C-ABA7-F09E50001E32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c760b70f19ce0f3a1a4eed562b81d59896d365eb","datavalue":{"value":{"text":"An algebraic treatment of the Barwise compactness theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1181483$577237F7-6D9A-4557-BABC-D7EC681EA266","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6e79086316ef58dc5e75479813c0e0682db194c","datavalue":{"value":"0748.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181483$F676A2B3-55F9-493E-A776-57AA05CDB0DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38a3e0539ab5e168bbcdee3e719ddcc3ac8393c1","datavalue":{"value":"10.1007/BF00370183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181483$0046A378-35DB-43B9-80E0-AE0A49209592","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181483$E2523889-7338-4AEA-A7EA-BD66738BE71C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-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":"Q1181483$BCE56D8D-1A0B-4BE7-9AE2-BE80D111259E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0bbf08d5749161070a3945c1f8d616a8688fde74","datavalue":{"value":"The authors suggest some new approach to understanding the Barwise compactness theorem. It is based upon a theorem on the extendability of certain subsets of a Boolean algebra to ultrafilters.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181483$3C8713E0-1EAE-4772-8B6C-CBCA16B0B288","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181483$284A6CBF-4A6F-4C78-88ED-76752A3F2F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181483$34428EF1-56B5-4CA4-99B0-476D7D3FC345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ff5afb9f74c3a3415ada815bc1c672499bc6e26b","datavalue":{"value":"06E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181483$ABF25305-A536-496B-87FD-0AF709550E48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2bff2aee7abeae01a7d0a08fd04fe19814cc325a","datavalue":{"value":"28344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181483$A8BD4600-CBA4-4730-BAA8-E50EB9E00451","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce95b28a95528077a174c75b643a8f80cd4fab5e","datavalue":{"value":"infinitary languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181483$E911E082-6E51-4829-B4B6-2467BF1CFDAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"738a87a298450b556ac9553629804c05fd9adea1","datavalue":{"value":"Barwise compactness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181483$5E9B551E-3520-4DC5-B586-17E3E84B5022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181483$3E092785-C467-48EF-AF0C-39D834D39008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9256724b8e750d74d5ea25645b17fc8bb369e885","datavalue":{"value":"ultrafilters","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181483$5FCA8554-D146-4EA8-81FA-FDB3A50016D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8160cd73c52f12b156dfe5f344d0b1a2631efa21","datavalue":{"value":{"entity-type":"item","numeric-id":188194,"id":"Q188194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181483$E64684DF-6802-4E83-BB25-8FC5C29AAA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ab81d74da7d6cf4bb1c0c07253f943d18da01ee","datavalue":{"value":{"entity-type":"item","numeric-id":1123882,"id":"Q1123882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181483$717C91F7-A899-441A-9AB4-4FA58CBA03A0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3ce0c15be929efae5d1db4165b73b6b1dd00974c","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181483$054C1C34-9481-4449-8EDC-68B04B19ACB9","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":"Q1181483$99321FA9-FBEA-4F94-8AF5-C34845BFC313","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181483$EB8DEA50-27FD-4F1E-B48C-0535286A43B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca699d9eaadc034c8acba58807d8465fe6e2279","datavalue":{"value":{"entity-type":"item","numeric-id":5332215,"id":"Q5332215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181483$A76B421F-691C-4D53-8F99-B703A97B89C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181483$1162DA10-522C-4BDC-BA2F-4904891DE7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a329ce6daf40769eef7b7af811e87351372157a","datavalue":{"value":{"entity-type":"item","numeric-id":4154546,"id":"Q4154546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181483$26F0B2B3-4808-4C0C-BC93-017C3A57C0A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"763ab9d0cf4d566bb9114304a11e7b2409ba9ce3","datavalue":{"value":"https://doi.org/10.1007/bf00370183","type":"string"},"datatype":"url"},"type":"statement","id":"Q1181483$F500EE0B-CC03-40A9-B97A-C2FB7C08F5BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30d1da674c630d98941f1017a38ae8fda3d66c80","datavalue":{"value":"W1985131619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181483$8F35DD58-AB13-4F5E-A2A0-A6D3E2D4455D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa989adb508ee677a3fb73af874a624140a93934","datavalue":{"value":{"entity-type":"item","numeric-id":3797243,"id":"Q3797243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63d919cd5c149797ae8ddd47461cca0fa3851b9a","datavalue":{"value":{"amount":"+0.7406361103057861","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":"Q1181483$E1B20BA9-24E6-4CEB-A7E4-025F08ADE2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a59cd2726cf93e50ba5503e3683798cd38ab4c60","datavalue":{"value":{"entity-type":"item","numeric-id":3077398,"id":"Q3077398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8db2b2d5c6b36ad3d4663d2df7eeef06352e8249","datavalue":{"value":{"amount":"+0.6969267129898071","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":"Q1181483$5783F1B1-112F-48F1-A3FC-C585FE17D356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f702d679bd9d3bc631032b98f32179c607da990","datavalue":{"value":{"entity-type":"item","numeric-id":3346279,"id":"Q3346279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cac102ef97e6960b88ec629a5da43acbef70f214","datavalue":{"value":{"amount":"+0.6968615055084229","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":"Q1181483$CCF19041-41E7-44DB-899D-40D5AFDEEF85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ca7173d355657a623b98edfb2f3ffa830ab7bca","datavalue":{"value":{"entity-type":"item","numeric-id":3691665,"id":"Q3691665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fa87c1d40e0e3ade8a434cb003fa66d2204e62a","datavalue":{"value":{"amount":"+0.6953046321868896","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":"Q1181483$41DB0C60-C8B9-48D7-BC2C-B28C116054DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4adc38c367fe882b8e9b00d36338ca02e15a938d","datavalue":{"value":{"entity-type":"item","numeric-id":3767333,"id":"Q3767333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2261325059614a665e4ffefeada654e75cde2e74","datavalue":{"value":{"amount":"+0.6948674917221069","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":"Q1181483$12BDD3D6-7652-4DC0-870B-C1F7C53A4B0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algebraic treatment of the Barwise compactness theory","badges":[]}}}}}