<p>This paper introduces a model-theoretic generalization of the notion of forcing with random reals, in which forcing gives rise to <i>random generic structures</i>. Specifically, we consider forcing with <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\kappa \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>κ</mi> </math></EquationSource> </InlineEquation>-Borel probability measures on the space of <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathscr {L}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">L</mi> </math></EquationSource> </InlineEquation>-structures with a (possibly uncountable) infinite set <i>X</i>, focusing on those that are invariant under the action of the symmetric group <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\({{\,\textrm{Sym}\,}}{(X)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mspace width="0.166667em" /> <mtext>Sym</mtext> <mspace width="0.166667em" /> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. We demonstrate how any <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\({{\,\textrm{Sym}\,}}{(X)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mspace width="0.166667em" /> <mtext>Sym</mtext> <mspace width="0.166667em" /> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>-invariant measure where <i>X</i> is countable can be uniquely extended to a <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\({{\,\textrm{Sym}\,}}{(Y)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mspace width="0.166667em" /> <mtext>Sym</mtext> <mspace width="0.166667em" /> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>Y</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>-invariant measure where <i>Y</i> is uncountable, and prove that forcing with such measures satisfies the countable chain condition. We also show that we can uniformly distinguish between these random generic structures and the <i>Cohen generic structures</i> that arise from forcing with a strong Fraïssé class: There is a <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\kappa \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>κ</mi> </math></EquationSource> </InlineEquation>-Borel set of low complexity that contains every Cohen generic structure that is not highly homogeneous but contains no random generic structure, implying that a structure that is not highly homogeneous cannot be both Cohen generic and random generic. Finally, we answer an open question of Kostana in the case of <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\omega _1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ω</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation>, by establishing a connection between forcing with a strong Fraïssé class and Cohen forcing.</p>

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

Forcing with Invariant Measures

  • Nathanael Ackerman,
  • Cameron Freer,
  • Mohammad Golshani,
  • Mostafa Mirabi,
  • Rehana Patel

摘要

This paper introduces a model-theoretic generalization of the notion of forcing with random reals, in which forcing gives rise to random generic structures. Specifically, we consider forcing with \(\kappa \) κ -Borel probability measures on the space of \(\mathscr {L}\) L -structures with a (possibly uncountable) infinite set X, focusing on those that are invariant under the action of the symmetric group \({{\,\textrm{Sym}\,}}{(X)}\) Sym ( X ) . We demonstrate how any \({{\,\textrm{Sym}\,}}{(X)}\) Sym ( X ) -invariant measure where X is countable can be uniquely extended to a \({{\,\textrm{Sym}\,}}{(Y)}\) Sym ( Y ) -invariant measure where Y is uncountable, and prove that forcing with such measures satisfies the countable chain condition. We also show that we can uniformly distinguish between these random generic structures and the Cohen generic structures that arise from forcing with a strong Fraïssé class: There is a \(\kappa \) κ -Borel set of low complexity that contains every Cohen generic structure that is not highly homogeneous but contains no random generic structure, implying that a structure that is not highly homogeneous cannot be both Cohen generic and random generic. Finally, we answer an open question of Kostana in the case of \(\omega _1\) ω 1 , by establishing a connection between forcing with a strong Fraïssé class and Cohen forcing.