August 2013 Archives by thread
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] Ring Theory/Question
Thomas Kucera
- [FOM] Seeking sage advice on terminology
Nik Weaver
- [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] R: Re: Seeking sage advice on terminology
iao271055 at libero.it
- [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] 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] 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] 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] 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] from the moderator: 1. delays 2.The paraconsistent logics thread
Martin Davis
- [FOM] Relevance Logic and Tennant
Harvey Friedman
- [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
This archive was generated by
Pipermail 0.09 (Mailman edition).