Conservativity of Ultrafilters over Subsystems of second order Arithmetic

Antonio Montalbán, Richard A. Shore. Conservativity of Ultrafilters over Subsystems of second order Arithmetic. Journal of Symbolic Logic, 83(2):740-765, 2018. [doi]

Abstract

Abstract is missing.