October 2021 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Fri Oct 1 01:13:36 EDT 2021
Ending: Sun Oct 31 15:05:25 EDT 2021
Messages: 70

• 897: Remarks on Reverse Mathematics/4   Harvey Friedman
  • 897: Remarks on Reverse Mathematics/4   Sam Sanders
• 898: Ultra Convergence/1   Harvey Friedman
• CfP: LACompLing2021 Logic and Algorithms in Computational Linguistics 2021, MALIN, Montpellier   Roussanka Loukanova
• 899: Remarks on Reverse Mathematics/5   Harvey Friedman
• 900: Ultra Convergence/2   Harvey Friedman
• 897: Remarks on Reverse Mathematics/4 -- a historical view   Sam Sanders
• 901: Remarks on Reverse Mathematics 6   Harvey Friedman
• LUW October 6 : being provable in Peano Arithmetic with at most k steps   jean-yves beziau
  • LUW October 6 : being provable in Peano Arithmetic with at most k steps   FRANCISCO MARIANO
• Confluence in number-theoretic rewriting systems   José Manuel Rodríguez Caballero
  • Confluence in number-theoretic rewriting systems   Frédéric Blanqui
• CiE 2022: First CfP   Johanna Franklin
• 901 Remarks on Reverse Mathematics 6 (Harvey Friedman)   Ulrich Kohlenbach
• Kohlenbach's higher-order Reverse Mathematics   Sam Sanders
• CiE 2022: FIRST CALL FOR PAPERS   gprimiero at libero.it
• 902: Mathematical L and OD/RM   Harvey Friedman
  • 902: Mathematical L and OD/RM   Sam Sanders
    • 902: Mathematical L and OD/RM   Mikhail Katz
• PH=PSPACE   Valerii Sopin
• Two-tracking the debate on RM   Mikhail Katz
• Nordic Online Logic Seminar: next talk, on October 25, by Erich Grädel   Valentin Goranko
• CfP: NLPinAI 2022, Online Streaming 3-5 February, 2022   Roussanka Loukanova
• Conference announcement: Intuitionism   Mark van Atten
• CfP TC Synthese - Linguistically Informed Philosophy of Mathematics - March 15, 2022   Deniz Sarikaya
• lower bound on smallest repeat point   martdowd at aol.com
• LUW Oct 13 : Why Make Things Simple When You Can Make Them Complicated? An Appreciation of Lewis Carroll’s Symbolic Logic   jean-yves beziau
• What are the Arguments for Atheism? The Logic and Religion Webinar, October 14   FRANCISCO MARIANO
• 903: Foundations of Large Cardinals/1   Harvey Friedman
• Three PhD positions in Logic (Groningen) *29 Nov 2021 deadline*   Revantha Ramanayake
• Godel diagonalization lemma   martdowd at aol.com
• 904: Foundations of Large Cardinals/2   Harvey Friedman
• 905: Foundations of Large Cardinals/3   Harvey Friedman
• 906: Foundations of Large Cardinals/4   Harvey Friedman
  • 907: Base Theory Proposals for Third Order RM/1   Harvey Friedman
    • 907: Base Theory Proposals for Third Order RM/1   Sam Sanders
• 908: Base Theory Proposals for Third Order RM/2   Harvey Friedman
  • 908: Base Theory Proposals for Third Order RM/2   Sam Sanders
• Conference on intuitionism: updated program   Mark van Atten
• 909: Base Theory Proposals for Third Order RM/3   Harvey Friedman
  • 909: Base Theory Proposals for Third Order RM/3   Sam Sanders
• 910: Base Theory Proposals for Third Order RM/4   Harvey Friedman
  • 910: Base Theory Proposals for Third Order RM/4   Sam Sanders
• Is Horn clause logic decidable?   Daniel Schwartz
  • Is Horn clause logic decidable?   Kreinovich, Vladik
  • Is Horn clause logic decidable?   Josef Urban
  • Is Horn clause logic decidable?   Gernot Salzer
  • Is Horn clause logic decidable?   Dominik Kirst
  • Is Horn clause logic decidable?   Lawrence Paulson
  • Is Horn clause logic decidable?   Daniel Schwartz
  • Is Horn clause logic decidable?   Moshe Y Vardi
  • Is Horn clause logic decidable?   James Harland
    • Abstraction Logic   Steven Obua
• 911: Ultra Convergence/3   Harvey Friedman
• Second Call for Papers: Non-Classical Logics. Theory and Applications X, Lodz, Poland, March 14-18, 2022   Michał Zawidzki
• Fast growing hierarchies, ordinal collapsing and Pi^1_1-CA_0   Andreas Weiermann
• 912: Base Theory Proposals for Third Order RM/5   Harvey Friedman
• 913: Base Theory Proposals for Third Order RM/6   Harvey Friedman
• 914: Base Theory Proposals for Third Order RM/7   Harvey Friedman
• 915: Base Theory Proposals for Third Order RM/8   Harvey Friedman
• Proof Society Workshop and Winter School 2021   Joost J. Joosten
• Symposium honoring Trakhtenbrot's centenary   Arnon Avron
• Logic and Math hits on Google   Harvey Friedman
  • Logic and Math hits on Google   Lawrence Paulson
    • Logic and Math hits on Google   martdowd at aol.com
  • Logic and Math hits on Google   Timothy Y. Chow
  • Logic and Math hits on Google   Harvey Friedman
• NCMPL 2021: Call for Participation   Hitoshi Omori
• PhD Scholarship (Logic), University of Queensland, Australia   Guillermo Badia
• CfP extended deadline: LACompLing2021 / Logic and Algorithms in Computational Linguistics 2021, MALIN, Montpellier   Roussanka Loukanova

Last message date: Sun Oct 31 15:05:25 EDT 2021
Archived on: Sun Oct 31 15:49:36 EDT 2021

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...