March 2010 Archives by thread

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

Starting: Mon Mar 1 11:13:28 EDT 2010
Ending: Wed Mar 31 19:14:52 EDT 2010
Messages: 95

• [FOM] LPAR-16 Short Papers - CFP   Geoff Sutcliffe by way of Martin Davis <martin at eipye.com>
• [FOM] Existence of algebraic closures of fields   Wesley Calvert
• [FOM] BEST 2010 - Second Announcement   Andres Caicedo
• [FOM] AMS Special Session on ''Interactions Between Logic, Topology, and Complex Analysis"   Professor Matt Insall
• [FOM] Existence of algebraic closures of fields   William Boshuck
• [FOM] Existence of algebraic closures of fields   jbell at uwo.ca
  • [FOM] Existence of algebraic closures of fields   Wesley Calvert
• [FOM] Infinity-2010: Call for papers (Submission deadline extended)   Infinity2010
• [FOM] 394: Free Reduction Theory 1   Harvey Friedman
• [FOM] [CiE] Newsletter No.29, March 2, 2010   CiE
• [FOM] (CFP) LRR10: LOGIC, REASONING AND RATIONALITY   Albrecht Heeffer
• [FOM] The Foundations of Logic and Apprehension   Steven Ericsson-Zenith
• [FOM] hilbert's proof   addamo at wp.pl
  • [FOM] hilbert's proof   Robert Knighten
    • [FOM] Hilbert's proof   Alasdair Urquhart
      • [FOM] Hilbert's proof   Stephen G Simpson
• [FOM] Existence of algebraic closures of fields   Dave Marker
• [FOM] 395 Free Reduction Theory 2   Harvey Friedman
• [FOM] 396: Free Reduction Theory 3   Harvey Friedman
• [FOM] question about intuitionistic set theory   jbell at uwo.ca
  • [FOM] question about intuitionistic set theory   Thomas Forster
  • [FOM] question about intuitionistic set theory corr. to my prev   Thomas Forster
• [FOM] 397: Free Reduction Theory 4   Harvey Friedman
• [FOM] Questions about a restricted ZF   Paul Budnik
• [FOM] 2011 Congress of Logic, Methodology, and Philosophy of Science   Andreas Blass
• [FOM] [CiE] Funding opportunity - Foundational Questions in the Mathematical Sciences   S Barry Cooper
• [FOM] Hilbert's proof   Colin McLarty
• [FOM] hilbert's proof   josef at us.es
• [FOM] 398: New Free Reduction Theory 1   Harvey Friedman
  • [FOM] 399: New Free Reduction Theory 2   Harvey Friedman
    • [FOM] 400: New Free Reduction Theory 3   Harvey Friedman
    • [FOM] 402: New Free Reduction Theory 5   Harvey Friedman
    • [FOM] 403: Set Equation Tower Theory 1   Harvey Friedman
      • [FOM] 404: Set Equation Tower Theory 2   Harvey Friedman
      • [FOM] 406: Set Equation Tower Theory 3   Harvey Friedman
      • [FOM] 407: Kernel Tower Theory 1   Harvey Friedman
    • [FOM] 405: Some Countable Model Theory 1   Harvey Friedman
  • [FOM] 401: New Free Reduction Theory 4   Harvey Friedman
• [FOM] Automatheo 2010 at FLoC: Call for Papers, Talks, and System Demonstrations   Lucas Dixon
• [FOM] LPAR-17 in Indonesia - Calls for Papers and Workshop Proposals   Geoff Sutcliffe by way of Martin Davis <martin at eipye.com>
• [FOM] query about Peter Koellner's thesis "The Search for New Axioms"   Rupert McCallum
• [FOM] CFP: LfSA'10 - Logics for System Analysis   Andre Platzer
• [FOM] Asian Initiative for Infinity Graduate Summer School in Logic: 28 June--23 July 2010, National University of Singapore   Chi Tat Chong
• [FOM] strong hypotheses and the theory of N   Monroe Eskew
  • [FOM] strong hypotheses and the theory of N   Monroe Eskew
  • [FOM] strong hypotheses and the theory of N   Harvey Friedman
    • [FOM] strong hypotheses and the theory of N   joeshipman at aol.com
      • [FOM] strong hypotheses and the theory of N   rgheck
      • [FOM] strong hypotheses and the theory of N   Aatu Koskensilta
  • [FOM] strong hypotheses and the theory of N   Aatu Koskensilta
