November 2006 Archives by subject

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

Starting: Wed Nov 1 00:32:46 EDT 2006
Ending: Wed Nov 29 12:53:34 EDT 2006
Messages: 70

• [FOM] 2nd World Congress and School on Universal Logic - Call for papers   nico
• [FOM] 303: PA Completeness (restatement)   Arnon Avron
• [FOM] 303: PA Completeness (restatement)   Pietro Kreitlon Carolino
• [FOM] 303: PA Completeness (restatement)   Andrej Bauer
• [FOM] 304: PA Completeness/strategy   Harvey Friedman
• [FOM] 9 research assistant positions available   Till Mossakowski
• [FOM] Arché Abstraction Workshop XI, St Andrews   Marcus Rossberg
• [FOM] book announcement   Kreinovich, Vladik
• [FOM] book announcement: Brouwer meets Husserl   mark van atten
• [FOM] Borges and Mathematics   Joao Marcos
• [FOM] Call for papers: Logic and Information - From Logic to   Kreinovich, Vladik
• [FOM] Concerning Ancestral Logic   Bill Taylor
• [FOM] Concerning Ancestral Logic   Richard Heck
• [FOM] Concerning Ancestral Logic   Arnon Avron
• [FOM] Concerning Ancestral Logic (CORRECTION)   Richard Heck
• [FOM] Concerning Ultrafinitism   Mirco Mannucci
• [FOM] Concerning Ultrafinitism   Thomas Forster
• [FOM] Concerning Ultrafinitism   Hartley Slater
• [FOM] Concerning Ultrafinitism.   Bill Taylor
• [FOM] Concerning Ultrafinitism.   Eray Ozkural
• [FOM] Concerning Ultrafinitism.   Rupert McCallum
• [FOM] Concerning Ultrafinitism.   V.Sazonov at csc.liv.ac.uk
• [FOM] Concerning Ultrafinitism.   Robbie Lindauer
• [FOM] Concerning Ultrafinitism.   Rupert McCallum
• [FOM] Concerning Ultrafinitism.   Timothy Y. Chow
• [FOM] Concerning Ultrafinitism.   Bill Taylor
• [FOM] Concerning Ultraformalism   Hartley Slater
• [FOM] Concerning Ultraformalism-to Slater&Ozkural   Mirco Mannucci
• [FOM] Concerning Ultraformalism-to Slater&Ozkural   Timothy Y. Chow
• [FOM] Concerning Ultraformalism-to Slater&Ozkural   Hartley Slater
• [FOM] Concerning Ultraformalism-to Slater&Ozkural   Hartley Slater
• [FOM] Conference Announcement: in commemoration of Rohit Parikh's 70th birthday   Joel David Hamkins
• [FOM] conference call for papers   Klaus Weihrauch
• [FOM] Connections Seminar   Harvey Friedman
• [FOM] Consistency   zahidi at logique.jussieu.fr
• [FOM] Consistency   Andrew Boucher
• [FOM] Consistency   zahidi at logique.jussieu.fr
• [FOM] Feasible consistency--Truth Transfer Policy   V.Sazonov at csc.liv.ac.uk
• [FOM] First-order arithmetical truth   Timothy Y. Chow
• [FOM] FOM: BUFFALO LOGIC COLLOQUIUM 4TH FALL ANNOUNCEMENT   John Corcoran
• [FOM] formalism   Rupert McCallum
• [FOM] formalism   V.Sazonov at csc.liv.ac.uk
• [FOM] formalism   Rupert McCallum
• [FOM] formalism   V.Sazonov at csc.liv.ac.uk
• [FOM] Fwd: 303: PA Completeness (restatement) (Andrej Bauer)   Dana Scott
• [FOM] Hard problems in the theory of addition   joeshipman at aol.com
• [FOM] Is there a "naturally occurring" theorem provable in EFA but not in predicative arithmetic?   Harvey Friedman
• [FOM] Is there a "naturally occurring" theorem provable in EFA but not in predicative arithmetic?   Rupert McCallum
• [FOM] LFCS'07 = Nerode 75   Kreinovich, Vladik
• [FOM] Logica Universalis: new journal of logic being launched by Birkhäuser   BEZIAU Jean-Yves
• [FOM] Nelson's ultraformalism --to Slater   Mirco Mannucci
• [FOM] Nelson's ultraformalism --to Slater   Eray Ozkural
• [FOM] Nelson's ultraformalism --to Slater   Hartley Slater
• [FOM] New Journal   Martin Davis
• [FOM] On "ruling out" non-standard models of first order arithmetic   Neil Tennant
• [FOM] On "ruling out" non-standard models of first order arithmetic   Aatu Koskensilta
• [FOM] PA Completeness/more   Harvey Friedman
• [FOM] PA Completeness/progress   Harvey Friedman
• [FOM] Question   Rupert McCallum
• [FOM] Question on ultraproducts   Artyom Chernikov
• [FOM] Reply to Rupert MCallum on Voplin and consistency   Gabriel Stolzenberg
• [FOM] SYMPOSIUM ON LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS'07)   Sergei Artemov
• [FOM] TAMC 2007   S B Cooper
• [FOM] Teaching with original historical sources   Guram Bezhanishvili
• [FOM] What's so hard about addition?   by way of Martin Davis <martin at eipye.com>
• [FOM] WoLLIC'2007 - Second Call for Papers   Ruy de Queiroz
• [FOM] Yessenin-Volpin   Gabriel Stolzenberg
• [FOM] Yessenin-Volpin   Rupert McCallum
• [FOM] Yessenin-Volpin   jean paul van bendegem
• [FOM] Zahidi's question on consistency   Curtis Franks

Last message date: Wed Nov 29 12:53:34 EDT 2006
Archived on: Wed Nov 29 18:12:22 EDT 2006

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