Skip to main content

All Questions

Filter by
Sorted by
Tagged with
7 votes
0 answers
284 views

Generic behavior of "polynomialish" models of $\mathsf{Q}$

(This question was originally asked and bountied at MSE - with different notation, some more explicit arguments, and topology in place of forcing.) Suppose $\mathcal{R}=(R_i)_{i\in\mathbb{N}}$ is a ...
Noah Schweber's user avatar