January 2008 Archives by thread

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

Starting: Tue Jan 1 00:49:43 EDT 2008
Ending: Thu Jan 31 22:31:20 EDT 2008
Messages: 211

• [FOM] The Minimal Model of ZF   joeshipman at aol.com
  • [FOM] The Minimal Model of ZF   joeshipman at aol.com
    • [FOM] The Minimal Model of ZF   Ilya Tsindlekht
      • [FOM] The Minimal Model of ZF   joeshipman at aol.com
      • [FOM] The Minimal Model of ZF   Ilya Tsindlekht
  • [FOM] The Minimal Model of ZF   Ilya Tsindlekht
    • [FOM] The Minimal Model of ZF   joeshipman at aol.com
• [FOM] Logic packages   Thomas Forster
  • [FOM] Logic packages   Thomas Forster
  • [FOM] Logic packages   Steven Obua
  • [FOM] Logic packages   Jesse Alama
    • [FOM] Logic packages   Jesse Alama
    • [FOM] Logic packages   Richard Zach
• [FOM] Formalization Thesis vs Formal nature of mathematics   Alex Blum
• [FOM] Your moderator is a movie star!   Martin Davis
• [FOM] Formalization Thesis vs Formal nature of mathematics   Vladimir Sazonov
  • [FOM] Formalization Thesis vs Formal nature of mathematics   S. S. Kutateladze
• [FOM] Formalization Thesis vs Formal nature of mathematics   Vladimir Sazonov
• [FOM] Formalization Thesis   Andre.Rodin at ens.fr
• [FOM] Formalization Thesis vs Formal nature of mathematics   Vladimir Sazonov
  • [FOM] Formalization Thesis vs Formal nature of mathematics   Alex Blum
    • [FOM] CH and mathematics   Alex Blum
      • [FOM] CH and mathematics   Rupert McCallum
      • [FOM] CH and mathematics   Alex Blum
      • [FOM] CH and mathematics   Arnon Avron
      • [FOM] CH and mathematics   joeshipman at aol.com
      • [FOM] CH and mathematics   Arnon Avron
      • [FOM] CH and mathematics   joeshipman at aol.com
      • [FOM] CH and mathematics   Arnon Avron
      • [FOM] CH and mathematics   James Hirschorn
      • [FOM] CH and mathematics   Arnon Avron
      • [FOM] CH and mathematics   Charles Silver
      • [FOM] CH and mathematics   Alex Blum
• [FOM] Formalization Thesis   Timothy Y. Chow
  • [FOM] Formalization Thesis   messing
    • [FOM] Formalization Thesis   Andre.Rodin at ens.fr
• [FOM] Formalization Thesis   catarina dutilh
  • [FOM] Formalization Thesis   joeshipman at aol.com
    • [FOM] Formalization Thesis   Andrew Boucher
    • [FOM] Formalization Thesis   Andrej Bauer
      • [FOM] Formalization Thesis   Andre.Rodin at ens.fr
      • [FOM] Formalization Thesis   messing
      • [FOM] Formalization Thesis   Andre.Rodin at ens.fr
      • [FOM] Formalization Thesis   Wojtek Moczydlowski
      • [FOM] Formalization Thesis   Freek Wiedijk
      • [FOM] Formalization Thesis   Andrej Bauer
      • [FOM] Formalization Thesis   hendrik at topoi.pooq.com
      • [FOM] Formalization Thesis   joeshipman at aol.com
      • [FOM] Formalization Thesis   Freek Wiedijk
      • [FOM] Formalization Thesis   Andrej Bauer
      • [FOM] Formalization Thesis   Freek Wiedijk
    • [FOM] Formalization Thesis   giovanni sambin
    • [FOM] Formalization Thesis   Wojtek Moczydlowski
    • [FOM] Formalization Thesis   Freek Wiedijk
      • [FOM] Formalization Thesis   hendrik at topoi.pooq.com
      • [FOM] Formalization Thesis   Robert L Knighten
    • [FOM] Formalization Thesis   Larry Stout
      • [FOM] Formalization Thesis   Vaughan Pratt
• [FOM] Formalization Thesis - questions   catarina dutilh
  • [FOM] Formalization Thesis   Charles Silver
• [FOM] The Hebrew-English Thesis   Arnon Avron
  • [FOM] The Hebrew-English Thesis   jaN.
  • [FOM] The Hebrew-English Thesis   Thomas Forster
