October 2021 Archives by subject
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
- 897: Remarks on Reverse Mathematics/4 -- a historical view
Sam Sanders
- 898: Ultra Convergence/1
Harvey Friedman
- 899: Remarks on Reverse Mathematics/5
Harvey Friedman
- 900: Ultra Convergence/2
Harvey Friedman
- 901: Remarks on Reverse Mathematics 6
Harvey Friedman
- 901 Remarks on Reverse Mathematics 6 (Harvey Friedman)
Ulrich Kohlenbach
- 902: Mathematical L and OD/RM
Harvey Friedman
- 902: Mathematical L and OD/RM
Sam Sanders
- 902: Mathematical L and OD/RM
Mikhail Katz
- 903: Foundations of Large Cardinals/1
Harvey Friedman
- 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
- 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
- 911: Ultra Convergence/3
Harvey Friedman
- 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
- Abstraction Logic
Steven Obua
- CfP: LACompLing2021 Logic and Algorithms in Computational Linguistics 2021, MALIN, Montpellier
Roussanka Loukanova
- CfP: NLPinAI 2022, Online Streaming 3-5 February, 2022
Roussanka Loukanova
- CfP extended deadline: LACompLing2021 / Logic and Algorithms in Computational Linguistics 2021, MALIN, Montpellier
Roussanka Loukanova
- CfP TC Synthese - Linguistically Informed Philosophy of Mathematics - March 15, 2022
Deniz Sarikaya
- CiE 2022: FIRST CALL FOR PAPERS
gprimiero at libero.it
- CiE 2022: First CfP
Johanna Franklin
- Conference announcement: Intuitionism
Mark van Atten
- Conference on intuitionism: updated program
Mark van Atten
- Confluence in number-theoretic rewriting systems
José Manuel Rodríguez Caballero
- Confluence in number-theoretic rewriting systems
Frédéric Blanqui
- Fast growing hierarchies, ordinal collapsing and Pi^1_1-CA_0
Andreas Weiermann
- Godel diagonalization lemma
martdowd at aol.com
- 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
- Kohlenbach's higher-order Reverse Mathematics
Sam Sanders
- Logic and Math hits on Google
Harvey Friedman
- Logic and Math hits on Google
Lawrence Paulson
- Logic and Math hits on Google
Timothy Y. Chow
- Logic and Math hits on Google
Harvey Friedman
- Logic and Math hits on Google
martdowd at aol.com
- 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
- 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
- NCMPL 2021: Call for Participation
Hitoshi Omori
- Nordic Online Logic Seminar: next talk, on October 25, by Erich Grädel
Valentin Goranko
- PH=PSPACE
Valerii Sopin
- PhD Scholarship (Logic), University of Queensland, Australia
Guillermo Badia
- Proof Society Workshop and Winter School 2021
Joost J. Joosten
- Second Call for Papers: Non-Classical Logics. Theory and Applications X, Lodz, Poland, March 14-18, 2022
Michał Zawidzki
- Symposium honoring Trakhtenbrot's centenary
Arnon Avron
- Three PhD positions in Logic (Groningen) *29 Nov 2021 deadline*
Revantha Ramanayake
- Two-tracking the debate on RM
Mikhail Katz
- What are the Arguments for Atheism? The Logic and Religion Webinar, October 14
FRANCISCO MARIANO
Last message date:
Sun Oct 31 15:05:25 EDT 2021
Archived on: Sun Oct 31 15:49:36 EDT 2021
This archive was generated by
Pipermail 0.09 (Mailman edition).