July 2012 Archives by thread

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

Starting: Sun Jul 1 12:07:28 EDT 2012
Ending: Mon Jul 30 21:36:21 EDT 2012
Messages: 73

• [FOM] Grothendieck foundations, fragment in second order arithmetic   Colin McLarty
• [FOM] LLP special issue on point-free systems of geometry and topology - deadline extension   Rafał Gruszczyński
• [FOM] Second CfP: Turing in context II -- Brussels, 10-12 October 2012   gprimiero at libero.it
• [FOM] formalisation vs foundation   Gergely Buday
  • [FOM] Formalisation vs Foundation   Jon Awbrey
• [FOM] The Diagonalization Lemma (historical qn)   Peter Smith
  • [FOM] The Diagonalization Lemma (historical qn)   Harry Deutsch
    • [FOM] The Diagonalization Lemma (historical qn)   Harry Deutsch
      • [FOM] The Diagonalization Lemma (historical qn)   Harry Deutsch
      • [FOM] The Diagonalization Lemma (historical qn)   Harry Deutsch
• [FOM] 2nd Call for Papers "Numbers and Truth"   Fredrik Engström
• [FOM] Two Postdoc positions available at Ghent University   Albrecht Heeffer
• [FOM] Short or very short Gôdel codes, anyone?   Frode Bjørdal
  • [FOM] Short or very short Gôdel codes, anyone?   Richard Heck
  • [FOM] Short or very short Gôdel codes, anyone?   joeshipman at aol.com
    • [FOM] Short or very short Gôdel codes, anyone?   Frode Bjørdal
      • [FOM] Short or very short Gôdel codes, anyone?   Hendrik Boom
      • [FOM] Short or very short Gôdel codes, anyone?   Paul Tarau
      • [FOM] Short or very short Gôdel codes, anyone?   Richard Heck
      • [FOM] Short or very short Gôdel codes, anyone?   Paul Tarau
      • [FOM] Short or very short Gôdel codes, anyone?   Frode Bjørdal
    • [FOM] Short or very short Gôdel codes, anyone?   Hendrik Boom
  • [FOM] Short or very short Gôdel codes, anyone?   jean paul van bendegem
    • [FOM] Short or very short Gôdel codes, anyone?   Frode Bjørdal
• [FOM] ACA   pax0 at seznam.cz
• [FOM] Is logic prescriptive or descriptive?   ARF (Richard L. Epstein)
  • [FOM] Is logic prescriptive or descriptive?   Cristian Cocos
  • [FOM] Is logic prescriptive or descriptive?   Jon Awbrey
    • [FOM] Is logic prescriptive or descriptive?   Jon Awbrey
• [FOM] First announcement of "Konstanz-Naples Model Theory Days" (Konstanz, 6-8 December 2012)   carl at math.uni-bonn.de
• [FOM] Wildberger on Foundations   joeshipman at aol.com
  • [FOM] Wildberger on Foundations   Arnon Avron
    • [FOM] Wildberger on Foundations   Craig Smorynski
      • [FOM] Wildberger on Foundations   Joe Shipman
      • [FOM] Wildberger on Foundations   elliott mendelson
      • [FOM] Wildberger on Foundations   Craig Smorynski
• [FOM] FOM: Is logic prescriptive or descriptive?   Irving Anellis
  • [FOM] FOM: Is logic prescriptive or descriptive?   Sara L. Uckelman
• [FOM] A very short coding   Frode Bjørdal
  • [FOM] A very short coding   Richard Heck
• [FOM] Turing Centenary Research Project "Mind, Mechanism and Mathematics"   S Barry Cooper
• [FOM] Infinitesimals   Sam Sanders
  • [FOM] Infinitesimals   Jay Sulzberger
  • [FOM] Infinitesimals   lem
  • [FOM] Infinitesimals   Antonino Drago
  • [FOM] Infinitesimals   Hendrik Boom
• [FOM] CFP: 25 Years In Contradiction   GARETH JOHN YOUNG
• [FOM] Early registration deadline for First International Conference on Logic and Relativity   Gergely Székely
• [FOM] FOM Digest, Vol 115, Issue 15   Richard Pollack
• [FOM] Queen Mary University of London - 3 Lecturer Vacancies in Theoretical Computer Science   Paulo Oliva
• [FOM] Reverse Mathematics and underdetermination   Sam Sanders
  • [FOM] Reverse Mathematics and underdetermination   Marcin Mostowski
  • [FOM] Reverse Mathematics and underdetermination   Monroe Eskew
  • [FOM] Reverse Mathematics and underdetermination   Aatu Koskensilta
• [FOM] Scott's history of Lambda calculus for the Turing centennary   John Baldwin
• [FOM] wrong title and incomplete author name   Richard Pollack
  • [FOM] Raymond Wilder • Foundations of Mathematics   Jon Awbrey
• [FOM] LaTeX in Gmail   Abolfazl Karimi
• [FOM] Chatins Omega   pax0 at seznam.cz
• [FOM] More new axioms for set theory   MartDowd at aol.com
• [FOM] Special Issue TCS: Implicit Computational Complexity   Ugo Dal Lago
• [FOM] Georg Kreisel   Irving Anellis
• [FOM] Seeking a citation for ZF[0]   Colin McLarty
  • [FOM] Seeking a citation for ZF[0]   Zach McKenzie
• [FOM] Librationist Closures of Paradoxes   Frode Bjørdal
• [FOM] Infinity in etale cohomology   Colin McLarty
  • [FOM] Infinity in etale cohomology   David Roberts
• [FOM] Set theories mutually interpretable with n-th order arithmetic   Colin McLarty
• [FOM] Restricted powersets for all sets   Colin McLarty
  • [FOM] Restricted powersets for all sets   Colin McLarty
• [FOM] Etale cohomology in third order, how and why?   Colin McLarty
  • [FOM] Etale cohomology in third order, how and why?   John Baldwin
• [FOM] criteria for the existence of infinite models of FO theories   Andrei Popescu

Last message date: Mon Jul 30 21:36:21 EDT 2012
Archived on: Wed Aug 1 14:31:23 EDT 2012

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