• [FOM] Formalization Thesis - questions   Vladimir Sazonov
• [FOM] The Hebrew-English Thesis   catarina dutilh
• [FOM] The Natural Language Thesis   Arnon Avron
• [FOM] Understanding Wittgenstein's Notoriou s Paragraph based on Intuitionism   庄朝晖
• [FOM] CiE08 - Extended Deadline   Arnold Beckmann
• [FOM] Formalization Thesis vs Formal nature of mathematics   Vladimir Sazonov
• [FOM] Formalization Thesis   Timothy Y. Chow
• [FOM] Formalization Thesis   Jesse Alama
• [FOM] Formalization Thesis   Vladimir Sazonov
• [FOM] CFP - The 1st International Workshop on Bit-Precise Reasoning (BPR 2008)   Workshop BPR
• [FOM] The Minimal Model of ZF   Ilya Tsindlekht
• [FOM] Formalization Thesis   Vladimir Sazonov
  • [FOM] Formalization Thesis   Andre.Rodin at ens.fr
  • [FOM] Formalization Thesis   James Hirschorn
    • [FOM] Simply Typed Lambda Calculus   Steven Obua
      • [FOM] Simply Typed Lambda Calculus   immanuel litzroth
      • [FOM] Simply Typed Lambda Calculus   Steven Obua
      • [FOM] Simply Typed Lambda Calculus   immanuel litzroth
      • [FOM] Simply Typed Lambda Calculus   Chad E Brown
      • [FOM] Simply Typed Lambda Calculus   Steven Obua
• [FOM] Formalization Thesis   catarina dutilh
• [FOM] Formalization Thesis   Andre.Rodin at ens.fr
  • [FOM] Final object as colimit   Robert L Knighten
• [FOM] Historical Queries on AC   joeshipman at aol.com
  • [FOM] Historical Queries on AC   Thomas Forster
  • [FOM] Historical Queries on AC   Alasdair Urquhart
• [FOM] shipman's challenge: the best defense   Gabriel Stolzenberg
  • [FOM] shipman's challenge: the best defense   joeshipman at aol.com
• [FOM] looking for help with terminology   Jesse Alama
• [FOM] Messing on isomorphism of categories   Colin McLarty
  • [FOM] Messing on isomorphism of categories   messing
• [FOM] shipman's challenge: the best defense   Vladimir Sazonov
• [FOM] Tarski universes vs Grothendieck universes (correction)   joeshipman at aol.com
• [FOM] Extended Formalization Thesis   A. Mani
• [FOM] Hersh on Flyspeck   Timothy Y. Chow
  • [FOM] Hersh on Flyspeck   Tjark Weber
  • [FOM] Hersh on Flyspeck   Steven Obua
  • [FOM] Hersh on Flyspeck   Jesse Alama
• [FOM] Formalization Thesis   Timothy Y. Chow
  • [FOM] Formalization Thesis   Andrew Boucher
    • [FOM] Formalization Thesis   Timothy Y. Chow
      • [FOM] Formalization Thesis   Freek Wiedijk
    • [FOM] Formalization Thesis   Freek Wiedijk
• [FOM] Two remarks on the Formalization Thesis   Timothy Y. Chow
• [FOM] Small Types Workshop: Russell'08   Ulrich Berger
• [FOM] Formalization Thesis   Vladimir Sazonov
  • [FOM] Formalization Thesis   Ron Rood
  • [FOM] Formalization Thesis   James Hirschorn
• [FOM] Formalization Thesis   Aatu Koskensilta
• [FOM] Congress ULTRAMATH2008 - 1st announcement   dinasso at dm.unipi.it
• [FOM] FOM Messing on isomorphism of categories (messing)   Colin McLarty
• [FOM] shipman's challenge: the best defense   catarina dutilh
• [FOM] 3WFTop proceedings: EXTENDED DEADLINE 29 Feb 2008   Peter Schuster
• [FOM] Carnegie Mellon Summer School in Logic and Formal Epistemology   Jeremy Avigad
• [FOM] shipman's challenge: the best defense   Vladimir Sazonov
• [FOM] The second announcement of conference on computability, complexity and randomness   Liang Yu
• [FOM] Joint Events in Logic (Paraty, RJ, Brazil- May 2008): Deadline Extension   carniell at cle.unicamp.br
• [FOM] Hersh on Flyspeck   Dana Scott
• [FOM] ESARM Workshop CFP   by way of Martin Davis <martin at eipye.com>
• [FOM] Poincaré Conjecture   Apostolos Syropoulos
  • Re: [FOM] Poincaré Conjecture   joeshipman at aol.com
• [FOM] The Natural Language Thesis   Joao Marcos
  • [FOM] The Natural Language Thesis   hendrik at topoi.pooq.com
  • [FOM] The Natural Language Thesis and Formalization   andre rodin
• [FOM] 315: Pi01 Incompleteness/Digraphs/#2   Harvey Friedman
• [FOM] FW: TMFCS-08 Final Call for papers   PromoteResearch
• [FOM] Formalization Thesis   Bill Taylor
  • [FOM] Formalization Thesis   Arnon Avron
    • [FOM] Formalization Thesis   Vaughan Pratt
  • [FOM] Formalization Thesis   Vaughan Pratt
• [FOM] CH and mathematics   Bill Taylor
  • [FOM] CH and mathematics   Thomas Forster
  • [FOM] CH and mathematics   Benjamin
  • [FOM] Does consistency imply existence? (Was: CH and mathematics)   Benjamin
