Computable $\Pi^0_2$ Scott Sentences

07-Nov-2024, 19:00-20:00 (4 months ago)

Abstract: Abstract available at lagrange.math.siu.edu/Calvert/OnlineSeminar/McCoy2024abstract.pdf

logic

Audience: researchers in the topic

Series comments: Description: Seminar on all areas of logic

Organizer:	Wesley Calvert*
	*contact for this listing

Export talk to

Computable Π20\Pi^0_2Π20​ Scott Sentences