Skip to main content
fixed some weird MathJax stuff; retagging; included defn of "set of Vitali type" as seems to be intended from the comments.
Source Link
Michael Renardy
  • 13k
  • 1
  • 42
  • 50

Consider sets of Vitali's type in models of $\mathsf{ZF}+\mathsf{GCH}$ where $V \neq L$. Are there sets of Vitali's type in both $L$ and $V \setminus L$$V \backslash L$? If so, is there any way one can distinguish the constructible sets of Vitali's type from the nonconstructible sets of Vitali's type?

By a set of Vitali's type it is meant a subset of $\mathbb{R}$ containing exactly one element of every equivalence class of the relation $x - y \in G$, where $G$ is some fixed countable subgroup of $( \mathbb{R} , + )$.

Consider sets of Vitali's type in models of $\mathsf{ZF}+\mathsf{GCH}$ where $V \neq L$. Are there sets of Vitali's type in both $L$ and $V \setminus L$? If so, is there any way one can distinguish the constructible sets of Vitali's type from the nonconstructible sets of Vitali's type?

By a set of Vitali's type it is meant a subset of $\mathbb{R}$ containing exactly one element of every equivalence class of the relation $x - y \in G$, where $G$ is some fixed countable subgroup of $( \mathbb{R} , + )$.

Consider sets of Vitali's type in models of $\mathsf{ZF}+\mathsf{GCH}$ where $V \neq L$. Are there sets of Vitali's type in both $L$ and $V \backslash L$? If so, is there any way one can distinguish the constructible sets of Vitali's type from the nonconstructible sets of Vitali's type?

By a set of Vitali's type it is meant a subset of $\mathbb{R}$ containing exactly one element of every equivalence class of the relation $x - y \in G$, where $G$ is some fixed countable subgroup of $( \mathbb{R} , + )$.

fixed some weird MathJax stuff; retagging; included defn of "set of Vitali type" as seems to be intended from the comments.
Source Link

A question regarding sets Sets of Vitali's type in models of $ZF+GCH$$\mathsf{ZF}+\mathsf{GCH}$ where $L$$\neq$$V$$V \neq L$

Consider sets of Vitali's type in models of $ZF+GCH$$\mathsf{ZF}+\mathsf{GCH}$ where $L$ $\neq$$V$$V \neq L$. Are there sets of Vitali's type in both $L$ and $V-L$$V \setminus L$? If so, is there any way one can distinguish the constructible sets of Vitali's type from the nonconstructible Vitali sets of Vitali's type?

By a set of Vitali's type it is meant a subset of $\mathbb{R}$ containing exactly one element of every equivalence class of the relation $x - y \in G$, where $G$ is some fixed countable subgroup of $( \mathbb{R} , + )$.

A question regarding sets of Vitali's type in models of $ZF+GCH$ where $L$$\neq$$V$

Consider sets of Vitali's type in models of $ZF+GCH$ where $L$ $\neq$$V$. Are there sets of Vitali's type in both $L$ and $V-L$? If so, is there any way one can distinguish the constructible sets of Vitali's type from the nonconstructible Vitali sets?

Sets of Vitali's type in models of $\mathsf{ZF}+\mathsf{GCH}$ where $V \neq L$

Consider sets of Vitali's type in models of $\mathsf{ZF}+\mathsf{GCH}$ where $V \neq L$. Are there sets of Vitali's type in both $L$ and $V \setminus L$? If so, is there any way one can distinguish the constructible sets of Vitali's type from the nonconstructible sets of Vitali's type?

By a set of Vitali's type it is meant a subset of $\mathbb{R}$ containing exactly one element of every equivalence class of the relation $x - y \in G$, where $G$ is some fixed countable subgroup of $( \mathbb{R} , + )$.

Source Link
Thomas Benjamin
  • 6.1k
  • 1
  • 25
  • 39

A question regarding sets of Vitali's type in models of $ZF+GCH$ where $L$$\neq$$V$

Consider sets of Vitali's type in models of $ZF+GCH$ where $L$ $\neq$$V$. Are there sets of Vitali's type in both $L$ and $V-L$? If so, is there any way one can distinguish the constructible sets of Vitali's type from the nonconstructible Vitali sets?