Löwenheim-Skolem-Tarski Numbers for Regularity Quantifiers
Christopher Turner (Bristol)
19-Oct-2022, 14:00-15:30 (18 months ago)
logic
Audience: researchers in the topic
Series comments: To attend please send a request to bagaria@ub.edu and we'll send you the link.
Organizers: | Joan Bagaria*, Claudio Ternullo*, Philipp Lücke* |
*contact for this listing |
Export talk to