August 2013 Archives by date
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] 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] Seeking sage advice on terminology
Frode Bjørdal
- [FOM] Seeking sage advice on terminology
Aatu Koskensilta
- [FOM] A question on fields
SHASHI SRIVASTAVA
- [FOM] A question on fields
Joe Shipman
- [FOM] A question on fields
Gergely Székely
- [FOM] A question on fields
Joe Shipman
- [FOM] A question on fields
John Baldwin
- [FOM] R: Re: Seeking sage advice on terminology
iao271055 at libero.it
- [FOM] 518: Polynomial Independence
Harvey Friedman
- [FOM] Seeking sage advice on terminology
Sandro Skansi
- [FOM] R: Re: Seeking sage advice on terminology
Colin McLarty
- [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] "Hidden" contradictions
elliott mendelson
- [FOM] "Hidden" contradictions
MICHAEL MURPHY
- [FOM] "Hidden" contradictions
Timothy Y. Chow
- [FOM] "Hidden" contradictions
Mark Steiner
- [FOM] Improving the new axiom
MartDowd at aol.com
- [FOM] "Hidden" contradictions
Timothy Y. Chow
- [FOM] "Hidden" contradictions
Rafee Kamouna
- [FOM] "Hidden" contradictions
Prof. Ranjit Nair
- [FOM] Typo in Concept Calculus Paper
Harvey Friedman
- [FOM] "Hidden" contradictions
henk
- [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] "Hidden" contradictions
Prof. Ranjit Nair
- [FOM] "Hidden" contradictions
Charlie
- [FOM] "Hidden" contradictions
Antonino Drago
- [FOM] Retraction: no objection to Friedman's Concept Calculus Paper
Frode Bjørdal
- [FOM] "Hidden" contradictions
Timothy Y. Chow
- [FOM] "Hidden" contradictions
henk
- [FOM] "Hidden" contradictions
Rob Arthan
- [FOM] A historical question about notation
T.Forster at dpmms.cam.ac.uk
- [FOM] "Hidden" contradictions
Timothy Y. Chow
- [FOM] Retractions and Typos
Harvey Friedman
- [FOM] A historical question about notation
Thomas Kucera
- [FOM] R: A historical question about notation
iao271055 at libero.it
- [FOM] "Hidden" contradictions
Ivan Antonowitz
- [FOM] A historical question about notation
Alasdair Urquhart
- [FOM] A historical question about notation
Robert Black
- [FOM] "Hidden" contradictions
Joao Marcos
- [FOM] "Hidden" contradictions
Carl Hewitt
- [FOM] "Hidden" contradictions
Sam Sanders
- [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] "Hidden" contradictions
Steven Ericsson-Zenith
- [FOM] "Hidden" contradictions
Carl Hewitt
- [FOM] "Hidden" contradictions
Joao Marcos
- [FOM] "Hidden" contradictions
Timothy Y. Chow
- [FOM] "Hidden" contradictions
Sam Sanders
- [FOM] "Hidden" contradictions
Dennis E. Hamilton
- [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] I\Sigma_1 + Con(I\Sigma_1)
Jeremy Avigad
- [FOM] "Hidden" contradictions
T.Forster at dpmms.cam.ac.uk
- [FOM] First Order Logic
Harvey Friedman
- [FOM] "Hidden" contradictions
Carl Hewitt
- [FOM] "Hidden" contradictions
Harry Deutsch
- [FOM] "Hidden" contradictions
Kreinovich, Vladik
- [FOM] "Hidden" contradictions
Carl Hewitt
- [FOM] I\Sigma_1 + Con(I\Sigma_1)
V.Yu. Shavrukov
- [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] First Order Logic
Colin McLarty
- [FOM] First Order Logic
Monroe Eskew
- [FOM] "Hidden" contradictons; and Core Logic
Neil Tennant
- [FOM] "Hidden" contradictions
Carl Hewitt
- [FOM] "Hidden" contradictions
Timothy Y. Chow
- [FOM] First Order Logic
Cris Perdue
- [FOM] First Order Logic
Colin McLarty
- [FOM] Misuse of standard terminology
Harvey Friedman
- [FOM] First Order Logic
MartDowd at aol.com
- [FOM] First Order Logic
Dustin Wehr
- [FOM] from the moderator: 1. delays 2.The paraconsistent logics thread
Martin Davis
- [FOM] First Order Logic
Joe Shipman
- [FOM] Misuse of standard terminology
Carl Hewitt
- [FOM] First Order Logic
Carl Hewitt
- [FOM] Misuse of standard terminology
T.Forster at dpmms.cam.ac.uk
- [FOM] First Order Logic
Christopher Menzel
- [FOM] First Order Logic
Carl Hewitt
- [FOM] Relevance Logic and Tennant
Harvey Friedman
- [FOM] Misuse of standard terminology
Arnon Avron
- [FOM] First Order Logic
Colin McLarty
- [FOM] First Order Logic
Charlie
- [FOM] First Order Logic
MartDowd at aol.com
- [FOM] What is second order ZFC?
Harvey Friedman
- [FOM] Relevance Logic and Tennant
Neil Tennant
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).