Events at The University of Manchester
  • University home
  • Events
  • Home
  • Exhibitions
  • Conferences
  • Lectures and seminars
  • Performances
  • Events for prospective students
  • Sustainability events
  • Family events
  • All Events

Rosario Mennuni - Double-membership graphs of models of Anti-Foundation

Dates:25 September 2019
Times:15:00 - 16:00
What is it:Seminar
Organiser:Department of Mathematics
Who is it for:University staff, External researchers, Current University students
Speaker:Rosario Mennuni
See travel and contact information
Add to your calendar

More information

  • Department of Mathematics

Other events

  • In category "Seminar"
  • In group "(Maths) Logic"
  • In group "(Maths) Maths seminar series"
  • By Department of Mathematics

Rosario Mennuni joins us for the Logic Seminar.

It is an old result that the "membership graph" of any countable model of set theory, obtained by joining x and y if x is in y *or* y is in x, is isomorphic to the random graph. This is true for extremely weak set theories but, crucially, they have to satisfy the Axiom of Foundation. I will present recent work with Bea Adam-Day and John Howe in which we study the class of "double-membership graphs", obtained by joining x and y if x is in y *and* y is in x, in the case of set theory with the Anti-Foundation Axiom. In contrast with the omega- categorical class of "traditional" membership graphs, we show that double-membership graphs are way less well-behaved: their theory is incomplete and each of its completions has the maximum number of countable models and is wild in the sense of neostability theory. By using ideas from finite model theory, we characterise the aforementioned completions, and show that the class of countable double-edge graphs of Anti-Foundation is not even closed under elementary equivalence among countable structures. This answers some questions of Adam-Day and Cameron.

Speaker

Rosario Mennuni

Organisation: University of Leeds

Travel and Contact Information

Find event

Frank Adams 1
Alan Turing Building
Manchester

Contact event

Omar Leon Sanchez

omar.sanchez@manchester.ac.uk

Contact us

  • +44 (0) 161 306 6000

Find us

The University of Manchester
Oxford Rd
Manchester
M13 9PL
UK

Connect with the University

  • Facebook page for The University of Manchester
  • X (formerly Twitter) page for The University of Manchester
  • YouTube page for The University of Manchester
  • Instagram page for The University of Manchester
  • TikTok page for The University of Manchester
  • LinkedIn page for The University of Manchester

  • Privacy /
  • Copyright notice /
  • Accessibility /
  • Freedom of information /
  • Charitable status /
  • Royal Charter Number: RC000797
  • Close menu
  • Home
    • Featured events
    • Today's events
    • The Whitworth events
    • Manchester Museum events
    • Jodrell Bank Discovery Centre events
    • Martin Harris Centre events
    • The John Rylands Library events
    • Exhibitions
    • Conferences
    • Lectures and seminars
    • Performances
    • Events for prospective students
    • Sustainability events
    • Family events
    • All events