Events

Filter by:

Limit to events where the title matches:
Limit to events where the first date of the event:
Date range
Limit to events where the first date of the event:
Limit to events where the type is one or more of:
Limit to events tagged with one or more of:
Limit to events where the audience is one or more of:
Wednesday, April 3, 2024 2:30 pm - 3:30 pm EDT (GMT -04:00)

An undecidable extension of Morley’s theorem on the number of countable models

Franklin Tall, University of Toronto

We show that Morley’s theorem on the number of countable models of a countable first-order theory becomes an undecidable statement when extended to second-order logic. More generally, we calculate the number of equivalence classes of equivalence relations obtained by countable intersections of projective sets in several models of set theory. Our methods include random and Cohen forcing, large cardinals, and Inner Model Theory.

MC 5479