Talks.cam will close on 1 July 2026, further information is available on the UIS Help Site
 

University of Cambridge > Talks.cam > Set Theory Seminar > On the Quantifier Depth of Logical Formulas to Canonise Graphs

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

On the Quantifier Depth of Logical Formulas to Canonise Graphs

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Benedikt Loewe.

Part of STUK 17: https://www.dpmms.cam.ac.uk/~dbl25/STUK/17/

Abstract not available

This talk is part of the Set Theory Seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Engineering Safe AI Inspirational Women in Engineering Talk Series Cambridge University Behavioural Economics Society

Other talks

Obstetrics and Gynaecology, and Clinical Immunology / Allergy Institutionalizing values and science: the strengths of standardization in troubled times Communities, capabilities, and collaboration: How the Software Sustainability Institute (SSI) supports digital research in the Arts and Humanities Semiclassical inequalities for Dirichlet and Neumann Laplacians Quantifying Sensitivity to Model Uncertainty Songs of the Stars: unravelling stellar music with asteroseismology
 

© 2006-2026 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity