Provident sets and rudimentary set forcing

A. R. D. Mathias. "Provident sets and rudimentary set forcing." Fundamenta Mathematicae 230.2 (2015): 99-148. <http://eudml.org/doc/283381>.

@article{A2015,
abstract = {Using the theory of rudimentary recursion and provident sets expounded in [MB], we give a treatment of set forcing appropriate for working over models of a theory PROVI which may plausibly claim to be the weakest set theory supporting a smooth theory of set forcing, and of which the minimal model is Jensen’s $J_ω$. Much of the development is rudimentary or at worst given by rudimentary recursions with parameter the notion of forcing under consideration. Our development eschews the power set axiom. We show that the forcing relation for Δ̇₀ wffs is propagated through our hierarchies by a rudimentary function, and we show that the construction of names for the values of rudimentary and rudimentarily recursive functions is similarly propagated. Our main result is that a set-generic extension of a provident set is provident.},
author = {A. R. D. Mathias},
journal = {Fundamenta Mathematicae},
keywords = {rudimentary recursion; provident set; forcing; gentle separation; progress; provident closure; nominator},
language = {eng},
number = {2},
pages = {99-148},
title = {Provident sets and rudimentary set forcing},
url = {http://eudml.org/doc/283381},
volume = {230},
year = {2015},
}

TY - JOUR
AU - A. R. D. Mathias
TI - Provident sets and rudimentary set forcing
JO - Fundamenta Mathematicae
PY - 2015
VL - 230
IS - 2
SP - 99
EP - 148
AB - Using the theory of rudimentary recursion and provident sets expounded in [MB], we give a treatment of set forcing appropriate for working over models of a theory PROVI which may plausibly claim to be the weakest set theory supporting a smooth theory of set forcing, and of which the minimal model is Jensen’s $J_ω$. Much of the development is rudimentary or at worst given by rudimentary recursions with parameter the notion of forcing under consideration. Our development eschews the power set axiom. We show that the forcing relation for Δ̇₀ wffs is propagated through our hierarchies by a rudimentary function, and we show that the construction of names for the values of rudimentary and rudimentarily recursive functions is similarly propagated. Our main result is that a set-generic extension of a provident set is provident.
LA - eng
KW - rudimentary recursion; provident set; forcing; gentle separation; progress; provident closure; nominator
UR - http://eudml.org/doc/283381
ER -