Switch to: References

Add citations

You must login to add citations.
  1. Completeness of the Gödel–Löb Provability Logic for the Filter Sequence of Normal Measures.Mohammad Golshani & Reihane Zoghifard - 2024 - Journal of Symbolic Logic 89 (1):163-174.
    Assuming the existence of suitable large cardinals, we show it is consistent that the Provability logic $\mathbf {GL}$ is complete with respect to the filter sequence of normal measures. This result answers a question of Andreas Blass from 1990 and a related question of Beklemishev and Joosten.
    Download  
     
    Export citation  
     
    Bookmark  
  • Infinite decreasing chains in the Mitchell order.Omer Ben-Neria & Sandra Müller - 2021 - Archive for Mathematical Logic 60 (6):771-781.
    It is known that the behavior of the Mitchell order substantially changes at the level of rank-to-rank extenders, as it ceases to be well-founded. While the possible partial order structure of the Mitchell order below rank-to-rank extenders is considered to be well understood, little is known about the structure in the ill-founded case. The purpose of the paper is to make a first step in understanding this case, by studying the extent to which the Mitchell order can be ill-founded. Our (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The structure of the Mitchell order – II.Omer Ben-Neria - 2015 - Annals of Pure and Applied Logic 166 (12):1407-1432.
    Download  
     
    Export citation  
     
    Bookmark   3 citations