August 2021 Archives by subject

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

Starting: Sun Aug 1 00:42:51 EDT 2021
Ending: Tue Aug 31 05:40:50 EDT 2021
Messages: 66

• Alternative axiom scheme for ZF(C)   JOSEPH SHIPMAN
• Alternative axiom scheme for ZF(C)   Mario Carneiro
• Alternative axiom scheme for ZF(C)   Peter Koepke
• Alternative axiom scheme for ZF(C)   Till Mossakowski
• Are we bodies or souls? The Logic and Religion Webinar, August 19   Logic and Religion Association LARA
• Asymptotic growth of a non-computable sequence   José Manuel Rodríguez Caballero
• Asymptotic growth of a non-computable sequence   Kreinovich, Vladik
• Asymptotic growth of a non-computable sequence   José Manuel Rodríguez Caballero
• Asymptotic growth of a non-computable sequence   José Manuel Rodríguez Caballero
• Asymptotic growth of a non-computable sequence   Dennis E. Hamilton
• Bill Taylor has died   bill taylor
• Call for Participation: International Workshop on Oriental Logic   Ali Sadegh Daghighi
• Call for Participation: International Workshop on Oriental Logic   Ali Sadegh Daghighi
• Certified Programs and Proofs (CPP) 2022: Final Call for Papers   Andrei Popescu
• CfE: UNESCO World Logic Day - Jan 14 : Call for Events   wld.assistantcoordinator at cipsh.international
• CID; CCC 2021; 2nd call for submissions   Dieter Spreen
• Dieudonne on Dedekind   James Robert Brown
• Dieudonne on Dedekind   Colin McLarty
• Dieudonne on Dedekind   Alexander M Lemberg
• Dieudonne on Dedekind   Colin McLarty
• Dieudonne on Dedekind   JOSEPH SHIPMAN
• Dieudonne on Dedekind   Colin McLarty
• Dieudonne on Dedekind   Hendrik Boom
• Dieudonne on Dedekind   Timothy Y. Chow
• Dieudonne on Dedekind   John Baldwin
• Dieudonne on Dedekind   Arnold Neumaier
• Dieudonne on Dedekind   JOSEPH SHIPMAN
• Dieudonne on Dedekind   martdowd at aol.com
• Dieudonne on Dedekind   Richard Grandy
• Dieudonne on Dedekind   Melvin Fitting
• Dieudonne on Dedekind   JOSEPH SHIPMAN
• Final Call for Participation: Oriental Logic Conference   Ali Sadegh Daghighi
• Fwd: Some results about NF set theory   Martin Davis
• Fwd: typo   Martin Davis
• Is equality-free elementary logic with Henkin quantifiers compact?   Guillermo Badia
• LFCS second call for papers   robertlubarsky at att.net
• Limit computable maximum   Giovanni Lagnese
• Limit computable maximum   James Moody
• Limit computable maximum (Giovanni Lagnese)   Vasco Brattka
• Logical constants in abstract frameworks   jean-yves beziau
• looking for an ordinal notation paper   Hendrik Boom
• Lower order axioms   JOSEPH SHIPMAN
• Lower order axioms   Anton Freund
• Lower order axioms   martdowd at aol.com
• Need example from number theory   JOSEPH SHIPMAN
• Need example from number theory   Gyorgy Sereny
• Need example from number theory   JOSEPH SHIPMAN
• Need example from number theory   Mario Carneiro
• Need example from number theory   Mario Carneiro
• Need example from number theory   Timothy Y. Chow
• Need example from number theory   Raphael Douady
• Need example from number theory   Buzzard, Kevin M
• Online International Workshop on Gödel's Incompleteness Theorems   Andreas Weiermann
• regarding evolution of mathematical areas   Harvey Friedman
• Results about logics that were new with proof systems other than sequent calculus   Revantha Ramanayake
• Results about logics that were new with proof systems other than sequent calculus   martdowd at aol.com
• Results about logics that were new with proof systems other than sequent calculus   Lew Gordeew
• Results about logics that were new with proof systems other than sequent calculus   Joao Marcos
• Results about logics that were new with proof systems other than sequent calculus   Revantha Ramanayake
• Shipman's schema for ZF(C)   Zvonimir Sikic
• Shipman's schema for ZF(C)   JOSEPH SHIPMAN
• Shipman's schema for ZF(C)   Anton Freund
• Some results about NF set theory   Kreinovich, Vladik
• TABLEAUX 2021 – Call for Participation. 6-9 September, 2021. Virtual and Birmingham, UK.   anupamdotdas at gmail.com
• Yale Weiss (CUNY) "A Reinterpretation of the Semilattice Semantics with Applications" LUW / August 11   jean-yves beziau
• Yale Weiss / Saul Kripke Center / Mel Fitting / LUWebinar today at 16 pm CET   jean-yves beziau

Last message date: Tue Aug 31 05:40:50 EDT 2021
Archived on: Tue Aug 31 18:26:57 EDT 2021

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