{"entities":{"Q796519":{"pageid":798367,"ns":120,"title":"Item:Q796519","lastrevid":64525698,"modified":"2026-04-11T20:28:25Z","type":"item","id":"Q796519","labels":{"en":{"language":"en","value":"Positive results in abstract model theory: a theory of compact logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3865254"}},"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":"Q796519$0BA67846-FAFF-4754-846E-4E9755339144","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6abeca652b7d556155913c4618f83b5add0a52d8","datavalue":{"value":{"text":"Positive results in abstract model theory: a theory of compact logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q796519$7C2E3CF1-0C31-4145-8FE5-6B469E6A2669","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"046522d6972cea5a58670ee6daa3fa5e2d7d10b8","datavalue":{"value":"0544.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796519$8BC4BB8C-7F22-4948-A4EE-0C5DAE45DDFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5551eed2e8573de569a4eea2ab6416c5437910c","datavalue":{"value":"10.1016/0168-0072(83)90021-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796519$177A29AD-87A8-4870-AF4C-A777A0233B01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796519$35FBE099-5C1A-498E-A833-A480E3F7C486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32ead6a624fee23dc1dc37cfe2dcec3766470899","datavalue":{"value":{"entity-type":"item","numeric-id":452475,"id":"Q452475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796519$20CAB770-4E47-4A09-90CC-6838EF7B8A94","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796519$96184BBC-8966-44EB-99FA-BF62F7E20B63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q796519$838EA79C-24BD-4C47-A675-26B97ECDB7BB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"66e93a871a452cd621082395990aa5680ea7e0d2","datavalue":{"value":"(From the authors summary) We prove that compactness is equivalent to the amalgamation property, provided the occurrence number of the logic is smaller than the first uncountable measurable cardinal. We also relate compactness to the existence of certain regular ultrafilters related to the logic and develop a general theory of compactness and its consequences. We also prove some combinatorial results of independent interest.","type":"string"},"datatype":"string"},"type":"statement","id":"Q796519$2AA87F73-891C-46FD-81A6-0E5363665D55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796519$6DA8A5AE-49E7-4434-B1CE-F14CFF2E248F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3dad0277bcd0256d3dcda33e7f0f7f7c58bb6096","datavalue":{"value":"03C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796519$9BF49CF9-AC8D-40B8-85E7-9862D21F87E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7282cc56ff6071d4717b33bcd111d2e8fae812ef","datavalue":{"value":"3865254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796519$A6F121BB-8279-4AE2-9085-0B2ACA7DAE05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64301e7961eb15fc2b1aeff2f723133517c45a7c","datavalue":{"value":"compact logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q796519$82312FE3-9470-4683-95B4-6D034F61CF1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q796519$114F60F8-B2F0-401D-8567-529656DE921D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87ab00d8c6d004f508ae7223b0711ed16c3c98cb","datavalue":{"value":"amalgamation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q796519$1C98FEFC-4D9C-4315-A831-754F0CAC66A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80c0960c60a8031d01bdcbcdfe12916beb45108","datavalue":{"value":"regular ultrafilters","type":"string"},"datatype":"string"},"type":"statement","id":"Q796519$7FD8F8E3-CA11-4571-8349-F27A78728511","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":"Q796519$B62F1418-2DEA-47DB-BD77-523D0D835A6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"abaff44e95b8f6a849049bf744d22fc3aa531159","datavalue":{"value":"https://doi.org/10.1016/0168-0072(83)90021-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q796519$5FA682E9-7949-40C8-BE2A-1822A8DE8204","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d347cbd62fb93b7d93aa8295ea5283ea28257bdb","datavalue":{"value":"W2092513686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796519$32757A28-2BC8-4131-95C0-607440B53562","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1152d39bd65de6cf49d945a10e115d1dd1c5e26","datavalue":{"value":{"entity-type":"item","numeric-id":4087162,"id":"Q4087162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796519$AC34FF97-F772-454F-AAD4-D2670438DA8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb019838f7e83d63569fdc9c7d517b95c9c37f34","datavalue":{"value":{"entity-type":"item","numeric-id":3714043,"id":"Q3714043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796519$F77DEB64-16E1-492E-B848-E41CBF65FB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"216cc95106a8bc67ed4f632f626c7d3a3e0fe32f","datavalue":{"value":{"entity-type":"item","numeric-id":4149757,"id":"Q4149757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796519$32509F0F-96B4-43B9-8575-C97FE85D1DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da258b65e2346205134973cc333997cb45b7692","datavalue":{"value":{"entity-type":"item","numeric-id":5570212,"id":"Q5570212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796519$DF6FAFEC-00E9-48AC-8D7E-610DBFD0A24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4baced833a2ee1262123783a0de9d550e55dba72","datavalue":{"value":{"entity-type":"item","numeric-id":4053660,"id":"Q4053660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796519$A479F63A-98D1-4CAB-BE34-3A705212590A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a05947a0c2e5b9c7ed73043a54478f13bf1383","datavalue":{"value":{"entity-type":"item","numeric-id":4052073,"id":"Q4052073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796519$B6BFE61A-8F05-4DE6-980F-C021EEB78D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc506cda389dbefa0eb4698a86ee1c9ac361ea84","datavalue":{"value":{"entity-type":"item","numeric-id":3944594,"id":"Q3944594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796519$F5675DCD-BA67-4622-B18B-0A9E3FEF0977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5218a24130b4aa5afd6bc029ad837bf70fcffa44","datavalue":{"value":{"entity-type":"item","numeric-id":4109641,"id":"Q4109641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796519$2437403E-564B-4B15-97AD-FBB0A393178F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02aa8a0375ef3d5337164a76057d6b82f8aa0d19","datavalue":{"value":{"entity-type":"item","numeric-id":4085693,"id":"Q4085693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796519$90C683CD-7109-44C3-B019-5DF1AA2077F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"115d386e16ca8478e4d86e5ee066ed14d2e19b15","datavalue":{"value":{"entity-type":"item","numeric-id":3927221,"id":"Q3927221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796519$7D79BE79-82D6-42DA-B42B-D229CA6DCEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc024b57864a78c1fbcd0862475ea6aea6110c9c","datavalue":{"value":{"entity-type":"item","numeric-id":4108332,"id":"Q4108332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796519$81824353-CF9A-491C-A2E5-3E12C2D82961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e7d8e3a46bb5ea6c04146eda56f63a63d59d14e","datavalue":{"value":{"entity-type":"item","numeric-id":5338322,"id":"Q5338322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796519$F37A55B5-1703-4C2B-B2C0-F9F571E109F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"129638e80c7f80a131207220b9f7b325d74c8c55","datavalue":{"value":{"entity-type":"item","numeric-id":5734417,"id":"Q5734417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796519$3552637C-7728-4732-8D0B-7818A9ADD606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e921ebef9d571415a419b6f5e35c64bb8e9ff3b","datavalue":{"value":{"entity-type":"item","numeric-id":2561212,"id":"Q2561212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796519$783FB37B-F68E-48C1-9C24-F187FDC7B639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9180cfb896ee57dc134a716281589102688caa0b","datavalue":{"value":{"entity-type":"item","numeric-id":3922656,"id":"Q3922656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796519$04A4A575-C1D1-4BD8-98B3-118A41C6C9A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8fc495543710fa6dfeeabf64a240c710cf42c85","datavalue":{"value":{"entity-type":"item","numeric-id":3760532,"id":"Q3760532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796519$8B7E851E-1007-42CA-8362-9C5C66AF5E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d89a49abc8449f88c35cc5a01cde8fd7a1924de3","datavalue":{"value":{"entity-type":"item","numeric-id":3864498,"id":"Q3864498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796519$14DEC1F6-42D4-437A-8841-8DFB452D5A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44fbeb0d6d9489bcf255bce0039cc5c98068c406","datavalue":{"value":{"entity-type":"item","numeric-id":3926560,"id":"Q3926560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796519$49AF72DF-870E-4E1F-BD24-0CD7B6C9BEA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ae6f9c4bae423d3121fbd641589330337008fb5","datavalue":{"value":{"entity-type":"item","numeric-id":4115128,"id":"Q4115128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796519$F84743E0-37AC-4EA0-82AF-F05E27B920D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac3ad71e8ad3102260bd224b2305388941ff01be","datavalue":{"value":{"entity-type":"item","numeric-id":2553962,"id":"Q2553962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796519$5F752E0F-859E-4EE8-B6CB-DF18F6ABD5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b596fd4447aae77f84658a3eb979ba04a17f6fe","datavalue":{"value":{"entity-type":"item","numeric-id":3958441,"id":"Q3958441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796519$3B5B20A5-6F5C-4C74-A809-BF9548E8EE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25551abb57777af70626238f5e985bb9a983aca9","datavalue":{"value":{"entity-type":"item","numeric-id":5684675,"id":"Q5684675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796519$B5595EFC-A739-4676-AF83-EE9E6710F49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be3adad5169b26fd437a5e7163e485ebc14e618c","datavalue":{"value":{"entity-type":"item","numeric-id":4083390,"id":"Q4083390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796519$4412BE07-18F4-41A4-9712-9FC1E9531F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7d4a799934141da7c29f01edc10e0b00564a284","datavalue":{"value":{"entity-type":"item","numeric-id":3781082,"id":"Q3781082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796519$FF9BEDA4-A078-4858-BC1D-1BF6572A607D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06e8ee9899247ff9ad8dd5ba8e7de0a046303bfa","datavalue":{"value":{"entity-type":"item","numeric-id":4064680,"id":"Q4064680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796519$17AA43FB-2F53-4177-95A0-645A8826C836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df974d2e502df13870f2fc77d49c72216100a8f","datavalue":{"value":{"entity-type":"item","numeric-id":4105651,"id":"Q4105651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796519$B08691FE-C2FB-4368-A206-58A402F4A9DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98e89bf1cea9c1f2dc8042ec88fc8dd860b6e3bd","datavalue":{"value":{"entity-type":"item","numeric-id":3211288,"id":"Q3211288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"755a879c0a2b696678c8d431164bf21ed8f250d7","datavalue":{"value":{"amount":"+0.8119726777076721","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":"Q796519$B73534EA-DCF2-4501-AB87-C717EEA809A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9596cbbefc68619550153e455c3caa19b84d9d5b","datavalue":{"value":{"entity-type":"item","numeric-id":3808081,"id":"Q3808081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fbbb06a158685c10a5273fea8d52fe0b93c7c76","datavalue":{"value":{"amount":"+0.8093207478523254","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":"Q796519$22931FC5-6062-49DA-9F62-F5617D164B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b02dba4bac582d776b2427b5e2e79bab85fda12","datavalue":{"value":{"entity-type":"item","numeric-id":3347866,"id":"Q3347866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c55775dd2c23cecb4933844d910360ddbf4c7682","datavalue":{"value":{"amount":"+0.8057606816291809","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":"Q796519$F303AF98-585D-458D-9648-F553E499F921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4c1069cbd1ea91b1006384869b5ec71de79a632","datavalue":{"value":{"entity-type":"item","numeric-id":1208083,"id":"Q1208083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecd545f369dff8c13c147a8130e065eec99b245a","datavalue":{"value":{"amount":"+0.8003348112106323","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":"Q796519$2F240AE0-44CE-4171-B7E1-BAF92C71E864","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":"6da852541e87170b8f5190f48693d6340f1acaf1","datavalue":{"value":{"amount":"+0.7985063195228577","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":"Q796519$414C3517-A376-47A3-B25A-D323B8144D1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Positive results in abstract model theory: a theory of compact logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Positive_results_in_abstract_model_theory:_a_theory_of_compact_logics"}}}}}