TY - JOUR
T1 - Relativizing operational set theory
JF - The Bulletin of Symbolic Logic
Y1 - 2016
A1 - Gerhard Jäger
AB - We introduce a way of relativizing operational set theory that also takes care of application. After presenting the basic approach and proving some essential properties of this new form of relativization we turn to the notion of relativized regularity and to the system OST(LR) that extends OST by a limit axiom claiming that any set is element of a relativized regular set. Finally we show that OST(LR) is proof- theoretically equivalent to the well-known theory KPi for a recursively inaccessible universe.
VL - 22
UR - http://www.iam.unibe.ch/ltgpub/2015/jae15.pdf
ER -