Marc Bezem ; Keiko Nakata ; Tarmo Uustalu - On streams that are finitely red

lmcs:1048 - Logical Methods in Computer Science, October 10, 2012, Volume 8, Issue 4 - https://doi.org/10.2168/LMCS-8(4:4)2012
On streams that are finitely red

Authors: Marc Bezem ; Keiko Nakata ; Tarmo Uustalu ORCID-iD

    Mixing induction and coinduction, we study alternative definitions of streams being finitely red. We organize our definitions into a hierarchy including also some well-known alternatives in intuitionistic analysis. The hierarchy collapses classically, but is intuitionistically of strictly decreasing strength. We characterize the differences in strength in a precise way by weak instances of the Law of Excluded Middle.


    Volume: Volume 8, Issue 4
    Published on: October 10, 2012
    Accepted on: June 25, 2015
    Submitted on: May 24, 2011
    Keywords: Computer Science - Logic in Computer Science,F.4.1

    Linked data

    Source : ScholeXplorer IsReferencedBy ARXIV 1604.01186
    Source : ScholeXplorer IsReferencedBy DOI 10.4204/eptcs.207.4
    Source : ScholeXplorer IsReferencedBy DOI 10.48550/arxiv.1604.01186
    • 10.4204/eptcs.207.4
    • 10.4204/eptcs.207.4
    • 10.4204/eptcs.207.4
    • 1604.01186
    • 10.48550/arxiv.1604.01186
    Variations on Noetherianness.
    Denis Firsov ; Tarmo Uustalu ; Niccolò Veltri ;

    8 Documents citing this article

    Share

    Consultation statistics

    This page has been seen 404 times.
    This article's PDF has been downloaded 202 times.