Bijan Gof
March 28, 2025
Title: Summary of "Logic Around the World" - 5th Annual Conference of the Iranian
Association for Logic
Prepared by: ChatGPT, based on the original compilation from Amirkabir University of
Technology, Tehran
https://settheory.net/logic-around-the-world.pdf
Overview: This document summarizes the content and key themes of the book "Logic Around
the World," a volume compiled for the 5th Annual Conference of the Iranian Association for
Logic held in December 2017. The conference and this book celebrate the development of logic
both in Iran and around the world, showcasing contributions from international scholars.
Page 1: Introduction to the Volume
● Editors: Massoud Pourmahdian, Ali Sadegh Daghighi
● Occasion: 5th Annual Conference of the Iranian Association for Logic (December 2017)
● Venue: Amirkabir University of Technology (Tehran Polytechnic)
● Purpose: To highlight the global developments in logic, commemorate major logicians,
and support interdisciplinary dialogue
Page 2: Part I - Technical Contributions in Logic and Mathematics
1. Set Theory and Tree Properties
○ Focus on the definable tree property in the context of large cardinal axioms.
○ Connections to consistency results and forcing techniques.
○ Authors: Asaf Karagila, Mohammad Golshani, and others.
2. Aoristic Modal Logic
○ Frode Bjørdal introduces and explores a novel type of modal logic.
3. Ramsey Algebras
