April 2010 Archives by thread

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

Starting: Thu Apr 1 12:25:56 EDT 2010
Ending: Fri Apr 30 17:49:56 EDT 2010
Messages: 188

• [FOM] 408: Kernel Tower Theory 2   Harvey Friedman
  • [FOM] 408: Kernel Tower Theory 2   pax0 at seznam.cz
    • [FOM] 408: Kernel Tower Theory 2   Harvey Friedman
• [FOM] Did Goedel's result come as a surprise to Bertrand Russell   Irving
• [FOM] MSFP: last call for papers   Venanzio Capretta
• [FOM] Did G?del's result come as a surprise to Bertrand Russell?   Alasdair Urquhart
  • [FOM] Did G?del's result come as a surprise to Bertrand Russell?   Vaughan Pratt
    • [FOM] Russell and Skolem's paradox   Alasdair Urquhart
    • [FOM] Global Choice   T.Forster at dpmms.cam.ac.uk
      • [FOM] Global Choice   Aatu Koskensilta
      • [FOM] Global Choice   Robert Solovay
      • [FOM] Global Choice   T.Forster at dpmms.cam.ac.uk
      • [FOM] Global Choice   Thomas Forster
• [FOM] Animated Proofs   Jon Awbrey
  • [FOM] Animated Proofs   Charles Silver
    • [FOM] Animated Proofs   Jon Awbrey
• [FOM] Workshop Definability in Number Theory   Jeroen Demeyer
• [FOM] Turing machines and subrecursion theory   georgba at math.uio.no
• [FOM] 408: Kernel Tower Theory 2   Timothy Y. Chow
• [FOM] Did G?del's result come as a surprise to Bertrand Russell?   Alasdair Urquhart
• [FOM] 409: Kernel Tower Theory 3   Harvey Friedman
• [FOM] SMT-COMP 2010   Clark Barrett
• [FOM] Russell and Skolem's paradox   G Aldo Antonelli
  • [FOM] Russell and Skolem's paradox   Alasdair Urquhart
• [FOM] Formalizing "objective" mathematics   Paul Budnik
• [FOM] Global Choice   Ali Enayat
• [FOM] Did Goedel's result come as a surprise to Bertrand?   Irving
  • [FOM] Fwd: Did Goedel's result come as a surprise to Bertrand?   joeshipman at aol.com
• [FOM] WST 2nd CFP (July 14 - 15, 2010, Edinburgh)   Georg Moser
• [FOM] Chu Spaces and Music (Ircam, Paris, Friday April 9)   Andreatta Moreno
• [FOM] Workshop on Logic and Computational Complexity (LCC 2010)   Martin Davis
• [FOM] CFP: 4th Indian Conference on logic and its Applications, January 9-11, 2011, New Delhi, India (ICLA 2011)   Sujata Ghosh
• [FOM] negation as a non-primitive logical constant   Joao Marcos
  • [FOM] negation as a non-primitive logical constant   Alasdair Urquhart
    • [FOM] negation as a non-primitive logical constant   Jon Awbrey
• [FOM] Global Choice   Ali Enayat
• [FOM] 410: Kernel Function Theory 1   Harvey Friedman
• [FOM] Second-order choice principles   Øystein Linnebo
• [FOM] PHILMATH INTERSEM 2010   Andre.Rodin at ens.fr
• [FOM] 411: Free Generation Theory 1   Harvey Friedman
• [FOM] Global Choice, Again   Ali Enayat
• [FOM] counterexamples to the computable Bolzano-Weierstrass theorem   Alexander Kreuzer
• [FOM] intuitionism and the liar paradox   Nik Weaver
  • [FOM] intuitionism and the liar paradox   Panu Raatikainen
  • [FOM] intuitionism and the liar paradox   Nik Weaver
    • [FOM] intuitionism and the liar paradox   Charles Silver
    • [FOM] intuitionism and the liar paradox   Panu Raatikainen
    • [FOM] intuitionism and the liar paradox   Nik Weaver
      • [FOM] Platonism, and Nik Weaver's take on ZFC   Nik Weaver
• [FOM] Negation as a non-primitive logical constant   Irving
• [FOM] Strongly Minimal and Minimal Structures.   Jizhan Hong
  • [FOM] Strongly Minimal and Minimal Structures.   Jizhan Hong
• [FOM] 412: Local Basis Construction Theory 1   Harvey Friedman
  • [FOM] 413: Local Basis Construction Theory 2   Harvey Friedman
