{"entities":{"Q1190616":{"pageid":1201365,"ns":120,"title":"Item:Q1190616","lastrevid":66808962,"modified":"2026-04-12T13:01:11Z","type":"item","id":"Q1190616","labels":{"en":{"language":"en","value":"On \\(\\kappa\\)-complete reduced products"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 55778"}},"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":"Q1190616$437E9650-E662-46CA-BB10-4672390C58B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f68a8bd71533c1eaf8c3b5562d6c96907ec8b39","datavalue":{"value":{"text":"On \\(\\kappa\\)-complete reduced products","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1190616$A1E0FDC1-9712-472A-818C-078087728D25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f43542e06184a0bab774b2e10ad7b4c126790982","datavalue":{"value":"0755.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190616$39BEC63F-B517-42B3-ACC5-79106404BFE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ce635e21f74a07661bf29f29d909b023573b9e0","datavalue":{"value":"10.1007/BF01269947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190616$0AB74599-96F3-439C-ABC2-F3ECBE384F75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bea1d0142d11d1c2ccc74930bc0b7645a3b45e9","datavalue":{"value":{"entity-type":"item","numeric-id":169439,"id":"Q169439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190616$67C76B3E-BA71-4D7C-974C-77F488E5B917","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":"Q1190616$7391840E-2399-4C92-96A9-1D5002A5C336","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9b40ce89936be2de8343a01d1ced7ff59f76b3e","datavalue":{"value":{"time":"+1992-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1190616$41264A03-EC1B-425F-AE62-FB74AB80C294","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"45b1b26ba3bdd3e7731f742ab4bc6c5874d7a8f1","datavalue":{"value":"Keisler's theorem states that (under GCH) elementarily equivalent structures have isomorphic ultrapowers. The author generalizes (the proof of) this result as follows: (1) For any two structures \\(\\mathfrak A\\), \\(\\mathfrak B\\), let \\(F_ \\alpha({\\mathfrak A},{\\mathfrak B})\\) be the corresponding Ehrenfeucht-Fraiss\u00e9 game of length \\(\\alpha\\). If --- under suitable cardinal assumptions --- for each \\(\\alpha<\\kappa\\) player \\(E\\) has a winning strategy for \\(F_ \\alpha({\\mathfrak A},{\\mathfrak B})\\) and \\(F\\) is a \\(\\kappa\\)-semigood filter over \\(\\lambda\\), \\(F'\\) a \\(\\kappa\\)-descendingly incomplete filter over \\(\\xi\\), \\(\\xi\\leq\\lambda\\), then the ultrapowers (of \\(\\mathfrak A\\) and \\(\\mathfrak B\\) resp.) modulo any filter \\(D\\) over \\(\\xi\\times\\lambda\\) are isomorphic, provided \\(F'\\times F\\subseteq D\\). (2) Filters \\(F\\) as required in (1) exist. (3) The filter \\(D\\) in (1) can be \\(\\kappa\\)-complete. (4) There are applications to a generalized notion of universality (w.r.t. infinitary languages).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190616$48167F3D-26BB-4F80-A9B5-5119B59DC866","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f98ee58fa25fbd22581b8277cc8492aa7c19b098","datavalue":{"value":{"entity-type":"item","numeric-id":759746,"id":"Q759746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190616$A2324FD1-463F-45C5-AB36-DF041709E57B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2785a964739681e8231fee4de8f7d657fb50f4f","datavalue":{"value":"03C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190616$ACCBC8B0-3382-4E18-8AA3-F72F97DBC099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190616$A639BB3B-1EB1-48F3-A175-FB1A40CB152D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"411ce0d3a24c044b24dcbe3c16196c498a8dbef4","datavalue":{"value":"55778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190616$ABFF596C-FEE5-422B-A087-E4A8149DA0B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fde32cd68a42e4449475681b170c87e0976d509","datavalue":{"value":"filters","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190616$D211E63C-FFE4-40DB-8E33-441E7D48040C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e43f0cab1744cc17cf7759648f5b9c4dac00dd4b","datavalue":{"value":"elementarily equivalent structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190616$4B11F136-DC45-4EEC-ABC2-B4FF528CC31F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff1afc8af89c919ae7b337a1d7857916903eb3d5","datavalue":{"value":"Ehrenfeucht-Fraiss\u00e9 game","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190616$2023E124-5A91-4248-BDD6-9F88C4783FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecc8bc327646fe06b6f123abf5841e073e780dc5","datavalue":{"value":"ultrapowers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190616$6D5D872C-7C96-469D-927B-767D99061A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dce83b1053073b7f40b03d648c2f3334bcbff5cc","datavalue":{"value":"universality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190616$D5C37D6F-245F-41B4-B09F-20D8528949CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce95b28a95528077a174c75b643a8f80cd4fab5e","datavalue":{"value":"infinitary languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190616$BDE8CF8C-E984-410B-920A-11C96E5A6505","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":"Q1190616$3EEAE8A1-16F3-44A2-8298-C93474B26035","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d464ad1a89a980c5b7a6afceaa048d8102d08622","datavalue":{"value":{"entity-type":"item","numeric-id":5643983,"id":"Q5643983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190616$B4980D24-771C-44A8-8D2A-01AB198E319A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190616$97E9F2B3-0514-493D-AC5C-F7E72E29FA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4ea4c067afb18f14953d52bee74545fabb1e03","datavalue":{"value":{"entity-type":"item","numeric-id":4106159,"id":"Q4106159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190616$03FB4E93-7AAB-40FD-B8B1-92889DE71286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32ef63b0bd6d5d6a89d22bdd29fe6e9d7c4e78dd","datavalue":{"value":{"entity-type":"item","numeric-id":3966110,"id":"Q3966110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190616$12AB771F-C7AF-4BF6-B54B-E173726F5F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9727f4f088a54f0be958df3c0fd9d44ef92824","datavalue":{"value":{"entity-type":"item","numeric-id":3778731,"id":"Q3778731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190616$3E564E4E-F77C-492C-9311-97BBBF19F923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df4f9544326f031ba52bc3f26a90350c2fce1ae3","datavalue":{"value":{"entity-type":"item","numeric-id":3684110,"id":"Q3684110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190616$2B782634-63E0-420A-8542-D58ADA6A64CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8c3a27cfc4e40ce779172f65eb82cceb39a1328","datavalue":{"value":{"entity-type":"item","numeric-id":5596749,"id":"Q5596749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190616$B73EE0F7-CF8C-46F1-8FA3-3E0289E0E9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0348d8fdade03b784ba329136ca58b74ab52f227","datavalue":{"value":{"entity-type":"item","numeric-id":4159036,"id":"Q4159036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190616$78EAE21C-F77F-43F5-8B34-90B2B7DDD27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"461882aea91a2a5bde56b6133d70ac9ec9ebf46d","datavalue":{"value":{"entity-type":"item","numeric-id":3699674,"id":"Q3699674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190616$FB7B69E1-929A-4556-8E22-6EAAA42FCE39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30255a82c8d6850b2f3b0a8188435b89b11a9e18","datavalue":{"value":"https://doi.org/10.1007/bf01269947","type":"string"},"datatype":"url"},"type":"statement","id":"Q1190616$4656D7E0-ECA1-478E-B2AF-4AB9E0502888","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"529620b326c93472853f2b9505f83dafbd708f4c","datavalue":{"value":"W2026593029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190616$5206F304-B1A7-4FFF-AD84-E4B2B6BB8A21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c88c247182d5950655293b4124ef9f13926c5df","datavalue":{"value":{"entity-type":"item","numeric-id":4779658,"id":"Q4779658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91bef22b97e9db0dd10ca9c76a894034698ed0dd","datavalue":{"value":{"amount":"+0.8538126945495605","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":"Q1190616$6656A628-133E-4957-BC04-8EE319880400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bf35030f3d566968f851e023b7e5fcb869b3b23","datavalue":{"value":{"entity-type":"item","numeric-id":5311779,"id":"Q5311779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64edf329bfa8b33c734f83037c833473a355675b","datavalue":{"value":{"amount":"+0.8297086358070374","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":"Q1190616$F1F507FE-6C57-4193-B71A-762069F79AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f9cef022f00be280314e23cb9dadb4f7ad45a78","datavalue":{"value":{"entity-type":"item","numeric-id":6097051,"id":"Q6097051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d72a7e66d90a5b7d65db54faf5b847eac14978bc","datavalue":{"value":{"amount":"+0.8004409074783325","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":"Q1190616$48F7CCCF-6C87-4175-AEA4-D91B8F7E60AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da4ee473d4d66d96970f830869c6af71c9e0f568","datavalue":{"value":{"entity-type":"item","numeric-id":1210353,"id":"Q1210353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ce05d0d764daa26aca1a7fb96941f9a9075b251","datavalue":{"value":{"amount":"+0.7770730257034302","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":"Q1190616$D0DE45DB-B879-4638-89C2-7954903CF215","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On \\(\\kappa\\)-complete reduced products","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_%5C(%5Ckappa%5C)-complete_reduced_products"}}}}}