Switch to: References

Add citations

You must login to add citations.
  1. Conservativity of ultrafilters over subsystems of second order arithmetic.Antonio Montalbán & Richard A. Shore - 2018 - Journal of Symbolic Logic 83 (2):740-765.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On idempotent ultrafilters in higher-order reverse mathematics.Alexander P. Kreuzer - 2015 - Journal of Symbolic Logic 80 (1):179-193.
    Download  
     
    Export citation  
     
    Bookmark   1 citation