00899nas a2200145 4500008004100000022001400041245004000055210004000095260000700135300001200142490000700154520052200161100002000683856005000703 2016 eng d a1079-898600aRelativizing operational set theory0 aRelativizing operational set theory c09 a332-3520 v223 aWe 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.
1 aJäger, Gerhard uhttp://www.iam.unibe.ch/ltgpub/2015/jae15.pdf