On intermediate extensions of generic extensions by a random real
The paper is the second of our series of notes aimed to bring back in circulation some bright ideas of early modern set theory, mainly due to Harrington and Sami, which have never been adequately presented in set theoretic publications. We prove that if a real $a$ is random over a model $M$ and $x\i...
Main Authors: | , |
---|---|
Format: | Text |
Language: | unknown |
Published: |
2018
|
Subjects: | |
Online Access: | http://arxiv.org/abs/1811.10568 |
id |
ftarxivpreprints:oai:arXiv.org:1811.10568 |
---|---|
record_format |
openpolar |
spelling |
ftarxivpreprints:oai:arXiv.org:1811.10568 2023-09-05T13:22:56+02:00 On intermediate extensions of generic extensions by a random real Kanovei, Vladimir Lyubetsky, Vassily 2018-11-26 http://arxiv.org/abs/1811.10568 unknown http://arxiv.org/abs/1811.10568 Mathematics - Logic 03E15 03E35 text 2018 ftarxivpreprints 2023-08-16T15:05:49Z The paper is the second of our series of notes aimed to bring back in circulation some bright ideas of early modern set theory, mainly due to Harrington and Sami, which have never been adequately presented in set theoretic publications. We prove that if a real $a$ is random over a model $M$ and $x\in M[a]$ is another real then either (1) $x\in M$, or (2) $M[x]=M[a]$, or (3) $M[x]$ is a random extension of $M$ and $M[a]$ is a random extension of $M[x]$. This is a less-known result of old set theoretic folklore, and, as far as we know, has never been published. As a corollary, we prove that $\Sigma^1_n$-Reduction holds for all $n\ge3$, in a model extending the constructible universe $L$ by $\aleph_1$-many random reals. Comment: 11 pages Text sami ArXiv.org (Cornell University Library) |
institution |
Open Polar |
collection |
ArXiv.org (Cornell University Library) |
op_collection_id |
ftarxivpreprints |
language |
unknown |
topic |
Mathematics - Logic 03E15 03E35 |
spellingShingle |
Mathematics - Logic 03E15 03E35 Kanovei, Vladimir Lyubetsky, Vassily On intermediate extensions of generic extensions by a random real |
topic_facet |
Mathematics - Logic 03E15 03E35 |
description |
The paper is the second of our series of notes aimed to bring back in circulation some bright ideas of early modern set theory, mainly due to Harrington and Sami, which have never been adequately presented in set theoretic publications. We prove that if a real $a$ is random over a model $M$ and $x\in M[a]$ is another real then either (1) $x\in M$, or (2) $M[x]=M[a]$, or (3) $M[x]$ is a random extension of $M$ and $M[a]$ is a random extension of $M[x]$. This is a less-known result of old set theoretic folklore, and, as far as we know, has never been published. As a corollary, we prove that $\Sigma^1_n$-Reduction holds for all $n\ge3$, in a model extending the constructible universe $L$ by $\aleph_1$-many random reals. Comment: 11 pages |
format |
Text |
author |
Kanovei, Vladimir Lyubetsky, Vassily |
author_facet |
Kanovei, Vladimir Lyubetsky, Vassily |
author_sort |
Kanovei, Vladimir |
title |
On intermediate extensions of generic extensions by a random real |
title_short |
On intermediate extensions of generic extensions by a random real |
title_full |
On intermediate extensions of generic extensions by a random real |
title_fullStr |
On intermediate extensions of generic extensions by a random real |
title_full_unstemmed |
On intermediate extensions of generic extensions by a random real |
title_sort |
on intermediate extensions of generic extensions by a random real |
publishDate |
2018 |
url |
http://arxiv.org/abs/1811.10568 |
genre |
sami |
genre_facet |
sami |
op_relation |
http://arxiv.org/abs/1811.10568 |
_version_ |
1776203493833441280 |