January 2022 Archives by author

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

Starting: Sat Jan 1 16:10:03 EST 2022
Ending: Mon Jan 31 10:46:30 EST 2022
Messages: 68

• Analytic Topology and the Jordan Case   Ignacio Añón
• Southern Summer Logic Day (WLD 2022), Virtual 14 Jan 2022   Guillermo Badia
• PhD Scholarship (Logic), University of Queensland, Australia   Guillermo Badia
• Question on logic with Mostowski cardinality quantifiers   Guillermo Badia
• Video Recordings of Southern Summer Logic Day (WLD event 2022)   Guillermo Badia
• Crossley Logic Colloquium (14-15 June 2022, Virtual)   Guillermo Badia
• UltraMath2022 - Ultrafilters and Ultraproducts Across Mathematics, and Related topics - Registration and Call for papers   Lorenzo Luperi Baglini
• 9 am cstRe: Nordic Online Logic Seminar: next talk on January 24, by Johan van Benthem   John Baldwin
• World Logic Day Workshop (Jan. 17, 2022)   Nikolay Bazhenov
• Meta-metamathematics   Hendrik Boom
• non-computability of overfitting   José Manuel Rodríguez Caballero
• non-computability of overfitting   José Manuel Rodríguez Caballero
• non-computability of overfitting   José Manuel Rodríguez Caballero
• Analytic Topology and the Jordan Case (Ignacio A??n)   José Manuel Rodríguez Caballero
• Fwd: Analytic Topology and the Jordan Case (Ignacio A??n)   José Manuel Rodríguez Caballero
• The unreasonable effectiveness of modular forms   José Manuel Rodríguez Caballero
• Classics/Ancient Philosophy Editorial Scholarships for Dyslexic PGRs   Louise Chapman
• Meta-mathematics   Timothy Y. Chow
• Towards formalization of Fermat's Last Theorem   Timothy Y. Chow
• FYI (Avigad on Varieties of Math Understanding)   Timothy Y. Chow
• non-computability of overfitting   Timothy Y. Chow
• Logic for the Friendship of Nations (Jan 14-15, 2022)   Ali Sadegh Daghighi
• ANNOUNCEMENT   Martin Davis
• Conference on "Philosophical roots of mathematical logic"   Martin Davis
• New Busy Beaver Turing Machine program   Nicholas Drozd
• Position as Senior Lecturer in Logic in Gothenburg   Fredrik Engström
• CiE 2022: Third CfP, submission deadline extended   Johanna Franklin
• 920: Polynomials and PA   Harvey Friedman
• 921: Polynomials and PA/2   Harvey Friedman
• 922: WQO Games   Harvey Friedman
• 923: Polynomials and PA/3   Harvey Friedman
• 924: Polynomials and PA/4   Harvey Friedman
• cardinality quantifiers   Kennedy, Juliette
• IPMU 2022 special session on Logical structures of opposition and logical syllogisms   Kreinovich, Vladik
• FYI   Kreinovich, Vladik
• FW: an interesting viewpoint on math   Kreinovich, Vladik
• Nordic Online Logic Seminar: next talk on January 24, by Johan van Benthem   Graham Leigh
• THE LOGIC OF BIBLICAL LOVE - The Logic and Religion Webinar, January 13   FRANCISCO MARIANO
• Theorem about Diaz's truth-relevant logic   X.Y. Newberry
• Meta-metamathematics   Vaughan Pratt
• FYI (Avigad on Varieties of Math Understanding)   Vaughan Pratt
• World Logic Day @ UCL   Pym, David
• 28th WoLLIC 2022 - 2nd Call for Papers   Ruy Jose Guerra Barretto de Queiroz
• 21st Annual Meet of Calcutta Logic Circle (14-17January)   Sayantan Roy
• Meta-metamathematics   JOSEPH SHIPMAN
• Meta-metamathematics   JOSEPH SHIPMAN
• On PA and ZFC-Inf   JOSEPH SHIPMAN
• Meta-metamathematics   JOSEPH SHIPMAN
• non-computability of overfitting   JOSEPH SHIPMAN
• Meta-metamathematics   Sam Sanders
• non-computability of overfitting   Sam Sanders
• Journées sur les Arithmétiques Faibles 2022   Stanislav Speranski
• some interesting lecture and a new Journal   Lukasz T. Stepien
• non-computability of overfitting   Josef Urban
• [Vardi-list] World Logic Day -- From Greek Paradoxes to Political Paradoxes   Moshe Y Vardi
• Towards formalization of Fermat's Last Theorem   Freek Wiedijk
• 2nd CfP: Trends in Logic XXII (18–20 July 2022)   Trends In Logic 2022 - U. Caglari Workshop
• CfP (deadline extension): Trends in Logic XXII   Trends In Logic 2022 - U. Caglari Workshop
• World Logic Day celebrated at the University of Oxford   Michał Zawidzki
• CCA2022 -- Call for Submissions   Zheng, Xizhong
• Corrected version of Call for Submissions (CCA2022)   Zheng, Xizhong
• Meta-metamathematics   martdowd at aol.com
• Hardy's 1904 paper on aleph_1   martdowd at aol.com
• Analytic Topology and the Jordan Case   martdowd at aol.com
• January 14, 2022 : 4th edition of the World Logic Day   jean-yves beziau
• 4th World Logic Day - Round table on the Exceptionality of Logic   jean-yves beziau
• MANY 1 - A Transversal Imaginative Journey across the Realm of Mathematics   jean-yves beziau
• Towards formalization of Fermat's Last Theorem   mario chiari

Last message date: Mon Jan 31 10:46:30 EST 2022
Archived on: Mon Jan 31 21:13:34 EST 2022

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