Abstract: In this workshop, we will be looking into a question in Finite Model theory regarding definability. Model theory is a branch of mathematical logic which studies the relationship between the formal theories and their models. Finite Model Theory concerns, in particular, the models of the finite universe and it has nice relationships with database and complexity theory. In the first part of the presentation, we will be introduced to an example of (first-order) theory and its (relational) model. We will then ask what (Boolean) properties of models can be defined as a formula in first-order logic. In the second part, Ehrenfeucht-Fraïssé Game will be introduced and we will see how Ehrenfeucht-Fraïssé theorem helps us show that some properties are not definable in first-order logic.

 

Find out more and register HERE.

 

Want to receive email updates and reminders for our monthly events? Sign up for our mailing list on the left!

To read our 2021-2022 Annual Report, click here!

Thank you Eastlink for renewing your Half-Million Dollar Donation!!! On June 17th, 2014 we announced a partnership with Eastlink. They donated $500,000 to NS Math Circles for the program to further expand its outreach into junior high schools and begin outreach in the elementary schools. In the spring of 2019, Eastlink renewed its $500,000 donation for a further five years, allowing us to continue our outreach, improve our program, and widen our scope. Thank You to Lee Bragg and Eastlink for these generous donations!

Photo Credit: Danny Abriel

Math Circles in the News:

Check out an article about NS Math Circles in Dal News!
https://www.dal.ca/news/2019/06/04/math-circles-celebrates-five-years-with-eastlink.html

Join in the fun today!

Contact us for ideas on how we can best serve your needs. We would love to coordinate with you and give a presentation to your school for FREE!

Contact: Reach us through our form HERE.