• [FOM] Animated Proofs   Jon Awbrey
  • [FOM] Animated Proofs : Praeclarum Theorema   Jon Awbrey
• [FOM] New York Grad Student Logic Conference, May 7 - 8, 2010   Hamkins, Joel
• [FOM] Funding Opporunity   Harvey Friedman
• [FOM] Centenary of Principia Mathematica   Irving
• [FOM] Hilbert's proof   Timothy Y. Chow
• [FOM] counterexamples to the computable Bolzano-Weierstrass theorem   Alberto Marcone
• [FOM] strong hypotheses and the theory of N   Ali Enayat
• [FOM] [CiE] FP7 Marie Curie Individual Fellowship calls open for applications   CiE
• [FOM] [CiE] CiE 2010 - Call for Participation and Informal Presentations   CiE
• [FOM] Extension of Deadline & Grant Information: "Conference on Mathematical Logic and Set Theory", Chennai (India), 15-17 August 2010   Benedikt Loewe
• [FOM] Strong Hypotheses and the Theory of N   joeshipman at aol.com
• [FOM] Relevance of reverse mathematics to constructivity   Carl Mummert
  • [FOM] Relevance of reverse mathematics to constructivity   William Tait
  • [FOM] Relevance of reverse mathematics to constructivity   Vasco Brattka
• [FOM] CFP: DML 2010--Towards a Digital Mathematics Library, Paris, FR, Jul 7-8th   by way of Martin Davis <martin at eipye.com>
• [FOM] SET THEORY, CLASSICAL AND CONSTRUCTIVE: second announcement   Jaap van Oosten
• [FOM] strong hypotheses and the theory of N   Ali Enayat
• [FOM] CSL 2010 - 2nd Call for Papers   Geoff Sutcliffe by way of Martin Davis <martin at eipye.com>
• [FOM] Connection Set Theory   Zuhair Abdul Ghafoor Al-Johar
• [FOM] Relevance of reverse mathematics to constructivity   Daniel Méhkeri
  • [FOM] Relevance of reverse mathematics to constructivity   William Tait
• [FOM] ADDENDUM TO MEETING ANNOUNCEMENT   Juliette Kennedy
• [FOM] query about Peter Koellner's thesis   Rupert McCallum
• [FOM] Strong Hypotheses and the Theory of N   Robert Solovay
  • [FOM] Strong Hypotheses and the Theory of N   Richard Heck
• [FOM] "Connection set theory"   Randall Holmes
• [FOM] Call for Papers: 20th WADT (Workshop on Algebraic Development Techniques)   Till Mossakowski
• [FOM] Did Gödel's result come as a surprise to Bertrand Russell?   Rupert McCallum
  • Re: [FOM] Did Gödel's result come as a surprise to Bertrand Russell?   Charles Silver
    • Re: [FOM] Did Gödel's result come as a surprise to Bertrand Russell?   Thomas Forster
• [FOM] Strong Hypotheses and the Theory of N   Robert Solovay
  • [FOM] Strong Hypotheses and the Theory of N   rgheck
• [FOM] Relevance of reverse mathematics to constructivity   Daniel Méhkeri
• [FOM] CFP: From cognitive science and psychology to an empirically-informed philosophy of logic   catarina dutilh
• [FOM] HyLo 2010: Deadline extended till April 7   Thomas Bolander
• [FOM] Did G?del's result come as a surprise to Bertrand Russell?   Irving
  • [FOM] Did G?del's result come as a surprise to Bertrand Russell?   joeshipman at aol.com
  • [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?   hdeutsch at ilstu.edu
  • [FOM] Did G?del's result come as a surprise to Bertrand Russell?   Charles Silver
• [FOM] PLMMS 2010: Call for Demos   Lucas Dixon
• [FOM] Developments in Computational Models 2010 - EXTENDED DEADLINE!   S Barry Cooper
• [FOM] Post-Doctoral Position in Helsinki   Juliette Kennedy
• [FOM] The Reasoner 4(4) available for download   Jon Williamson

Last message date: Wed Mar 31 19:14:52 EDT 2010
Archived on: Thu Apr 1 18:31:33 EDT 2010

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