Switch to: References

Add citations

You must login to add citations.
  1. Evitable iterates of the consistency operator.James Walsh - 2023 - Computability 12 (1):59--69.
    Why are natural theories pre-well-ordered by consistency strength? In previous work, an approach to this question was proposed. This approach was inspired by Martin's Conjecture, one of the most prominent conjectures in recursion theory. Fixing a reasonable subsystem $T$ of arithmetic, the goal was to classify the recursive functions that are monotone with respect to the Lindenbaum algebra of $T$. According to an optimistic conjecture, roughly, every such function must be equivalent to an iterate $\mathsf{Con}_T^\alpha$ of the consistency operator ``in (...)
    Download  
     
    Export citation  
     
    Bookmark