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

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.

Interest & Impact

Downloads

2 since deposited on 18 Jun 2021
0 in the past 12 months

Citations

5 Citations in Web of Science ®
6 Citations in Scopus

Search

in Google Scholar™

Services

Actions (login required)

Edit item

Actions (login required)

Edit item