Google Alert - in

	in As-it-happens update ⋅ 26 November 2023
	WEB
	Proving finiteness in Reverse Mathematics - MathOverflow MathOverflow My question is in what system we can actually prove that such finite C has measure zero? It would be strange if ATR0 would be needed, for instance. Flag as irrelevant

You have received this email because you have subscribed to Google Alerts. Unsubscribe

Receive this alert as RSS feed

Send Feedback

ShareThis