RELATIVIZING OPERATIONAL SET THEORY

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.