MoL-2022-28: Thibault Rushbrooke Taming the Infinity Quantifier: On Well-Behaved Fragments of First-Order Logic with the Quantifier 'There are Infinitely Many' 1.Full Text, 2.Abstract. < Back
