New Sigma^1_3 facts
逻辑
2016-09-07 v1
摘要
We use ``iterated square sequences'' to show: There is an L-definable partition n: L-singulars --> omega such that if M is an inner model without 0#: (a) For some n, M satisfies that {alpha | n(alpha)=n} is stationary. (b) For each n there is a generic extension of M in which 0# does not exist and {alpha | n(alpha)<n} is non-stationary. The above result is then applied to show that if M is an inner model without 0# then some Sigma^1_3 sentence not true in M can be forced over M.
引用
@article{arxiv.math/9712272,
title = {New Sigma^1_3 facts},
author = {Sy D. Friedman},
journal= {arXiv preprint arXiv:math/9712272},
year = {2016}
}