February 2014 Archives by thread

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

Starting: Mon Feb 3 11:38:19 EST 2014
Ending: Fri Feb 28 16:27:40 EST 2014
Messages: 78

• [FOM] Sixth French Philosophy of Mathematics Workshop (FPMW 6), October 9-11, 2014, Toulouse (France)   Brice Halimi
• [FOM] CTFM 2014 -- updated information   Stephen G Simpson
  • [FOM] Sendai Logic School, co-located with CTFM 2014   Stephen G Simpson
• [FOM] Reference request: realizability interpretations for CZF   Anders Lundstedt
  • [FOM] Reference request: realizability interpretations for CZF   Robert Lubarsky
    • [FOM] Reference request: realizability interpretations for CZF   Oosten, J. van
• [FOM] CFP: Symposium on the Foundations of Mathematics, Kurt Gödel Research Center, University of Vienna.   Neil Barton
• [FOM] Fwd: categories: Midlands Graduate School 2014, Nottingham, UK   Paul B Levy
• [FOM] Last CFP: Abstractionism / Neo-Logicism (UConn Logic Group)   Rossberg, Marcus
• [FOM] question about Mendelson's Intro to Math Logic   Robert Lubarsky
  • [FOM] question about Mendelson's Intro to Math Logic   Arnon Avron
  • [FOM] question about Mendelson's Intro to Math Logic   Robert Solovay
  • [FOM] question about Mendelson's Intro to Math Logic   Paulo Oliva
  • [FOM] question about Mendelson's Intro to Math Logic   Robert Lubarsky
    • [FOM] question about Mendelson's Intro to Math Logic   Jeff Hirst
• [FOM] CCR 2014 Announcement   Veronica Becher
• [FOM] South American Journal of Logic   jean-yves beziau
• [FOM] Mendelson exercise (from Luigi Oliveri)   Martin Davis
  • [FOM] Mendelson exercise (from Luigi Oliveri)   Jeff Hirst
  • [FOM] Mendelson exercise (from Luigi Oliveri)   Arnon Avron
  • [FOM] Mendelson exercise (from Luigi Oliveri)   Robert Lubarsky
• [FOM] CFP: THE STUDENT SESSION OF THE THIRD EAST-ASIAN SCHOOL ON LOGIC, LANGUAGE AND COMPUTATION (EASLLC 2014)   jkennedy at mappi.helsinki.fi
• [FOM] Bases for vector spaces   T.Forster at dpmms.cam.ac.uk
• [FOM] Alternative foundations?   Victor Marek
  • [FOM] Alternative foundations?   David Roberts
    • [FOM] Alternative foundations?   Hendrik Boom
      • [FOM] Alternative foundations?   David Roberts
  • [FOM] Alternative foundations?   Michael Carroll
  • [FOM] Alternative foundations?   Jay Sulzberger
    • [FOM] Alternative foundations?   Carl Hewitt
      • [FOM] Alternative foundations?   Kreinovich, Vladik
      • [FOM] Alternative foundations?   Mitchell Spector
      • [FOM] Alternative foundations?   jkennedy at mappi.helsinki.fi
    • [FOM] FW: Alternative foundations?   Carl Hewitt
  • [FOM] Alternative foundations?   Staffan Angere
    • [FOM] Alternative foundations?   jkennedy at mappi.helsinki.fi
      • [FOM] Alternative foundations?   T.Forster at dpmms.cam.ac.uk
  • [FOM] Alternative foundations?   Kreinovich, Vladik
  • [FOM] Alternative Foundations?   Harvey Friedman
  • [FOM] Alternative foundations?   henk
    • [FOM] Alternative foundations?   meskew at math.uci.edu
      • [FOM] Alternative foundations?   Josef Urban
      • [FOM] Alternative foundations?   Christopher Menzel
      • [FOM] Alternative foundations?   Rob Arthan
    • [FOM] Alternative foundations?   Panu Raatikainen
    • [FOM] Computational set thery   Arnon Avron
    • [FOM] Alternative foundations?   Freek Wiedijk
  • [FOM] Alternative foundations?   Dustin Wehr
  • [FOM] Alternative foundations?   Harvey Friedman
    • [FOM] Alternative foundations?   henk
  • [FOM] Alternative foundations?   Timothy Y. Chow
  • [FOM] Computational set thery   Klaus Ebbe Grue
• [FOM] From John Steel (Mitchell meeting)   Martin Davis
• [FOM] An example in homotopy type theory   Kevin Watkins
  • [FOM] An example in homotopy type theory   Freek Wiedijk
• [FOM] FW: [Alternative foundations: confirmation from Edward Frenkel   Kreinovich, Vladik
• [FOM] Carnegie Mellon Summer School in Logic and Formal Epistemology   Jeremy Avigad
• [FOM] PhD Research Studentships   gprimiero at libero.it
• [FOM] CFP: 11th International Workshop on Boolean Problems (IWSBP'14)   Miroslav Velev
  • [FOM] CFP: 11th International Workshop on Boolean Problems (IWSBP'14)   Miroslav Velev
• [FOM] Alternative Foundations?/question   Harvey Friedman
• [FOM] Computational set theory   henk
  • [FOM] Computational set theory   Freek Wiedijk
• [FOM] General Purpose/Special Purpose   Harvey Friedman
  • [FOM] General Purpose/Special Purpose   MartDowd at aol.com
• [FOM] Objective mathematics in a finite unbounded universe   Paul Budnik
  • [FOM] Objective mathematics in a finite unbounded universe   Stephen P. King
• [FOM] Alternative Foundations/philosophical   Harvey Friedman
  • [FOM] Alternative Foundations/philosophical   Nick Nielsen
  • [FOM] Alternative Foundations/philosophical   Timothy Y. Chow
  • [FOM] Alternative Foundations/philosophical   joeshipman at aol.com
    • [FOM] Alternative Foundations/philosophical   Bas Spitters
  • [FOM] Alternative Foundations/philosophical   Jay Sulzberger
  • [FOM] Alternative Foundations/philosophical   Timothy Y. Chow
• [FOM] An attempt of a constructive proof for Takeuti Conjecture   Sandro Skansi
  • [FOM] An attempt of a constructive proof for Takeuti Conjecture   WILLIAM TAIT
• [FOM] Call for submissions: MSCS special Computable Analysis; EXTENSION OF DEADLINE   Dieter Spreen
• [FOM] Foundations Crucial   Harvey Friedman

Last message date: Fri Feb 28 16:27:40 EST 2014
Archived on: Sun Mar 2 17:34:39 EST 2014

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