UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

LEVEL THEORY, PART 1: AXIOMATIZING THE BARE IDEA OF A CUMULATIVE HIERARCHY OF SETS

Button, T; (2021) LEVEL THEORY, PART 1: AXIOMATIZING THE BARE IDEA OF A CUMULATIVE HIERARCHY OF SETS. The Bulletin of Symbolic Logic 10.1017/bsl.2021.13. (In press). Green open access

[thumbnail of Button_level-theory-part-1-axiomatizing-the-bare-idea-of-a-cumulative-hierarchy-of-sets.pdf]
Preview
Text
Button_level-theory-part-1-axiomatizing-the-bare-idea-of-a-cumulative-hierarchy-of-sets.pdf - Accepted Version

Download (534kB) | Preview

Abstract

The following bare-bones story introduces the idea of a cumulative hierarchy of pure sets: ‘Sets are arranged in stages. Every set is found at some stage. At any stage S: for any sets found before S, we find a set whose members are exactly those sets. We find nothing else at S.’ Surprisingly, this story already guarantees that the sets are arranged in well-ordered levels, and suffices for quasi-categoricity. I show this by presenting Level Theory, a simplification of set theories due to Scott, Montague, Derrick, and Potter

Type: Article
Title: LEVEL THEORY, PART 1: AXIOMATIZING THE BARE IDEA OF A CUMULATIVE HIERARCHY OF SETS
Open access status: An open access version is available from UCL Discovery
DOI: 10.1017/bsl.2021.13
Publisher version: http://doi.org/10.1017/bsl.2021.13
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/10126813
Downloads since deposit
0Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item