• [FOM] Logicomix   Timothy Y. Chow
  • [FOM] Logicomix   ravi
  • [FOM] Logicomix and intuitionistic truth   Vaughan Pratt
    • [FOM] Logicomix and intuitionistic truth   Panu Raatikainen
  • [FOM] Logicomix   joeshipman at aol.com
  • [FOM] Logicomix   Staffan Angere
    • [FOM] Logicomix   Charles Silver
      • [FOM] Logicomix   Alasdair Urquhart
      • [FOM] Logicomix   Vaughan Pratt
      • [FOM] Logicomix   Richard Zach
      • [FOM] Logicomix   Charles Silver
      • [FOM] Logicomix   sambin at math.unipd.it
      • [FOM] Logicomix   Sara L. Uckelman
    • [FOM] Logicomix   Bill Greenberg
• [FOM] LaTeX (not just for) for Logicians   Peter Smith
• [FOM] Strongly Minimal and Minimal Structures   Dave Marker
• [FOM] Conjectures on Number Theory.   Jizhan Hong
• [FOM] LInk to Unprovability talk   Harvey Friedman
• [FOM] Automatheo 2010 at FLoC: Final Call for Papers, Talks, and System Demonstrations   Lucas Dixon
• [FOM] Clean tautologies   Lucas Kruijswijk
  • [FOM] Clean tautologies   Robin Adams
    • [FOM] Clean tautologies   Lucas Kruijswijk
  • [FOM] Clean tautologies   A. Mani
• [FOM] intuitionism and the liar paradox   Nik Weaver
• [FOM] : Logicomix   Irving
• [FOM] Logicomix   Paolo Mancosu
• [FOM] Logicomix   Timothy Y. Chow
• [FOM] strongly minimal and minimal structures   Dave Marker
• [FOM] intuitionism and the liar paradox   Daniel Méhkeri
• [FOM] Falsify Platonism?   Bill Taylor
  • [FOM] Falsify Platonism?   Brian Hart
    • [FOM] Falsify Platonism?   David Auerbach
    • [FOM] Falsify Platonism?   joeshipman at aol.com
    • [FOM] Falsify Platonism?   meskew at math.uci.edu
  • [FOM] Falsify Platonism?   Nick Nielsen
    • [FOM] Falsify Platonism?   Monroe Eskew
      • [FOM] Falsify Platonism?   hendrik at topoi.pooq.com
      • [FOM] Falsify Platonism?   Arnold Neumaier
      • [FOM] quantum logic   Antonino Drago
  • [FOM] Falsify Platonism?   Jon Awbrey
  • [FOM] Falsify Platonism?   Richard Heck
    • [FOM] Falsify Platonism?   W.Taylor at math.canterbury.ac.nz
      • [FOM] Falsify Platonism?   Richard Heck
      • [FOM] Falsify Platonism?   Julian Rohrhuber
      • [FOM] Falsify Platonism?   Monroe Eskew
      • [FOM] Falsify Platonism?   W.Taylor at math.canterbury.ac.nz
      • [FOM] Falsify Platonism?   Al Bernstein
  • [FOM] Falsify Platonism?   Staffan Angere
  • [FOM] Falsify Platonism?   hendrik at topoi.pooq.com
• [FOM] Logicomix   Apostolos Syropoulos
• [FOM] clean tautologies   Neil Tennant
• [FOM] Topological framework for priority methods   Andrej Bauer
• [FOM] Falsify Platonism?   Timothy Y. Chow
• [FOM] 414: Integer Decomposition Theory   Harvey Friedman
• [FOM] Falsify Platonism   Richard Pollack
  • [FOM] Falsify Platonism   Brian Hart
    • [FOM] Falsify Platonism   Alex Blum
    • [FOM] Falsify Platonism   Nick Nielsen
      • [FOM] Falsify Platonism   Charles Silver
      • [FOM] Platonism and Progress in Philosophy   Jon Awbrey
      • [FOM] Platonism and Progress in Philosophy   Robert Lindauer
      • [FOM] Platonism and Progress in Philosophy   Jon Awbrey
  • [FOM] Falsify Platonism   W.Taylor at math.canterbury.ac.nz
  • [FOM] Falsify Platonism   W.Taylor at math.canterbury.ac.nz
• [FOM] CfP ECAI-10 workshop ARCOE   Ivan José Varzinczak
• [FOM] Foreman's preface to HST   Marc Alcobé
  • [FOM] Foreman's preface to HST   joeshipman at aol.com
    • [FOM] Foreman's preface to HST   Marc Alcobé
      • [FOM] Foreman's preface to HST   joeshipman at aol.com
      • [FOM] Foreman's preface to HST   Roger Bishop Jones
      • [FOM] Foreman's preface to HST   Monroe Eskew
      • [FOM] Foreman's preface to HST   Roger Bishop Jones
      • [FOM] Foreman's preface to HST   Marc Alcobé
      • [FOM] Foreman's preface to HST   A. Mani
      • [FOM] Foreman's preface to HST   joeshipman at aol.com
    • [FOM] Foreman's preface to HST   Monroe Eskew
      • [FOM] Foreman's preface to HST   joeshipman at aol.com
