September 2021 Archives by thread

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

Starting: Wed Sep 1 02:10:47 EDT 2021
Ending: Wed Sep 29 08:48:05 EDT 2021
Messages: 65

• Shipman's schema for ZF(C)   Arnon Avron
  • Shipman's schema for ZF(C)   Anton Freund
• Proof and Computation 2021   Chuangjie Xu
• LFCS final CFP   robertlubarsky at att.net
• EuroProofNet - Call for Working Group membership Application   Frédéric Blanqui
• NCMPL 2021 - Deadline Extension Announcement   Hitoshi Omori
• "Unifying Themes in Geometry" - first announcement   Olivia Caramello
• Growth of finite structures   JOSEPH SHIPMAN
• Question about closing a chain of elastic bands -- and hatching eggs   Aaron Sloman
  • Question about closing a chain of elastic bands -- and hatching eggs   Timothy Y. Chow
    • Question about closing a chain of elastic bands -- and hatching eggs   Timothy Y. Chow
      • Question about closing a chain of elastic bands -- and hatching eggs   Alex Galicki
  • Question about closing a chain of elastic bands -- and hatching eggs   Alex Galicki
• looking for an ordinal notation paper   Graham Leigh
• CfP: Non-Classical Logics. Theory and Applications X, Lodz, Poland, March 14-18, 2022   Michał Zawidzki
• LUW Sept 8: Decidability of Logical Theories and their Combination   jean-yves beziau
• Trends in Logic XXI - Deadline Extension Announcement   Hitoshi Omori
• Incompleteness of SOL   Dominik Kirst
  • Incompleteness of SOL   Richard Kimberly Heck
    • Incompleteness of SOL   Tennant, Neil
      • Incompleteness of SOL   Dominik Kirst
• Harvey Friedman's axioms for set theory   wfdc
• Proof of P $\neq$ NP   martdowd at aol.com
  • Proof of P $\neq$ NP   Mario Carneiro
• Replies to my Question about closing a chain of elastic bands -- and hatching eggs   Aaron Sloman
• DEADLINE EXTENDED -- LFCS call for papers   robertlubarsky at att.net
• 887: Updated Adventures   Harvey Friedman
• 888: New(?) kinds of questions   Harvey Friedman
• French Philosophy of Mathematics Workshop, Nice, Oct. 7-9, 2021   Brice Halimi
• Elastic bands   Laurent Bartholdi
• 889: Generating r.e. sets   Harvey Friedman
• Paraconsistent Newsletter Summer-Winter 2021   jean-yves beziau
• Elastic bands -- and hatching eggs Zoom conference details   Aaron Sloman
• LUW Sept 15 at 4 pm CET : Mathematical Perspectives on Liar Paradoxes   jean-yves beziau
• Fwd: added one more theorem   Martin Davis
• God, Contradiction and Paraconsistency: The Logic and Religion Webinar, September 16   LARA Logos
• GOD, CONTRADICTION AND PARACONSISTENCY - Newton da Costa 92th Birthday   jean-yves beziau
• Nordic Online Logic Seminar: talk by Anupam Das on 27 September 2021   Graham Leigh
• 7th World Congress and School on Universal Logic - Orthodox Academy of Crete, April 1 - 11, 2022   jean-yves beziau
• 890: Update on Tangible Incompleteness   Harvey Friedman
• Call for Application Post-Doc Position - Scuola Normale Superiore, Pisa   Pierluigi Graziani
• First Incompleteness via computation: an explicit construction   Anatoly Vorobey
• 27th WoLLIC 2021 - Call for Participation (Online)   Ruy Jose Guerra Barretto de Queiroz
• CfP: Logic and Interaction, Marseille, 24 Jan-25 Feb 2022   Lorenzo Tortora de Falco
• 891: Remarks on Reverse Mathematics/1   Harvey Friedman
  • 891: Remarks on Reverse Mathematics/1   Sam Sanders
• 892: Remarks on Reverse Mathematics/2   Harvey Friedman
  • 892: Remarks on Reverse Mathematics/2 / Ghost of departed quantities   Sam Sanders
• Gap in P $\neq$ NP proof   martdowd at aol.com
• 893: Remarks on Reverse Mathematics/3   Harvey Friedman
  • 893: Remarks on Reverse Mathematics/3   Sam Sanders
    • Regarding Sander's postings   Harvey Friedman
• Minisymposium "Large cardinals" at the DMV-OeMG Annual Conference 2021, 28.+30. September 2021 (online).   Philipp Lücke
• 894: Update on Tangible Incompleteness/2   Harvey Friedman
• ZFC vs ZF   JOSEPH SHIPMAN
  • ZFC vs ZF   Buzzard, Kevin M
    • ZFC vs ZF   JOSEPH SHIPMAN
  • ZFC vs ZF   JOSEPH SHIPMAN
• 895: Provably Recursive Functions and Sigma02   Harvey Friedman
  • 896: (R,<,0,1,+,-,x,Z)   Harvey Friedman
• Post-Doc position at INRIA on semantics and verification of probabilistic programs   Martin Avanzini
• Sept 29 (Wed): Minisymposium "New Trends in Algorithmic Randomness and Computable Analysis"   Rupert Hölzl
• Proof Theory Seminar, Autumn 2021   anupamdotdas at gmail.com
• [FOM]: Regarding Sander's postings   Sam Sanders
• axioms for hereditary multi-sets   Alberto Policriti

Last message date: Wed Sep 29 08:48:05 EDT 2021
Archived on: Wed Sep 29 12:08:55 EDT 2021

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