• [FOM] WoLLIC 2008 - Call for Papers   by way of Martin Davis <martin at eipye.com>
• [FOM] Why rigour and formalization?   Vladimir Sazonov
• [FOM] on the formal nature of mathematics   Vladimir Sazonov
• [FOM] ULTRAMATH 2008 - Call for papers   dinasso at dm.unipi.it
• [FOM] CH and mathematics   Neil Tennant
  • [FOM] CH and mathematics   Alex Blum
    • [FOM] CH and mathematics   hendrik at topoi.pooq.com
• [FOM] Formalization Thesis   Bill Taylor
  • [FOM] Formalization Thesis   Vaughan Pratt
• [FOM] ch consistency and existence   Mark Lance
• [FOM] CH and mathematics   Bill Taylor
  • [FOM] CH and mathematics   joeshipman at aol.com
    • [FOM] CH and mathematics   Vaughan Pratt
      • [FOM] CH and mathematics   joeshipman at aol.com
• [FOM] CH and mathematics   Staffan Angere
• [FOM] Height and Width of the universe   joeshipman at aol.com
  • [FOM] Height and Width of the universe   Ilya Tsindlekht
• [FOM] Formalization Thesis   Kaveh Ghasemloo
• [FOM] Height and Width of the universe   Colin McLarty
• [FOM] CH and mathematics   Vladimir Sazonov
  • [FOM] CH and mathematics   joeshipman at aol.com
    • [FOM] CH and mathematics   joeshipman at aol.com
      • [FOM] CH and mathematics   Alex Blum
      • [FOM] CH and mathematics   Charles Silver
    • [FOM] CH and mathematics   Roger Bishop Jones
• [FOM] CH and mathematics   Bill Taylor
  • [FOM] CH and mathematics   James Hirschorn
• [FOM] CSL 2008 - first call for papers   Ugo Dal Lago
• [FOM] CH and mathematics   Timothy Y. Chow
• [FOM] The Minimal Model of ZF   Steven Gubkin
  • [FOM] The Minimal Model of ZF   hendrik at topoi.pooq.com
• [FOM] The Natural Language Thesis and Formalization   Steven Gubkin
  • [FOM] The Natural Language Thesis and Formalization   messing
    • [FOM] The Natural Language Thesis and Formalization   Vaughan Pratt
  • [FOM] The Natural Language Thesis and Formalization   Arnon Avron
• [FOM] TMFCS-08 Final Call for papers   John Edward
• [FOM] CH and mathematics   Timothy Y. Chow
  • [FOM] CH and mathematics   Alasdair Urquhart
    • [FOM] CH and mathematics   hendrik at topoi.pooq.com
      • [FOM] CH and mathematics   joeshipman at aol.com
• [FOM] CH and mathematics   Bill Taylor
• [FOM] Summer School and Conference "Mathematics, Algorithms, and Proofs"   Jesper Carlström
• [FOM] 316: Shift Theorems   Harvey Friedman
• [FOM] The Natural Language Thesis and Formalization   Timothy Y. Chow
  • [FOM] The Natural Language Thesis and Formalization   hendrik at topoi.pooq.com
• [FOM] Formalization Thesis   Timothy Y. Chow
  • [FOM] Formalization Thesis   joeshipman at aol.com
• [FOM] 6th International Summer School in Formal Languages andApplications   carlos.martin at urv.cat
• [FOM] Question about Congruence   hdeutsch at ilstu.edu
  • [FOM] Question about Congruence   Vaughan Pratt
• [FOM] Platonists and large cardinals   Andreas Blass
• [FOM] CH and mathematics32   Timothy Y. Chow
  • [FOM] CH and mathematics32   James Hirschorn
• [FOM] SMT 2008: CFP   Clark Barrett
• [FOM] Is CH vague?   Martin Davis
  • [FOM] Is CH vague?   joeshipman at aol.com
  • [FOM] Is CH vague?   Arnon Avron
    • [FOM] Is CH vague?   Alex Blum
• [FOM] The Reasoner 2(2) available for download   Jon Williamson
• [FOM] Question about Congruence   hdeutsch at ilstu.edu
  • [FOM] Question about Congruence   hdeutsch at ilstu.edu
  • [FOM] Question about Congruence   A. Mani
  • [FOM] Question about Congruence   Vaughan Pratt
  • [FOM] Question about Congruence   Andrej Bauer
• [FOM] FW: International Conference on Non-Archimedean Analysis   Kreinovich, Vladik
• [FOM] Platonists and large cardinals   Timothy Y. Chow
• [FOM] 317: Polynomials and PA   Harvey Friedman
• [FOM] Re Harvey's "nonconstructive proofs."   Gabriel Stolzenberg
• [FOM] correction to 'constructive cauchy'   Gabriel Stolzenberg
• [FOM] Is CH vague?   laureano luna
  • [FOM] Is CH vague?   joeshipman at aol.com
• [FOM] IJCAR, last Call for Papers   by way of Martin Davis <martin at eipye.com>
• [FOM] reply to shipman: countably uncomfortable   Gabriel Stolzenberg
  • [FOM] reply to shipman: countably uncomfortable   Vaughan Pratt

Last message date: Thu Jan 31 22:31:20 EDT 2008
Archived on: Wed Jan 28 17:57:50 EDT 2009

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