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

Text
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 |

ISSN: | 1079-8986 |

Publisher: | Cambridge University Press |

Language: | English |

Submitter: | Lukas Jaun |

Date Deposited: | 13 Feb 2017 12:31 |

Last Modified: | 13 Feb 2017 12:31 |

Publisher DOI: | 10.1017/bsl.2016.11 |

BORIS DOI: | 10.7892/boris.94869 |

URI: | http://boris.unibe.ch/id/eprint/94869 |