September 2021 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ 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

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

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

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