{"entities":{"Q6097051":{"pageid":13231358,"ns":120,"title":"Item:Q6097051","lastrevid":93825959,"modified":"2026-06-05T05:13:11Z","type":"item","id":"Q6097051","labels":{"en":{"language":"en","value":"The Keisler-Shelah isomorphism theorem and the continuum hypothesis. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7694424"}},"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":"Q6097051$855EE183-F972-4042-A8D1-B1A9D31D5F72","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84818c0ccf091f8f51fc46e05870aa0700d52155","datavalue":{"value":{"text":"The Keisler-Shelah isomorphism theorem and the continuum hypothesis. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6097051$364D9DC3-942D-4B81-9384-001100FFB952","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1bb6d2c689f4e26fc1a75472ae68ec616f129c1e","datavalue":{"value":"1522.03108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6097051$3B58F1BF-71C0-4C45-9712-0B7FBDAD2958","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f2b2115389686798f935530714325ea58941b30","datavalue":{"value":{"entity-type":"item","numeric-id":453188,"id":"Q453188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6097051$FDD813DE-D48A-43D5-B16C-25D93D0D4705","rank":"normal"},{"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":"Q6097051$7D794D6C-BF69-4865-90C2-E479CBDB2E4A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"018a0053bd359d34d6fee8f280c31e982361eda4","datavalue":{"value":{"entity-type":"item","numeric-id":175158,"id":"Q175158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6097051$6F9D790A-C433-4278-87F9-ED61C9BB9790","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44e1828fa073c0379809daaccd24365530666147","datavalue":{"value":{"time":"+2023-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6097051$36A04E96-04ED-479F-870F-4E2739CBA6CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20d6b7e035ed5ac2b78721d5ce80d583502585a4","datavalue":{"value":"https://arxiv.org/abs/2112.15468","type":"string"},"datatype":"url"},"type":"statement","id":"Q6097051$5A5B8B07-461E-40F7-BC73-1B8AE085843F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bff4b5948d31aca8b34a0322c3b5b14a817bac4a","datavalue":{"value":"Let \\(\\mathfrak{M}\\), \\(\\mathfrak{N}\\) be \\(\\mathcal{L}\\)-structures of size \\(\\leq 2^{\\aleph_0}\\), where \\(\\mathcal{L}\\) is a countable language. In [Nederl. Akad. Wet., Proc., Ser. A 64, 477--495 (1961; Zbl 0118.01501)], \\textit{H. J. Keisler} showed that the statement \\(\\mathfrak{N}\\equiv\\mathcal{M}\\) if and only if \\(\\mathfrak{N}^\\omega/U\\cong\\mathcal{M}^\\omega/U\\), for some ultrafilter \\(U\\) in \\(\\omega\\), follows from the CH. In [Isr. J. Math. 10, 224--233 (1971; Zbl 0224.02045)], the second author proved that if \\(\\mathcal{L}\\) is a countable language, \\(\\mathfrak{N}\\equiv\\mathcal{M}\\) if and only if there exists an ultrafilter \\(U\\) in \\(2^\\omega\\) such that \\(\\mathfrak{N}^\\omega/U\\cong\\mathcal{M}^\\omega/U\\), without the hypothesis of CH. Afterwards, in [Math. Sci. Res. Inst. Publ. 26, 357--405 (1992; Zbl 0789.03035)] he provided a model of ZFC, where \\(2^{\\aleph_0}=\\aleph_1\\) and there are countable graphs \\(\\mathfrak{H}, \\mathfrak{G}\\) which are elementarily equivalent but for any ultrafilter \\(U\\) on \\(\\omega\\), \\(\\mathfrak{H}^{\\omega}/U\\ncong\\mathfrak{G}^\\omega/U\\). So, CH is an unavoidable assumption in order to obtain the Keisler result, even for countable models.  The authors of the paper under review proved in [Fundam. Math. 260, No. 1, 59--66 (2023; Zbl 07687299)] that if for any two elementarily equivalent structures \\(\\mathfrak{N}\\) \\(\\mathcal{M}\\) of size \\(\\leq 2^{\\aleph_0}\\) in a countable language, \\(\\mathfrak{N}^\\omega/U\\cong\\mathcal{M}^\\omega/U\\) for some ultrafilter \\(U\\) in \\(\\omega\\), then CH holds.  In this sequel under review, they consider some extensions of Keisler isomorphism theorem. In order to correctly state the results, several definitions are necessary. A pseudo ultraproduct problem is a sequence \\[ m=\\langle(\\mathbb{M}_n^{m,1},\\mathbb{M}_n^{m,2},\\tau_{m,n}): n< \\omega\\rangle \\] where \\begin{itemize} \\item[1.] \\(\\langle\\tau_{m,n}: n<\\omega\\rangle\\) is a \\(\\subseteq\\)-increasing sequence of finite languages, with \\(\\tau_{m,0}=\\emptyset\\). Set \\(\\tau_m=\\bigcup_n\\tau_{m,n}\\), \\item[2.] every \\(\\mathbb{M}_n^{m,l}\\) is a \\(\\tau_m\\)-model, \\item[3.] \\(\\kappa(m)\\leq\\aleph_1\\), where \\(\\kappa(m)=\\sup\\{|\\mathbb{M}_n^{m,l}|: l=1,2, n<\\omega\\}\\) and \\(|\\mathbb{M}_n^{m,l}|\\) is the size of the universe of the model \\(\\mathbb{M}_n^{m,l}\\). \\end{itemize}  Then, they introduce an Ehrenfeucht-Fra\u00efsse game \\(\\Game_k^n(m)=\\Game_{\\tau_{m,k},k}\\) \\((\\mathbb{M}_n^{m,1}\\), \\(\\mathbb{M}_n^{m,2})\\). They define an ultraproduct problem through the game \\(\\Game\\).  The authors show the consistency of the failure of the CH with the assertion that for any non-principal ultrafilter \\(D\\) on \\(\\omega\\), if the ultra\\-pro\\-ducts \\(\\prod_D\\mathbb{M}_n^{m,1}\\) and \\(\\prod_D\\mathbb{M}_n^{m,2}\\) are elementarily equivalent, then they are isomorphic.  In the last section, it is proved that the above result can not be extended to a model of \\(\\mathrm{MA}+2^{\\aleph_0}>\\aleph_1\\). In fact, they show that the above conclusion fails if \\(\\mathfrak{b}>\\aleph_1\\), where \\(\\mathfrak{b}\\) denotes the bounding number.  The paper (as well as the first part) is very well written and not difficult to follow.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6097051$E3FE7917-CC66-46B2-B950-1E54A4F76B02","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"54616e43295484ecd420b8d7dd86389e4cd8e6f1","datavalue":{"value":{"entity-type":"item","numeric-id":1577421,"id":"Q1577421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6097051$84F71052-769D-4FDF-9588-0767EC09B5D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2785a964739681e8231fee4de8f7d657fb50f4f","datavalue":{"value":"03C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6097051$8D3E2FF3-52FB-4091-95F2-FC7E19376674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6097051$764682CD-98F8-4636-8B53-BB27E0FC9CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02488e89072b0171b77a6763967bb5c4ce8445c6","datavalue":{"value":"03C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6097051$E9D21EFA-7181-4721-A260-841B29CEC711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6097051$F0F37DFA-2D29-4006-8825-9B10B834D685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe56446b2b503e86266adfe3e9f823cab432972c","datavalue":{"value":"03E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6097051$41CDE637-07D9-4DE9-8A5C-B201DBA52844","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6882d60e09030a9fd0cbfc553def28fba1d7ee7","datavalue":{"value":"7694424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6097051$ED77F991-82BE-453F-955D-1D4883222A9F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c07c3d5b754955b6bf65477291574088546d50e2","datavalue":{"value":"ultraproduct","type":"string"},"datatype":"string"},"type":"statement","id":"Q6097051$5FCCD91F-7DAA-4F68-9D6B-106B22B48937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c64bb4f444a9a822910f74f01ab8c742a6c45b54","datavalue":{"value":"Keisler-Shelah isomorphism theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6097051$BFDE78F2-D1DC-4340-871B-F44919570F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eacb0e4aab3d35beecc1ca5d565cdce29d072a94","datavalue":{"value":"continuum hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6097051$07B52E78-705F-4798-B22E-D9E7F8652A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6097051$ECCB895E-769F-4DB1-B87C-A3DD098CBD79","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":"Q6097051$C8CB694D-209A-464F-84F0-0F3775964013","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a315b725b587f39e5802931daf45f14aaf02f015","datavalue":{"value":"Q122733500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6097051$1E6DCBD9-3662-41E5-AB9E-6B847549057D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c715246976e37927a3c28354a015e3dc5753ab1","datavalue":{"value":"W4362587789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6097051$704B0258-EBB9-48F5-828A-581A9D0E6D11","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"772ded7b4cc63a5932f1354e275829245f032310","datavalue":{"value":{"entity-type":"item","numeric-id":688855,"id":"Q688855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6097051$466B1E6D-7BDC-4BF5-81D4-D727178D4893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0db9126cb4a799e8a659b378f858bc35e2408982","datavalue":{"value":{"entity-type":"item","numeric-id":6044546,"id":"Q6044546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6097051$2D5D6023-85BB-4719-8133-6A84857A789F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e487583ccfd134962b077a937928ebf266c34571","datavalue":{"value":{"entity-type":"item","numeric-id":5728445,"id":"Q5728445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6097051$0FE6C226-8331-40D9-9EB8-D9E820BC152B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c118da62becbc2a9e95e3ad9dcf3fe3b9729ad12","datavalue":{"value":{"entity-type":"item","numeric-id":2548251,"id":"Q2548251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6097051$F1BDF17D-405F-4539-AC00-C6C27E3F11AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0376df3f9b072633ed90667970c04b9642439a8c","datavalue":{"value":{"entity-type":"item","numeric-id":1188601,"id":"Q1188601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6097051$7E4F3E9C-354C-427C-AAE6-B0B113456CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43874bffb6bc82b2b8c9b71ffe56dfc08bb47001","datavalue":{"value":{"entity-type":"item","numeric-id":4694312,"id":"Q4694312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6097051$7F777599-61C0-4F4C-A6F0-29AD4CA22D21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a51de9155c86c2fc00f6672ba2ee8f193c7a3b6","datavalue":{"value":"10.1007/S00605-023-01837-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6097051$25A6B137-0C62-4D24-8848-D061B343E360","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"631c368a186ed34e8ab6b39f1f30237f892d2d38","datavalue":{"value":{"entity-type":"item","numeric-id":1320039,"id":"Q1320039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2197b5ae8642318cd60bfde625affd3616ab1df","datavalue":{"value":{"amount":"+0.7937032580375671","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":"Q6097051$D1759B0F-5010-4098-A9C4-84909A3B72D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9ed11312a5cfbf1f02888c360ed1ecae2404ca7","datavalue":{"value":{"entity-type":"item","numeric-id":3794160,"id":"Q3794160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cf8107ee0741d8195d12cd9604baddfcbe7291b","datavalue":{"value":{"amount":"+0.7860551476478577","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":"Q6097051$33EBC69B-AA2B-46C8-97FD-509E6494E61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f5a90374a4ef02886b41e73091f5cd4e698ba59","datavalue":{"value":{"entity-type":"item","numeric-id":948874,"id":"Q948874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc13baf636d8f27478101ce9e69b646a91868ed3","datavalue":{"value":{"amount":"+0.7699883580207825","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":"Q6097051$FAA9CAF7-0740-4170-9DAE-CEBFC1604C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54f105d646b58cc17beb92963ddfaf939c9c2fd2","datavalue":{"value":{"entity-type":"item","numeric-id":4694312,"id":"Q4694312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09d5ef8766aba5b08cf8c6aadeab51b9c4391c10","datavalue":{"value":{"amount":"+0.7484157681465149","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":"Q6097051$A9096B9F-3477-4D3C-8AD3-4B42DF02A0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e0efdb1970411aa4f94293252b29bb0e47ca00","datavalue":{"value":{"entity-type":"item","numeric-id":1190616,"id":"Q1190616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a67cbab433c8a94bca15a870272cd70dfbf177dc","datavalue":{"value":{"amount":"+0.7476211786270142","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":"Q6097051$9CC9129F-3753-458E-A8C7-8587A1C76479","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Keisler-Shelah isomorphism theorem and the continuum hypothesis. II","badges":[]}}}}}