January 2018 Archives by subject

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

Starting: Thu Jan 4 01:14:43 EST 2018
Ending: Wed Jan 31 03:41:02 EST 2018
Messages: 89

• [FOM] "Reverse Mathematics" by John Stillwell   Timothy Y. Chow
• [FOM] 13th Workshop on Games for Logic and Programming Languages (GaLoP 2018), Thessaloniki, Greece, 14-15 April, 2018. Deadline for abstracts: 22 January 2018.   Pantsar, Markus
• [FOM] 780: One Dimensional Incompleteness/1   Harvey Friedman
• [FOM] 781: One Dimensional Incompleteness/2   Harvey Friedman
• [FOM] 782: Revolutionary Possibilities/1   Harvey Friedman
• [FOM] 783: Revolutionary Possibilities/2   Harvey Friedman
• [FOM] 784: Revolutionary Possibilities/3   Harvey Friedman
• [FOM] 785: Revolutionary Possibilities/4   Harvey Friedman
• [FOM] 786: Revolutionary Possibilities/5   Harvey Friedman
• [FOM] 787: Revolutionary Possibilities/6   Harvey Friedman
• [FOM] Alfred Tarski Logic Prize   jean-yves beziau
• [FOM] A logical device of Mario Pieri   JAMES T SMITH
• [FOM] blow-up factor   Dustin Wehr
• [FOM] blow-up factor   Frédéric Blanqui
• [FOM] Book appearing: Formalization without Foundationalism: Model Theory and the Philosophy of Mathematical Practice   John Baldwin
• [FOM] Book appearing: Formalization without Foundationalism: Model Theory and the Philosophy of Mathematical Practice   Harvey Friedman
• [FOM] Book appearing: Formalization without Foundationalism: Model Theory and the Philosophy of Mathematical Practice   John Baldwin
• [FOM] CfP: DMV-Studienrendenkolleg UnDecidability ; 29.-30.06.2018 ; Hamburg Germany   Deniz Sarikaya
• [FOM] CiE 2018: Final Call for Papers   gprimiero at libero.it
• [FOM] CiE 2018: Final Call for Papers -- EXTENDED DEADLINES   gprimiero at libero.it
• [FOM] Concerning "dam breaking" f.o.m.   Harvey Friedman
• [FOM] DEADLINE EXTENDED: 13th Workshop on Games for Logic and Programming Languages (GaLoP 2018), Thessaloniki, Greece, 14-15 April, 2018. The new deadline for submissions is January 29th 2018.   Barbero, Fausto
• [FOM] DICE 18: Final Call -- Extended Deadline   Martin Avanzini
• [FOM] FLT Decisive by Normal Math Standards   Harvey Friedman
• [FOM] FLT Decisive by Normal Math Standards   Arnon Avron
• [FOM] FLT Decisive by Normal Math Standards   David Fernandez Breton
• [FOM] FLT Decisive by Normal Math Standards   Harvey Friedman
• [FOM] FLT Decisive by Normal Math Standards   James Smith
• [FOM] FLT Decisive by Normal Math Standards   W.Taylor at math.canterbury.ac.nz
• [FOM] FLT Decisive by Normal Math Standards   W.Taylor at math.canterbury.ac.nz
• [FOM] FLT Decisive by Normal Math Standards   tchow
• [FOM] Fwd: [Coq-Club] Call for Sessions, ICMS 2018   Josef Urban
• [FOM] Fwd: [LICS] FLoC 2018 - Final Joint Call for Papers   Martin Davis
• [FOM] Fwd: [LICS] FOPSS Logic and Learning School advertisement   Martin Davis
• [FOM] Fwd: The 2018 Alonzo Church Award: Call for Nominations   Martin Davis
• [FOM] Louis Couturat Logic Prize   jean-yves beziau
• [FOM] News about Mochizuki's claimed proof of abc   tchow
• [FOM] News about Mochizuki's claimed proof of abc   Joe Shipman
• [FOM] News about Mochizuki's claimed proof of abc   James Smith
• [FOM] Possible nonexistence of repeat points   martdowd at aol.com
• [FOM] Postdoc position in Logic, Gothenburg (Sweden), Deadline: 31 May 2018   Graham Leigh
• [FOM] Postdoctoral Fellow in Mathematical Logic, Stockholm University   Erik Palmgren
• [FOM] Replacement after removal of Extensionality.   Zuhair Abdul Ghafoor Al-Johar
• [FOM] Second call for bids to host ITP 2019   Jeremy Avigad
• [FOM] Square of Opposition, Orthodox Academy of Crete, November 2018 - CFP   jean-yves beziau
• [FOM] SUMMER SCHOOL ON THE FOUNDATIONS OF GEOMETRY IN HISTORICAL PERSPECTIVE. LEIPZIG, 2-7 JULY 2018   Pierluigi Graziani
• [FOM] The gold standard and FLT   Arnon Avron
• [FOM] The gold standard and FLT   Harvey Friedman
• [FOM] The gold standard and FLT   Franck Slama
• [FOM] The gold standard and FLT   Franck Slama
• [FOM] The gold standard and FLT   Joe Shipman
• [FOM] The gold standard and FLT   tchow
• [FOM] The gold standard and FLT   Arnon Avron
• [FOM] The gold standard and FLT and the meta-mathematical transversality theorem   katzmik at macs.biu.ac.il
• [FOM] The gold standard and FLT and the meta-mathematical transversality theorem   Josef Urban
• [FOM] What is the current state of the research about proving FLT?   Arnon Avron
• [FOM] What is the current state of the research about proving FLT?   Colin McLarty
• [FOM] What is the current state of the research about proving FLT?   Timothy Y. Chow
• [FOM] What is the current state of the research about proving FLT?   tchow
• [FOM] What is the current state of the research about proving FLT?   Joe Shipman
• [FOM] What is the current state of the research about proving FLT?   Timothy Y. Chow
• [FOM] What is the current state of the research about proving FLT?   Harvey Friedman
• [FOM] What is the current state of the research about proving FLT?   David Fernandez Breton
• [FOM] What is the current state of the research about proving FLT?   Timothy Y. Chow
• [FOM] What is the current state of the research about proving FLT?   Timothy Y. Chow
• [FOM] What is the current state of the research about proving FLT?   Colin McLarty
• [FOM] What is the current state of the research about proving FLT?   Harvey Friedman
• [FOM] What is the current state of the research about proving FLT?   Timothy Y. Chow
• [FOM] What is the current state of the research about proving FLT?   Tennant, Neil
• [FOM] What is the current state of the research about proving FLT?   James Smith
• [FOM] What is the current state of the research about proving FLT?   Frédéric Blanqui
• [FOM] What is the current state of the research about proving FLT?   Joe Shipman
• [FOM] What is the current state of the research about proving FLT?   revantha
• [FOM] What is the current state of the research about proving FLT?   Frédéric Blanqui
• [FOM] What is the current state of the research about proving FLT?   Frédéric Blanqui
• [FOM] What is the current state of the research about proving FLT?   Arnold Neumaier
• [FOM] What is the current state of the research about proving FLT?   Freek Wiedijk
• [FOM] What is the current state of the research about proving FLT?   James Smith
• [FOM] What is the current state of the research about proving FLT?   Robert Solovay
• [FOM] What is the current state of the research about proving FLT?   Josef Urban
• [FOM] What is the current state of the research about proving FLT?   Josef Urban
• [FOM] What is the current state of the research about proving FLT?   James Smith
• [FOM] What is the current state of the research about proving FLT?   Nicolas Schmidt
• [FOM] What is the current state of the research about proving FLT?]   Arnon Avron
• [FOM] What is the current state of the research about proving FLT?]   Harvey Friedman
• [FOM] What is the current state of the research about proving FLT?]   Joe Shipman
• [FOM] What is the current state of the research about proving FLT?]   David Fernandez Breton
• [FOM] What is the current state of the research about proving FLT?]   Colin McLarty
• [FOM] Workshop on Ramsey Theory and Computability Theory   Ludovic Patey

Last message date: Wed Jan 31 03:41:02 EST 2018
Archived on: Wed Jan 31 11:55:57 EST 2018

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