Operations, sets and classes

Jäger, Gerhard (2009). Operations, sets and classes. In: 13th International Congress of Logic, Methodology and Philosophy of Science (pp. 74-96). London: College Publications

[img] Text
Operations-sets-classes.pdf - Published Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (258kB)

Operational set theory, in the form described below, is an enterprise which consolidates classical set theory with some central concepts of Feferman’s explicit mathematics. It provides for a careful distinction between operations and set-theoretic functions and as such reconciles set theory with needs arising in constructive environments and even in those enhanced by computer science. In the following we consider, primarily from a proof-theoretic perspective, the theory OST and some of its most important extensions and determine their consistency strengths by exhibiting equivalent systems in the realm of traditional theories of sets and classes.

Item Type:

Conference or Workshop Item (Paper)

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 Max

Subjects:

000 Computer science, knowledge & systems
500 Science > 510 Mathematics

ISBN:

9781904987451

Publisher:

College Publications

Language:

English

Submitter:

Atefeh Rohani

Date Deposited:

18 Jun 2021 11:24

Last Modified:

05 Dec 2022 15:51

BORIS DOI:

10.48350/156072

URI:

https://boris.unibe.ch/id/eprint/156072

Actions (login required)

Edit item Edit item
Provide Feedback