July 2011 Archives by author

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

Starting: Fri Jul 1 18:48:31 EDT 2011
Ending: Sun Jul 31 12:05:16 EDT 2011
Messages: 81

• [FOM] CSL call for participation   Geoff Sutcliffe by way of Martin Davis <martin at eipye.com>
• [FOM] Questions about existence of big sets in Z and ZF   Zuhair Abdul Ghafoor Al-Johar
• [FOM] Numbers vs writhmetic. was: n-th order ZFC   Staffan Angere
• [FOM] Truth and existence   Staffan Angere
• [FOM] Numbers vs writhmetic. was: n-th order ZFC   Rob Arthan
• [FOM] Truth and existence   Arnon Avron
• [FOM] Convergent subsequences of sequences in [0,1]   Andrej Bauer
• [FOM] Domains X 2011: Call for Participation   Ulrich Berger
• [FOM] n-th order ZFC   Robert Black
• [FOM] n-th order ZFC   Robert Black
• [FOM] n-th order ZFC   Robert Black
• [FOM] CH and forcing   Andreas Blass
• [FOM] CH and forcing   Andreas Blass
• [FOM] CH and forcing   Andreas Blass
• [FOM] CH and forcing   Andreas Blass
• [FOM] Truth and existence   Alex Blum
• [FOM] Truth and existence   Alex Blum
• [FOM] CFP: AiML 2012   Thomas Bolander
• [FOM] CFP: AiML 2012   Thomas Bolander
• [FOM] Fwd: Has Principia Mathematic been formally verified   Hendrik Boom
• [FOM] CiE Newsletter No.49, July 17, 2011   Olivier Bournez
• [FOM] CH and forcing   Timothy Y. Chow
• [FOM] Has Principia Mathematica been formally verified?   Timothy Y. Chow
• [FOM] Has Principia Mathematica been formally verified?   Timothy Y. Chow
• [FOM] Has Principia Mathematica been formally verified?   Stephen Cook
• [FOM] COMPUTABILITY - The Journal of the Association CiE   S Barry Cooper
• [FOM] [CiE] CiE 2011 AGM minutes, and July update   S Barry Cooper
• [FOM] wandering into metaphysics   Martin Davis
• [FOM] Has Principia Mathematica been formally verified?   Martin Davis
• [FOM] CH and forcing   Ali Enayat
• [FOM] FOM vs MO   Ali Enayat
• [FOM] convergent subsequences   Fernando Jorge I Ferreira
• [FOM] Oberwolfach Seminar October 2011   Harvey Friedman
• [FOM] 468: Maximal Cliques/Incompleteness   Harvey Friedman
• [FOM] Has Principia Mathematica been formally verified?   Allen Hazen
• [FOM] Truth and existence   Richard Heck
• [FOM] Truth and existence   Richard Heck
• [FOM] JEAN VAN HEIJENOORT CENTENARY   Irving
• [FOM] FOM: Has Principia Mathematica been formally verified?   Irving
• [FOM] CH and forcing   Roger Bishop Jones
• [FOM] CH and forcing   Roger Bishop Jones
• [FOM] CH and forcing - counter claim   Roger Bishop Jones
• [FOM] CH and forcing   Roger Bishop Jones
• [FOM] n-th order ZFC   Roger Bishop Jones
• [FOM] n-th order ZFC   Roger Bishop Jones
• [FOM] n-th order ZFC   Roger Bishop Jones
• [FOM] n-th order ZFC   Roger Bishop Jones
• [FOM] n-th order ZFC   Roger Bishop Jones
• [FOM] Numbers vs writhmetic. was: n-th order ZFC   Roger Bishop Jones
• [FOM] n-th order ZFC   Roger Bishop Jones
• [FOM] cfp: Constructivism in and about mathematics   Bart Van Kerkhove
• [FOM] CH and forcing   Aatu Koskensilta
• [FOM] CH and forcing   Aatu Koskensilta
• [FOM] CH and forcing   Peter Krautzberger
• [FOM] LICS Newsletter 131   Kreutzer, Stephan
• [FOM] Master's in Logic and Theory of Science, application deadline August , 22   Andras Mate
• [FOM] Existence of natural numbers.   Daniel Mehkeri
• [FOM] Numbers vs writhmetic.   Daniel Mehkeri
• [FOM] Has Principia Mathematica been formally verified?   Marcin Mostowski
• [FOM] Has Principia Mathematica been formally verified?   Vaughan Pratt
• [FOM] TMC 2011 Call for Papers   Sandip Ray
• [FOM] CH and forcing   Robert Solovay
• [FOM] CH and forcing   Mitchell Spector
• [FOM] CH and forcing   Mitchell Spector
• [FOM] n-th order ZFC   William Tait
• [FOM] Has Principia Mathematica been formally verified?   Alasdair Urquhart
• [FOM] LATA 2012: 1st call for papers   "Carlos Martín Vide"
• [FOM] FSFLA 2011: 2nd announcement   "Carlos Martín Vide"
• [FOM] Has Principia Mathematica been formally verified?   Richard Zach
• [FOM] n-th order ZFC   lubarsky.robert at comcast.net
• [FOM] CH and forcing   lubarsky.robert at comcast.net
• [FOM] CH and forcing   d_obrien
• [FOM] n-th order ZFC   W.Taylor at math.canterbury.ac.nz
• [FOM] Numbers vs writhmetic. was: n-th order ZFC   W.Taylor at math.canterbury.ac.nz
• [FOM] Fwd: Has Principia Mathematic been formally verified   belinfan at math.gatech.edu
• [FOM] n-th order ZFC   meskew at math.uci.edu
• [FOM] n-th order ZFC   meskew at math.uci.edu
• [FOM] n-th order ZFC   meskew at math.uci.edu
• [FOM] n-th order ZFC   meskew at math.uci.edu
• [FOM] n-th order ZFC   pax0 at seznam.cz
• [FOM] Natural Topology (book announcement)   frank waaldijk

Last message date: Sun Jul 31 12:05:16 EDT 2011
Archived on: Sun Jul 31 12:30:36 EDT 2011

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