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 Available under License Publisher holds Copyright. Download (419kB) | Preview |
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) 08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG) |
UniBE Contributor: |
Jäger, Gerhard Max |
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: |
05 Dec 2022 15:02 |
Publisher DOI: |
10.1017/bsl.2016.11 |
BORIS DOI: |
10.7892/boris.94869 |
URI: |
https://boris.unibe.ch/id/eprint/94869 |
Actions (login required)
 |
Edit item |