March 2014 Archives by author

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

Starting: Sat Mar 1 08:35:36 EST 2014
Ending: Mon Mar 31 12:38:27 EDT 2014
Messages: 56

• [FOM] Structure Theory as an alternative foundation.   Zuhair Abdul Ghafoor Al-Johar
• [FOM] The Axiom Scheme of Acyclic Comprehension   Zuhair Abdul Ghafoor Al-Johar
• [FOM] CfP: The Notion of Proof   Mr Jesse Adam Alama
• [FOM] Alternative Foundations/philosophical   Steve Awodey
• [FOM] Alternative Foundations/philosophical   Steve Awodey
• [FOM] Alternative Foundations/philosophical   Steve Awodey
• [FOM] alternative foundations?   John Baldwin
• [FOM] CFP: *Extended Deadline* Symposium on the Foundations of Mathematics, Kurt Gödel Research Center, University of Vienna, 7-8 July 2014.   Neil Barton
• [FOM] CCA 2014: Second Call for Papers   Vasco Brattka
• [FOM] BEST 2014, First Announcement   Andres Caicedo
• [FOM] Voevodsky talk on Univalent Foundations on March 26   Timothy Y. Chow
• [FOM] Foundations Crucial   Timothy Y. Chow
• [FOM] Alternative foundations/philosophical   Timothy Y. Chow
• [FOM] CiE 2014: Language, Life, Limits - Grants, and Call for Presentations   S B Cooper
• [FOM] Fwd: PAAR 2014 Call for Papers   Martin Davis
• [FOM] alternative foundations?   Martin Davis
• [FOM] JAF 33, FIRST ANNOUNCEMENT   Ali Enayat
• [FOM] Foundations Crucial   Monroe Eskew
• [FOM] Alternative Foundations/philosophical   Harvey Friedman
• [FOM] Alternative Foundations/philosophical   Harvey Friedman
• [FOM] Alternative Foundations/philosophical   Harvey Friedman
• [FOM] Foundational Links   Harvey Friedman
• [FOM] Midlands Graduate School in the Foundations of Computing Science - register by 21 March   Paul B Levy
• [FOM] Bounded Arithmetic sufficient for mutual interpretability result?   Rupert McCallum
• [FOM] precise consistency strength of the ramified Principia   Rupert McCallum
• [FOM] Foundations Crucial   Colin McLarty
• [FOM] Mathematical Depth Workshop, UC-Irvine, April 11th and 12th   Michael Bennett McNulty
• [FOM] NIP Summer School: Workshop on the Foundations of Logic and Mathematics   Toby Meadows
• [FOM] Alternative Foundations/philosophical   Dominic Mulligan
• [FOM] 9th Scandinavian Logic Symposium SLS'2014: 2nd announcement and call for submissions   Sara Negri
• [FOM] 2nd Call for Papers: Classical Logic & Computation 2014   Paulo Oliva
• [FOM] " Is there a book on the history of constructive thinking?"   Richard Pollack
• [FOM] Call for Abstracts: Minds and Machines special issue on Algorithmic Randomness   Christopher Porter
• [FOM] WoLLIC 2014 - Call for Papers (DEADLINE APPROACHING)   Ruy de Queiroz
• [FOM] WoLLIC 2014 - Call for Papers (DEADLINE APPROACHING)   Ruy de Queiroz
• [FOM] WoLLIC 2014 - Call for Papers (DEADLINE APPROACHING)   Ruy de Queiroz
• [FOM] Foundations Crucial   David Roberts
• [FOM] Alternative Foundations/philosophical   David Roberts
• [FOM] Fwd: Alternative Foundations/philosophical   Sam Sanders
• [FOM] alternative foundations?   Urs Schreiber
• [FOM] "Proof, Truth, Computation" Summer School 20-25 July 2014 Chiemsee   Peter Schuster
• [FOM] Correctness by Construction, Genoa, Italy, 24-27 March 2014   Peter Schuster
• [FOM] PSC 2014: Proof, Structure and Computation. Call for Papers   Peter Schuster
• [FOM] Alternative Foundations/philosophical   Joseph Shipman
• [FOM] alternative foundations?   Joseph Shipman
• [FOM] An attempt of a constructive proof for Takeuti Conjecture   Sandro Skansi
• [FOM] Alternative Foundations/philosophical   Bas Spitters
• [FOM] Is there a book on the history of constructive thinking?   Steve Stevenson
• [FOM] Vienna Summer of Logic: Call for Volunteers   Daniel Weller
• [FOM] Alternative Foundations/philosophical   Freek Wiedijk
• [FOM] latest new axiom   MartDowd at aol.com
• [FOM] alternative foundations?   MartDowd at aol.com
• [FOM] Release of Logica Universalis 1-8 2014   jean-yves beziau
• [FOM] Workshop on Numerosities and Infinity - Groningen   catarina dutilh
• [FOM] Alternative Foundations/philosophical   henk
• [FOM] Foundations Crucial   mernst at uci.edu

Last message date: Mon Mar 31 12:38:27 EDT 2014
Archived on: Mon Mar 31 17:32:28 EDT 2014

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