Switch to: References

Add citations

You must login to add citations.
  1. Algebraic combinatorics in bounded induction.Joaquín Borrego-Díaz - 2021 - Annals of Pure and Applied Logic 172 (2):102885.
    Download  
     
    Export citation  
     
    Bookmark  
  • Weak forms of the Regularity Principle in the presence of equation image.Charalampos Cornaros - 2013 - Mathematical Logic Quarterly 59 (1-2):84-100.
    We study the strength of weak forms of the Regularity Principle in the presence of equation image relative to other subsystems of equation image. In particular, the Bounded Weak Regularity Principle is formulated, and it is shown that when applied to E1 formulas, this principle is equivalent over equation image to equation image.
    Download  
     
    Export citation  
     
    Bookmark   1 citation