• [FOM] CST=NF   Zuhair Abdul Ghafoor Al-Johar
• [FOM] 415: Integer Decomposition Theory 2   Harvey Friedman
  • [FOM] 416: Integer Decomposition Theory 3   Harvey Friedman
  • [FOM] 417: Integer Decomposition Theory 4   Harvey Friedman
  • [FOM] 418: Integer Decomposition Theory 5   Harvey Friedman
• [FOM] Falsification of Platonism   Daniel Méhkeri
  • [FOM] Falsification of Platonism   Lucas Kruijswijk
    • [FOM] Falsification of Platonism   rgheck
• [FOM] Falsify Platonism?   Timothy Y. Chow
  • [FOM] Falsify Platonism?   rgheck
    • [FOM] Falsify Platonism?   Timothy Y. Chow
      • [FOM] Falsify Platonism?   Roger Bishop Jones
      • [FOM] Falsify Platonism?   Markus Pantsar
      • [FOM] Falsify Platonism?   rgheck
      • [FOM] Falsify Platonism?   Timothy Y. Chow
  • [FOM] Consequence of PA inconsistency   Harvey Friedman
• [FOM] Falsify Platonism?   Daniel Méhkeri
• [FOM] Platonism, and Nik Weaver's take on ZFC   Tom Dunion
  • [FOM] Platonism, and Nik Weaver's take on ZFC   Robert Solovay
• [FOM] Consequence of PA inconsistency   Timothy Y. Chow
  • [FOM] Consequence of PA inconsistency   Harvey Friedman
• [FOM] Initial MALOA Training Workshop September 2010, Fischbachau   Peter Schuster
• [FOM] Falsify Platonism?   Timothy Y. Chow
  • [FOM] Platonism and metamathematics   Vaughan Pratt
• [FOM] LSFA 2010 - Call For Papers   Joao Marcos
• [FOM] elementary references on foundations of math and science   John Baldwin
  • [FOM] elementary references on foundations of math and science   Marc Alcobé
    • [FOM] elementary references on foundations of math and science   Marc Alcobé
• [FOM] Falsify Platonism?   Timothy Y. Chow
  • [FOM] Falsify Platonism?   rgheck
    • [FOM] Falsify Platonism?   Andre.Rodin at ens.fr
      • [FOM] Falsify Platonism?   Lucas Kruijswijk
      • [FOM] Falsify Platonism?   Jon Awbrey
      • [FOM] Falsify Platonism?   Vaughan Pratt
      • [FOM] Falsify Platonism?   Oran Magal
      • [FOM] Falsify Platonism?   Jon Awbrey
  • [FOM] Falsify Platonism?   Roger Bishop Jones
• [FOM] Platonism, and Nik Weaver's take on ZFC   Timothy Y. Chow
• [FOM] Falsify Platonism?   Daniel Méhkeri
• [FOM] Journal of Logic and Analysis   Cutland
• [FOM] FOM thread on MathOverflow   Olivier Gerard
  • [FOM] FOM Threads On MOF   Jon Awbrey
• [FOM] Falsify Platonism   Colin McLarty
• [FOM] Falsify Platonism   Irving
• [FOM] Falsify Platonism?   Timothy Y. Chow
• [FOM] Falsify Platonism?   Timothy Y. Chow
  • [FOM] Falsify Platonism?   rgheck
• [FOM] Consequence of PA inconsistency   Timothy Y. Chow
  • [FOM] Consequence of PA inconsistency   Arnon Avron
• [FOM] Primitive symbols in the theory of real closed fields   Rafael Grimson
  • [FOM] Primitive symbols in the theory of real closed fields   Andre Platzer
• Re: [FOM] Falsify Platonism‏‏   James M
• [FOM] Falsify Platonism?   Andrej Bauer
  • [FOM] Falsify Platonism?   Vaughan Pratt
• [FOM] Re: Falsify Platonism?   Andrej Bauer
• [FOM] Wittgenstein's analysis on Cantor's diagonal method   Chaohui Zhuang
• [FOM] What does Peano arithmetic have to offer?   Martin Davis

Last message date: Fri Apr 30 17:49:56 EDT 2010
Archived on: Sat May 1 15:59:13 EDT 2010

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