Relativizing operational set theory

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

[img] 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

Actions (login required)

Edit item Edit item
Provide Feedback