May 2021 Archives by date
Starting: Mon May 3 13:12:24 EDT 2021
Ending: Mon May 31 21:37:07 EDT 2021
Messages: 52
- Incomparable consistency strengths
Richard Heck
- Incomparable consistency strengths
JOSEPH SHIPMAN
- Incomparable consistency strengths
Fedor Pakhomov
- Incomparable consistency strengths
Vincent R.B. Blazy
- PhD position in proof theory / reverse mathematics
Anton Freund
- Please share this document
Chuyu Xiong
- 882: Logical Strength Comparability
Harvey Friedman
- "Toposes online" - first announcement
Olivia Caramello
- Another paper on Cook's conjecture
martdowd at aol.com
- Logica 2021 -- 2nd CFP
Igor Sedlar
- Logica Universalis Webinar - May 12 - Graded Structures of Opposition in Fuzzy Natural Logic by Petra Murinová
jean-yves beziau
- Postdoc position at the LIP laboratory, ENS de Lyon, France
Damien Pous
- Weak weak Koenig and covering spaces
Timothy Y. Chow
- Weak weak Koenig and covering spaces
Stephen G. Simpson
- Weak weak Koenig and covering spaces
Stephen G. Simpson
- Logic, Relativity and Beyond, 4th international conference, call for participation (online)
Gergely Székely
- 27th WoLLIC 2021 - Call for Papers (DEADLINE APPROACHING: May 18th)
Ruy Jose Guerra Barretto de Queiroz
- zoom series on tangible incompleteness by Harvey Friedman
Andreas Weiermann
- CfP: CompLingInfoReasAI'21 / Computational Linguistics, Information, Reasoning, and AI 2021
Roussanka Loukanova
- Another independence result for PA
Andreas Weiermann
- Weak weak Koenig and covering spaces
Timothy Y. Chow
- Nordic Online Logic Seminar: talk by Wilfrid Hodges on May 24
Graham Leigh
- Weak weak Koenig and covering spaces
Andrew Swan
- Weak weak Koenig and covering spaces
Alberto Marcone
- PhD program in Udine
Alberto Marcone
- Pfeiffer's thesis
martdowd at aol.com
- 883: Tangible Incompleteness Lecture Plans
Harvey Friedman
- 884: Low Strength Zoo/1
Harvey Friedman
- 885: Effective Forms
Harvey Friedman
- 886: Concerning Natural/1
Harvey Friedman
- Reverse mathematics of the fundamental group
Timothy Y. Chow
- RCA0 versus WKL0 versus ACA0
Harvey Friedman
- [Call for Papers] Formal Verification of Physical Systems (FVPS 2021)
Adnan Rashid
- FOM and representations
Sam Sanders
- A Bunch of Diagrammatic Methods for Syllogistic by Frank Sautter - Logica Universalis Webinar - May 19 - 16h CET
jean-yves beziau
- Call for Participation - Workshop on Natural Formal Mathematics (NatFoM 2021)
dennis at logicalphalluses.net
- 27th WoLLIC 2021 - Call for Papers (DEADLINE EXTENDED: May 25th)
Ruy Jose Guerra Barretto de Queiroz
- RCA0 versus WKL0 versus ACA0
Vasco Brattka
- CID; CCC 2021; call for submissions
Dieter Spreen
- Mathematical logic genealogy
James T Smith
- CFPs: 21st Trends in Logic international conference
Hitoshi Omori
- Mathematical logic genealogy
Andrés Villaveces
- LFCS first call for papers
robertlubarsky at att.net
- Fwd: Frank R. Drake (1937-2021)
Martin Davis
- Mathematical logic genealogy
David Auerbach
- Mathematical logic genealogy
Kreinovich, Vladik
- Mathematical logic genealogy
John Baldwin
- Call for Participation: Logic, Quantum Computing, and Artificial Intelligence (LQCAI 2021)
Ali Sadegh Daghighi
- genealogy
Wayne Richter
- PhD position on the formalization of logical calculi in Saarbrücken
Andrei Popescu
- 6th International Meeting of the APMP: Registration open
Jessica Carter
- Unsolved problems linking physics, biology, consciousness, philosophy of mathematics, and chemical information processing. Wed 2nd June 15-18pm(CET)
Aaron Sloman
Last message date:
Mon May 31 21:37:07 EDT 2021
Archived on: Tue Jun 1 01:04:17 EDT 2021
This archive was generated by
Pipermail 0.09 (Mailman edition).