|Affiliations:||Mathematical Institute of the Serbian Academy of Sciences and Arts||Title:||BETWEEN REDUCED POWERS AND ULTRAPOWERS, II||Journal:||Transactions of the American Mathematical Society||Volume:||375||Issue:||12||First page:||9007||Last page:||9034||Issue Date:||2022||Rank:||~M21||ISSN:||0002-9947||DOI:||10.1090/tran/8777||Abstract:||
We prove that, consistently with ZFC, no ultraproduct of countably infinite (or separable metric, non-compact) structures is isomorphic to a reduced product of countable (or separable metric) structures associated to the Fréchet filter. Since such structures are countably saturated, the Continuum Hypothesis implies that they are isomorphic when elementarily equivalent.
|Keywords:||Cohen model | Continuum Hypothesis | Proper Forcing Axiom | reduced powers | saturated models | small basis | Ultrapowers | universal models||Publisher:||American Mathematical Society|
Show full item record
checked on Aug 5, 2023
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.