Button, T;
(2021)
LEVEL THEORY, PART 3: A BOOLEAN ALGEBRA OF SETS ARRANGED IN WELL-ORDERED LEVELS.
The Bulletin of Symbolic Logic
10.1017/bsl.2021.15.
(In press).
Preview |
Text
Button_level-theory-part-3-a-boolean-algebra-of-sets-arranged-in-well-ordered-levels.pdf - Accepted Version Download (543kB) | Preview |
Abstract
On a very natural image of sets, every set has an absolute complement. The ordinary cumulative hierarchy dismisses this idea outright. But we can rectify this, whilst retaining classical logic. Indeed, we can develop a boolean algebra of sets arranged in well-ordered levels. I show this by presenting Boolean Level Theory, which fuses ordinary Level Theory (from Part 1) with ideas due to Thomas Forster, Alonzo Church, and Urs Oswald. BLT neatly implement Conway’s games and surre
| Type: | Article |
|---|---|
| Title: | LEVEL THEORY, PART 3: A BOOLEAN ALGEBRA OF SETS ARRANGED IN WELL-ORDERED LEVELS |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1017/bsl.2021.15 |
| Publisher version: | https://doi.org/10.1017/bsl.2021.15 |
| Language: | English |
| Additional information: | This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions. |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL SLASH UCL > Provost and Vice Provost Offices > UCL SLASH > Faculty of Arts and Humanities UCL > Provost and Vice Provost Offices > UCL SLASH > Faculty of Arts and Humanities > Dept of Philosophy |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10142052 |
Archive Staff Only
 |
View Item |
