University of Cambridge > Talks.cam > Computing downward Lowenheim-Skolem: Hands on with the real algebraic numbers > Computing downward Lowenheim-Skolem: Hands on with the real algebraic numbers

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

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

ℹ️ Information

Computing downward Lowenheim-Skolem: Hands on with the real algebraic numbers

Download to your calendar using vCal

If you have a question about this talk, please contact Adam Lewicki .

Next week Grant Passmore will be speaking on his work in decision methods and model theory – at the intersection between logic, algebraic geometry and computer science. Dr. Passmore is a life member of Clare Hall, Cambridge, a Co-Director of Laboratoire de Recherche Scientifique (LABORES), Paris, and currently resides in London.

This talk is part of the Computing downward Lowenheim-Skolem: Hands on with the real algebraic numbers series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Hughes Hall Graduate Law Society seminar series Microelectronics Research Centre (Seminar room) Lecture Theatre 0, University of Cambridge Department of Engineering, Trumpington Street, Cambridge CB2 1PZ

Other talks

What’s my reproduction number? Life history strategies: an interdisciplinary perspective Title to be confirmed How Much Does Homology Really Know? Title to be confirmed Argentina 2005 Topology of the Ritz energy landscape
 

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