August 2013 Archives by thread

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

Starting: Thu Aug 1 00:43:52 EDT 2013
Ending: Sat Aug 31 23:17:23 EDT 2013
Messages: 98

• [FOM] Real and imaginary parts of algebraic numbers   Franklin
  • [FOM] Real and imaginary parts of algebraic numbers   Franklin
• [FOM] Ring Theory/Question   Thomas Kucera
• [FOM] Seeking sage advice on terminology   Nik Weaver
  • [FOM] Seeking sage advice on terminology   Frode Bjørdal
  • [FOM] Seeking sage advice on terminology   Aatu Koskensilta
  • [FOM] Seeking sage advice on terminology   Sandro Skansi
• [FOM] MWPMW 14   Michael Detlefsen
• [FOM] Jan Pax's question on Ring   smohan at isical.ac.in
• [FOM] CRM conference "Type Theory, Homotopy Theory and Univalent Foundations" (call for participation)   Steve Awodey
• [FOM] 517: New Concrete Mathematical Incompleteness   Harvey Friedman
• [FOM] A question on fields   SHASHI SRIVASTAVA
  • [FOM] A question on fields   Joe Shipman
    • [FOM] A question on fields   Joe Shipman
  • [FOM] A question on fields   Gergely Székely
  • [FOM] A question on fields   John Baldwin
• [FOM] R: Re: Seeking sage advice on terminology   iao271055 at libero.it
  • [FOM] R: Re: Seeking sage advice on terminology   Colin McLarty
• [FOM] 518: Polynomial Independence   Harvey Friedman
• [FOM] Honorary doctorate for Harvey M. Friedman   Andreas Weiermann
• [FOM] Remarks on the Concept Calculus   Frode Bjørdal
• [FOM] "Hidden" contradictions   Mark Steiner
  • [FOM] "Hidden" contradictions   elliott mendelson
    • [FOM] "Hidden" contradictions   Prof. Ranjit Nair
  • [FOM] "Hidden" contradictions   MICHAEL MURPHY
  • [FOM] "Hidden" contradictions   Timothy Y. Chow
    • [FOM] "Hidden" contradictions   Mark Steiner
      • [FOM] "Hidden" contradictions   Timothy Y. Chow
      • [FOM] "Hidden" contradictions   henk
      • [FOM] "Hidden" contradictions   Charlie
      • [FOM] "Hidden" contradictions   Antonino Drago
      • [FOM] "Hidden" contradictions   henk
    • [FOM] "Hidden" contradictions   Rob Arthan
      • [FOM] "Hidden" contradictions   Timothy Y. Chow
      • [FOM] "Hidden" contradictions   Ivan Antonowitz
  • [FOM] "Hidden" contradictions   Rafee Kamouna
  • [FOM] "Hidden" contradictions   Prof. Ranjit Nair
  • [FOM] "Hidden" contradictions   Timothy Y. Chow
  • [FOM] "Hidden" contradictions   Joao Marcos
  • [FOM] "Hidden" contradictions   Carl Hewitt
    • [FOM] "Hidden" contradictions   Steven Ericsson-Zenith
      • [FOM] "Hidden" contradictions   Carl Hewitt
  • [FOM] "Hidden" contradictions   Sam Sanders
  • [FOM] "Hidden" contradictions   Carl Hewitt
    • [FOM] "Hidden" contradictions   Sam Sanders
      • [FOM] "Hidden" contradictions   T.Forster at dpmms.cam.ac.uk
      • [FOM] "Hidden" contradictions   Harry Deutsch
      • [FOM] "Hidden" contradictions   Carl Hewitt
  • [FOM] "Hidden" contradictions   Joao Marcos
  • [FOM] "Hidden" contradictions   Timothy Y. Chow
    • [FOM] "Hidden" contradictions   Dennis E. Hamilton
      • [FOM] "Hidden" contradictions   Kreinovich, Vladik
    • [FOM] "Hidden" contradictions   Carl Hewitt
  • [FOM] "Hidden" contradictions   Timothy Y. Chow
• [FOM] A problem with Friedman's Concept Calculus   Frode Bjørdal
• [FOM] Improving the new axiom   MartDowd at aol.com
• [FOM] Typo in Concept Calculus Paper   Harvey Friedman
• [FOM] More than a Typo in Friedman's Concept Calculus Paper   Frode Bjørdal
• [FOM] message from the moderator: FOM subscriber list   Martin Davis
• [FOM] Retraction: no objection to Friedman's Concept Calculus Paper   Frode Bjørdal
• [FOM] A historical question about notation   T.Forster at dpmms.cam.ac.uk
  • [FOM] A historical question about notation   Thomas Kucera
  • [FOM] A historical question about notation   Alasdair Urquhart
    • [FOM] A historical question about notation   Robert Black
• [FOM] Retractions and Typos   Harvey Friedman
• [FOM] R: A historical question about notation   iao271055 at libero.it
• [FOM] I\Sigma_1 + Con(I\Sigma_1)   Richard Heck
  • [FOM] I\Sigma_1 + Con(I\Sigma_1)   Jeremy Avigad
  • [FOM] I\Sigma_1 + Con(I\Sigma_1)   V.Yu. Shavrukov
• [FOM] Call for Papers: Formal Methods 2014 (FM 2014), Singapore, May 14-16, 2014   Kristin Yvonne Rozier
• [FOM] Postdoc positions in SAT/SMT-based Verification available in Trento [from Roberto Sebastian]   Roberto Sebastiani
• [FOM] message from the moderator   Martin Davis
• [FOM] 2nd CFP: ICST’14   Miroslav Velev
• [FOM] First Order Logic   Harvey Friedman
  • [FOM] First Order Logic   Colin McLarty
  • [FOM] First Order Logic   Monroe Eskew
  • [FOM] First Order Logic   Cris Perdue
    • [FOM] First Order Logic   Colin McLarty
      • [FOM] First Order Logic   Joe Shipman
      • [FOM] First Order Logic   Colin McLarty
      • [FOM] First Order Logic   Charlie
      • [FOM] First Order Logic   Christopher Menzel
  • [FOM] First Order Logic   MartDowd at aol.com
    • [FOM] First Order Logic   Carl Hewitt
  • [FOM] First Order Logic   Dustin Wehr
  • [FOM] First Order Logic   Carl Hewitt
  • [FOM] First Order Logic   MartDowd at aol.com
• [FOM] ICDCIT -- 2014, Bhubaneswar, India, Call for papers   N. Raja
• [FOM] CIE 2014: Language, Life, Limits. June 23-27, 2014, Budapest. Preliminary Announcement.   S B Cooper
• [FOM] "Hidden" contradictons; and Core Logic   Neil Tennant
• [FOM] Misuse of standard terminology   Harvey Friedman
  • [FOM] Misuse of standard terminology   Carl Hewitt
    • [FOM] Misuse of standard terminology   T.Forster at dpmms.cam.ac.uk
  • [FOM] Misuse of standard terminology   Arnon Avron
• [FOM] from the moderator: 1. delays 2.The paraconsistent logics thread   Martin Davis
• [FOM] Relevance Logic and Tennant   Harvey Friedman
  • [FOM] Relevance Logic and Tennant   Neil Tennant
• [FOM] What is second order ZFC?   Harvey Friedman

Last message date: Sat Aug 31 23:17:23 EDT 2013
Archived on: Mon Sep 2 11:55:52 EDT 2013

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