A Classical Modal Theory of Lawless Sequences


*Corresponding author for this work

    Research output: Journal PublicationsJournal Article (refereed)peer-review


    Free choice sequences play a key role in the intuitionistic theory of the continuum and especially in the theorems of intuitionistic analysis that conflict with classical analysis, leading many classical mathematicians to reject the concept of a free choice sequence. By treating free choice sequences as potentially infinite objects, however, they can be comfortably situated alongside classical analysis, allowing a rapprochement of these two mathematical traditions. Building on recent work on the modal analysis of potential infinity, I formulate a modal theory of the free choice sequences known as lawless sequences. Intrinsically well-motivated axioms for lawless sequences are added to a background theory of classical second-order arithmetic, leading to a theory I call MCLS. This theory interprets the standard intuitionistic theory of lawless sequences and is conservative over the classical background theory.
    Original languageEnglish
    JournalBulletin of Symbolic Logic
    Publication statusE-pub ahead of print - 9 Mar 2023

    Bibliographical note

    Publisher Copyright:
    © 2023 Authors. All rights reserved.


    Dive into the research topics of 'A Classical Modal Theory of Lawless Sequences'. Together they form a unique fingerprint.

    Cite this