Jäger, Gerhard (2016). Relativizing operational set theory. The Bulletin of Symbolic Logic, 22(03), pp. 332-352. Cambridge University Press 10.1017/bsl.2016.11
jae15.pdf - Accepted Version
Restricted to registered users only
Available under License Publisher holds Copyright.
Download (419kB) | Request a copy
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.
|Item Type:||Journal Article (Original Article)|
|Division/Institute:||08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG)
08 Faculty of Science > Institute of Computer Science (INF)
|UniBE Contributor:||Jäger, Gerhard|
|Subjects:||000 Computer science, knowledge & systems
500 Science > 510 Mathematics
|Publisher:||Cambridge University Press|
|Date Deposited:||13 Feb 2017 12:31|
|Last Modified:||13 Feb 2017 12:31|