July 2017 Archives by author

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

Starting: Sun Jul 2 13:22:33 EDT 2017
Ending: Mon Jul 31 11:39:51 EDT 2017
Messages: 36

• [FOM] Reference request for category-theoretic presentation of forcing   John Baldwin
• [FOM] Reference request for category-theoretic presentation of forcing   Neil Barton
• [FOM] PhD offer on Integrating automated provers in proof assistants   Frédéric Blanqui
• [FOM] Ph.D. and post-doctoral positions in Como   Olivia Caramello
• [FOM] Could it be that a "typical" Diophantine set is computable?   Timothy Y. Chow
• [FOM] SD '17 CfPart: Structures & Deduction, Oxford 8-9 Sep. (early reg: 6 Aug)   Anupam Das
• [FOM] CFP: Workshop on Logical Geometry and its Applications (WoLGA)   Lorenz Demey
• [FOM] Is mathematical realism compatible with classical reasoning?   Patrik Eklund
• [FOM] Is mathematical realism compatible with classical reasoning?   Patrik Eklund
• [FOM] Is mathematical realism compatible with classical reasoning?   Patrik Eklund
• [FOM] Reference request for category-theoretic presentation of forcing   Christian Espindola
• [FOM] Axiomatic Thinking in Lisbon   Fernando Ferreira
• [FOM] Call for papers LATIN 2018   Santiago Figueira
• [FOM] 766: Large Cardinals and Emulations/45   Harvey Friedman
• [FOM] Digital Display Expansion   Harvey Friedman
• [FOM] Is mathematical realism compatible with classical reasoning?   Andre Kornell
• [FOM] Is mathematical realism compatible with classical reasoning?   Andre Kornell
• [FOM] Is mathematical realism compatible with classical reasoning?   Andre Kornell
• [FOM] Is mathematical realism compatible with classical reasoning?   Andre Kornell
• [FOM] Is mathematical realism compatible with classical reasoning?   Andre Kornell
• [FOM] Could it be that a "typical" Diophantine set is computable?   Kreinovich, Vladik
• [FOM] Reference request for category-theoretic presentation of forcing   Robert Lubarsky
• [FOM] Is mathematical realism compatible with classical reasoning?   Colin McLarty
• [FOM] Could it be that a "typical" Diophantine set is computable?   Todd Rowland
• [FOM] Reference request for category-theoretic presentation of forcing   Urs Schreiber
• [FOM] CfP - Proof Theory @ Unilog 2018   Peter Schroeder-Heister
• [FOM] Reference request for category-theoretic presentation of forcing   Noah Schweber
• [FOM] Could it be that a "typical" Diophantine set is computable?   Joe Shipman
• [FOM] Projective Determinacy and Finite Structures   Dmytro Taranovsky
• [FOM] Reference request for category-theoretic presentation of forcing   Alasdair Urquhart
• [FOM] CFA - SotFoM4: Reverse Mathematics, Munich, 9-11 October 2017   John Wigglesworth
• [FOM] A PRIZE OF LOGIC IN EVERY COUNTRY !   jean-yves beziau
• [FOM] VICHY JUNE 2018 - UNIVERSAL LOGIC - WORLD CONGRESS AND SCHOOL   jean-yves beziau
• [FOM] Is mathematical realism compatible with classical reasoning?   W.Taylor at math.canterbury.ac.nz
• [FOM] Is mathematical realism compatible with classical reasoning?   tchow
• [FOM] Is mathematical realism compatible with classical reasoning?   tchow

Last message date: Mon Jul 31 11:39:51 EDT 2017
Archived on: Mon Jul 31 20:30:27 EDT 2017

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