Abstract <p>We prove that there exists <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12202_2025_8284_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(2^{\omega}\)</EquationSource> <!--LobJMat2560611Morozov-m1--> </InlineEquation> non-<InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12202_2025_8284_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Sigma\)</EquationSource> <!--LobJMat2560611Morozov-m2--> </InlineEquation>-isomorphic and (even pairwise non-<InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12202_2025_8284_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Sigma\)</EquationSource> <!--LobJMat2560611Morozov-m3--> </InlineEquation>-embeddable) <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12202_2025_8284_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Sigma\)</EquationSource> <!--LobJMat2560611Morozov-m4--> </InlineEquation>-presentations of the additive group of the real numbers in the hereditarily finite superstructure over the ordered field of the real numbers.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On Presentations of the Addition over the Reals

  • A. S. Morozov

摘要

Abstract

We prove that there exists \(2^{\omega}\) non- \(\Sigma\) -isomorphic and (even pairwise non- \(\Sigma\) -embeddable) \(\Sigma\) -presentations of the additive group of the real numbers in the hereditarily finite superstructure over the ordered field of the real numbers.